swMATH16204MaRDI QIDQ28074FDOQ28074
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=503505
Cited In (only showing first 100 items - show all)
- Backwards type analysis of asynchronous method calls
- On the reification of Java wildcards
- Formalising Java RMI with explicit code mobility
- TFA: an efficient and precise virtual method call resolution for Java
- Class invariants as abstract interpretation of trace semantics
- Correctness of compiling polymorphism to dynamic typing
- From specification to testing: semantics engineering for Lua 5.2
- Flexible recovery of uniqueness and immutability
- A provably correct translation of the \(\lambda \)-calculus into a mathematical model of C++
- Multiactive objects and their applications
- Title not available (Why is that?)
- Type-based self-stabilisation for computational fields
- A higher-order calculus of computational fields
- Delegation by object composition
- Automatic verification of Java programs with dynamic frames
- From distributed coordination to field calculus and aggregate computing
- Specification and static enforcement of scheduler-independent noninterference in a middleweight Java
- Verifying pointer and string analyses with region type systems
- A concurrent constraint programming interpretation of access permissions
- TraitRecordJ
- Objects and session types
- Title not available (Why is that?)
- Scoped types and aspects for real-time Java memory management
- Dynamic overloading with copy semantics in object-oriented languages: a formal account
- A Representation-Independent Behavioral Semantics for Object-Oriented Components
- A type-based complexity analysis of object oriented programs
- Amalgamating sessions and methods in object-oriented languages with generics
- Analyzing the implicit computational complexity of object-oriented programs
- An imperative pure calculus
- Implementing type systems for the IDE with Xsemantics
- A core calculus for dynamic delta-oriented programming
- Extending FeatherTrait Java with interfaces
- Generalizing inference systems by coaxioms
- A core calculus for correlation in orchestration languages
- Featherweight Java with dynamic and static overloading
- A type safe state abstraction for coordination in JAVA-like languages
- Types and trace effects for object orientation
- Variability encoding: from compile-time to load-time variability
- Towards a formal foundation to orchestration languages
- Traits: correctness-by-construction for free
- A proof system for adaptable class hierarchies
- On inner classes
- Incremental reasoning with lazy behavioral subtyping for multiple inheritance
- Verifying traits: an incremental proof system for fine-grained reuse
- Automatic symmetry detection for Promela
- Inheritance-based subtyping
- Asynchronous Session Types and Progress for Object Oriented Languages
- Program equivalence by circular reasoning
- Lightroom
- Whiteoak
- Efficient Type-Checking for Amortised Heap-Space Analysis
- On flexible dynamic trait replacement for Java-like languages
- Incremental Reasoning for Multiple Inheritance
- A calculus for reasoning about software composition
- Compositional type checking of delta-oriented software product lines
- Idealized coinductive type systems for imperative object-oriented programs
- Prototyping concurrent systems with agents and artifacts: framework and core calculus
- Protelis
- A provably correct compilation of functional languages into scripting languages
- Semantic essence of AsmL
- A domain-theoretic model of nominally-typed object-oriented programming
- Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages
- Approximation semantics and expressive predicate assignment for object-oriented programming (extended abstract)
- FeatherTrait
- Safe locking for multi-threaded Java with exceptions
- Behavioral interface description of an object-oriented language with futures and promises
- Lazy behavioral subtyping
- Programming Languages and Systems
- simpA
- Lambda Library C++
- AspectJ
- JavaScript
- Erlang
- Scala
- MontiCore
- ETCH
- SymmExtractor
- Creol
- KLAIM
- Linda
- Multilisp
- WADE
- Cyclone
- Soot
- COSTABS
- Cecil
- PLT Redex
- Paco
- APMC
- CArtAgO
- Jadex
- SDEF
- XDuce
- Fortress
- PolyTOIL
- TS#
- ADABU
- CoALP
- go
- Ruby
This page was built for software: Featherweight Java
