The following pages link to Featherweight Java (Q28074):
Displaying 50 items.
- A domain-theoretic model of nominally-typed object-oriented programming (Q276420) (← links)
- Effect-polymorphic behaviour inference for deadlock checking (Q338624) (← links)
- Semantic types and approximation for Featherweight Java (Q387991) (← links)
- Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages (Q418193) (← links)
- Safe locking for multi-threaded Java with exceptions (Q444468) (← links)
- A proof system for adaptable class hierarchies (Q478383) (← links)
- Program equivalence by circular reasoning (Q493521) (← links)
- FJQuantum. A quantum object oriented language (Q529648) (← links)
- Incremental reasoning with lazy behavioral subtyping for multiple inheritance (Q549694) (← links)
- Delegation by object composition (Q553899) (← links)
- simpA: an agent-oriented approach for programming concurrent applications on top of Java (Q608358) (← links)
- Lazy behavioral subtyping (Q710675) (← links)
- Verifying traits: an incremental proof system for fine-grained reuse (Q736803) (← links)
- An imperative pure calculus (Q737089) (← links)
- Implementing type systems for the IDE with Xsemantics (Q739624) (← links)
- TFA: an efficient and precise virtual method call resolution for Java (Q826353) (← links)
- Behavioral interface description of an object-oriented language with futures and promises (Q843206) (← links)
- Creol: A type-safe object-oriented model for distributed concurrent systems (Q854164) (← links)
- A core calculus for correlation in orchestration languages (Q861302) (← links)
- Variability encoding: from compile-time to load-time variability (Q898607) (← links)
- Extending FeatherTrait Java with interfaces (Q930885) (← links)
- Backwards type analysis of asynchronous method calls (Q953530) (← links)
- On the reification of Java wildcards (Q955709) (← links)
- Automatic verification of Java programs with dynamic frames (Q973055) (← links)
- Scoped types and aspects for real-time Java memory management (Q995820) (← links)
- Amalgamating sessions and methods in object-oriented languages with generics (Q1004058) (← links)
- A type safe state abstraction for coordination in JAVA-like languages (Q1006341) (← links)
- A provably correct translation of the \(\lambda \)-calculus into a mathematical model of C++ (Q1015388) (← links)
- Featherweight Java with dynamic and static overloading (Q1016639) (← links)
- Objects and session types (Q1021571) (← links)
- Types and trace effects for object orientation (Q1029806) (← links)
- Automatic symmetry detection for Promela (Q1040774) (← links)
- An extensible encoding of object-oriented data models in HOL. With an application to IMP++ (Q1040775) (← links)
- A type-based complexity analysis of object oriented programs (Q1640983) (← links)
- A core calculus for dynamic delta-oriented programming (Q1647772) (← links)
- Flexible recovery of uniqueness and immutability (Q1731519) (← links)
- Specification and static enforcement of scheduler-independent noninterference in a middleweight Java (Q1749145) (← links)
- Class invariants as abstract interpretation of trace semantics (Q1749225) (← links)
- A calculus for reasoning about software composition (Q1770365) (← links)
- Inheritance-based subtyping (Q1854552) (← links)
- On inner classes (Q1854553) (← links)
- From distributed coordination to field calculus and aggregate computing (Q2011213) (← links)
- Verifying pointer and string analyses with region type systems (Q2014831) (← links)
- From specification to testing: semantics engineering for Lua 5.2 (Q2102942) (← links)
- Traits: correctness-by-construction for free (Q2165220) (← links)
- A type and effect system for activation flow of components in Android programs (Q2252643) (← links)
- Reconciling method overloading and dynamically typed scripting languages (Q2275534) (← links)
- Compositional type checking of delta-oriented software product lines (Q2376980) (← links)
- A graph-based generic type system for object-oriented programs (Q2418638) (← links)
- A reduction semantics for direct-style asynchronous observables (Q2423763) (← links)
