While in Java 5.0 generics have been introduced in Java 8 the language has been expanded by lambda expressions. The very popular feature in functional programming languages, type inference, is introduced in Java, but ...
详细信息
ISBN:
(纸本)9783885796404
While in Java 5.0 generics have been introduced in Java 8 the language has been expanded by lambda expressions. The very popular feature in functional programming languages, type inference, is introduced in Java, but only in a very restricted form, similar as in other object-oriented languages. This paper presents an Eclipse plugin which allows writing Java 8 programs without any type annotation. A type inference algorithm determines all possible types which the Eclipse plugin presents to the user afterwards. So the user can select the desired type. This plugin allows to determine most general types, which are often not obvious. The programs therefore become more reuseable, which is the goal of any software development.
Writing parallel programs is hard, especially for inexperienced programmers. Parallel language features are still being added on a regular basis to most modern object-oriented languages and this trend is likely to con...
详细信息
Foundational models of object-oriented constructs typically model objects as records with a structural type. However, many object-oriented languages are class-based;statically-typed formal models of these languages te...
详细信息
We describe the computational model of quantum energy transfer in JCH like chains based on qubit representation of quantum states. The chain consists of optical cavities, each of which contains one two level atom inte...
详细信息
Many programming languages provide features that express restrictions on which data structures can be changed. For example, C++ includes const and Java includes final. Languages that are in widespread use typically pr...
详细信息
This article deals with the issue how to test the quality of novice programmers' software assignments. This problem is becoming serious due to the hundreds of students in the introductory courses of programming. T...
详细信息
ISBN:
(纸本)9789897581076
This article deals with the issue how to test the quality of novice programmers' software assignments. This problem is becoming serious due to the hundreds of students in the introductory courses of programming. The article discusses the motivation for using quality of implementation tests of students' programmes, their principles and a practical solution. So called "duck tests" are used for this type of validation. A combination of a framework Duckapter, JUnit library and own programmes constitutes the practical solution. It is represented by a self-contained tool which is freely at disposal. The described tool has been used for three years in the elementary course of object oriented programming based on the Java programming language, alongside three other tools used for automatic validation of students projects. The article discusses the experience gained from its use and the effects on student's programming skills.
Over the past 20 years, programmers have embraced dynamically-typed programming languages. By now, they have also come to realize that programs in these languages lack reliable type information for software engineerin...
详细信息
NOOL-15 is a new unsponsored workshop to bring together users and implementors of new(ish) objectoriented systems. Through presentations, and panel discussions, as well as demonstrations, and video and audiotapes, NO...
详细信息
ISBN:
(纸本)9781450337229
NOOL-15 is a new unsponsored workshop to bring together users and implementors of new(ish) objectoriented systems. Through presentations, and panel discussions, as well as demonstrations, and video and audiotapes, NOOL-15 will provide a forum for sharing experience and knowledge among experts and novices alike.
During impact analysis on object-oriented code, statically extracting dependencies is often complicated by subclassing, programming to interfaces, aliasing, and collections, among others. When a tool recommends a larg...
详细信息
A key idea in object-orientedprogramming is that objects encapsulate state and interact with each other by message exchange. This perspective suggests a model of computation that is inherently concurrent (to facilita...
详细信息
暂无评论