Cited in
(only showing first 100 items - show all)- Backwards type analysis of asynchronous method calls
- A Type-Passing Approach for the Implementation of Parametric Methods in Java
- On the reification of Java wildcards
- TFA: an efficient and precise virtual method call resolution for Java
- A provably correct compilation of functional languages into scripting languages
- Formalising Java RMI with explicit code mobility
- Class invariants as abstract interpretation of trace semantics
- Alcove
- From specification to testing: semantics engineering for Lua 5.2
- Correctness of compiling polymorphism to dynamic typing
- Soundness conditions for big-step semantics
- Abstraction over implementation structure with symmetrically encapsulated multimethods
- Matching MyType to subtyping
- Flexible recovery of uniqueness and immutability
- A provably correct translation of the \(\lambda \)-calculus into a mathematical model of C++
- Semantic essence of AsmL
- A domain-theoretic model of nominally-typed object-oriented programming
- A CuCh interpretation of an object-oriented language
- Multiactive objects and their applications
- First-Class Object Sets
- Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages
- scientific article; zbMATH DE number 2089395 (Why is no real title available?)
- Delegation by object composition
- Type-based self-stabilisation for computational fields
- Automatic verification of Java programs with dynamic frames
- A higher-order calculus of computational fields
- From distributed coordination to field calculus and aggregate computing
- scientific article; zbMATH DE number 7269248 (Why is no real title available?)
- Approximation semantics and expressive predicate assignment for object-oriented programming (extended abstract)
- Specification and static enforcement of scheduler-independent noninterference in a middleweight Java
- Verifying pointer and string analyses with region type systems
- Lightweight family polymorphism
- Objects and session types
- A concurrent constraint programming interpretation of access permissions
- Scoped types and aspects for real-time Java memory management
- scientific article; zbMATH DE number 6932679 (Why is no real title available?)
- scientific article; zbMATH DE number 2089400 (Why is no real title available?)
- Safe locking for multi-threaded Java with exceptions
- Dynamic overloading with copy semantics in object-oriented languages: a formal account
- Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala
- A type-based complexity analysis of object oriented programs
- Amalgamating sessions and methods in object-oriented languages with generics
- Behavioral interface description of an object-oriented language with futures and promises
- Certifying data in multiparty session types
- A Representation-Independent Behavioral Semantics for Object-Oriented Components
- A type and effect system for activation flow of components in Android programs
- The essence of functional programming on semantic data
- Lazy behavioral subtyping
- An imperative pure calculus
- Implementing type systems for the IDE with Xsemantics
- Analyzing the implicit computational complexity of object-oriented programs
- A core calculus for dynamic delta-oriented programming
- Extending FeatherTrait Java with interfaces
- Functional type assignment for Featherweight Java. To Rinus Plasmeijer, in honour of his 61st birthday
- Generalizing inference systems by coaxioms
- A core calculus for correlation in orchestration languages
- COSTA
- simpA
- Lambda Library C++
- Smalltalk
- ArcAngel
- SafeDpi
- JoCaml
- ANTLR
- HOL-Z
- BETA
- CLOS
- Eiffel
- Visual 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
- Jif
This page was built for software: Featherweight Java
