Results 121 to 130 of about 3,154 (147)
Some of the next articles are maybe not open access.
Ownership and immutability in generic Java
Proceedings of the ACM international conference on Object oriented programming systems languages and applications, 2010The Java language lacks the important notions of ownership (an object owns its representation to prevent unwanted aliasing) and immutability (the division into mutable, immutable, and readonly data and references).
Yoav Zibin +4 more
openaire +1 more source
Model Generation for Distributed Java Programs
2004We define a behavioural semantics for distributed Java applications and a procedure for building finite models of their behaviour. The models are synchronized networks of labelled transition systems, structured in a compositional way, and capturing the communication events between distributed objects.
Boulifa, Rabea, Madelaine, Eric
openaire +1 more source
Genericity in java with virtual types
1997This paper suggests virtual types for Java, a language mechanism which subsumes parameterized classes, while also integrating more naturally with Java's object model. The same basic mechanism is also known as virtual patterns in Beta and as generics in Ada95.
openaire +1 more source
Generic Exception Handling and the Java Monad
2004We develop an equational definition of exception monads that characterizes Moggi’s exception monad transformer. This axiomatization is then used to define an extension of previously described monad-independent computational logics by abnormal termination.
Lutz Schröder, Till Mossakowski
openaire +1 more source
Applying Generalization Refactoring to Java Generic Programs
IEEE International Workshop on Semantic Computing and Systems, 2008In generalization refactoring, preconditions and allowable source code modifications depend on type constraints of the refactored program. Type constraints of parameterized types should be considered when applying the refactoring to generic programs, otherwise type errors may be brought into the refactored program.
Lin Chen +3 more
openaire +1 more source
Model Generation For Java Frameworks
2023 IEEE Conference on Software Testing, Verification and Validation (ICST), 2023Linghui Luo +5 more
openaire +1 more source
Automated Generation of Diagrams with Maple and Java
2003This note shows how to draw diagrams automatically from the predicate specification of a given set of geometric relations among a set of points in the plane. It is done first in Maple by translating the geometric relations into polynomial equations, decomposing the obtained system of polynomials into irreducible representative triangular sets, and ...
openaire +2 more sources
Generating Trace Table for Java Programs
2022 12th International Congress on Advanced Applied Informatics (IIAI-AAI), 2022Masateru Kishikawa +2 more
openaire +1 more source
Specification-Driven Unit Test Generation for Java Generic Classes
2012Several approaches exist to automatically derive test cases that check the conformance of the implementation of abstract data types (ADTs) with respect to their specification. However, they lack support for the testing of implementations of ADTs defined by generic classes.
Francisco Rebello de Andrade +3 more
openaire +1 more source
Relational Solver for Java Generics Type System
Lecture Notes in Computer Science, 2023Petr Lozov +2 more
exaly