Featherweight Java
From MaRDI portal
Software:28074
swMATH16204MaRDI QIDQ28074FDOQ28074
Author name not available (Why is that?)
Cited In (only showing first 100 items - show all)
- From specification to testing: semantics engineering for Lua 5.2
- Abstraction over implementation structure with symmetrically encapsulated multimethods
- Matching MyType to subtyping
- Title not available (Why is that?)
- Safe Adaptation Through Implicit Effect Coercion
- First-Class Object Sets
- Functional Type Assignment for Featherweight Java
- From distributed coordination to field calculus and aggregate computing
- Title not available (Why is that?)
- Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness
- Verifying pointer and string analyses with region type systems
- Lightweight family polymorphism
- Title not available (Why is that?)
- Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala
- A type and effect system for activation flow of components in Android programs
- Type-based Self-stabilisation for Computational Fields
- Certifying Data in Multiparty Session Types
- Reconciling method overloading and dynamically typed scripting languages
- Title not available (Why is that?)
- Traits: correctness-by-construction for free
- Soundness Conditions for Big-Step Semantics
- JNI light: an operational model for the core JNI
- The Essence of Functional Programming on Semantic Data
- A Higher-Order Calculus of Computational Fields
- A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA.
- DOM: Specification and Client Reasoning
- Generalizing Inference Systems by Coaxioms
- Explicit effect subtyping
- Enforcing Programming Guidelines with Region Types and Effects
- Effective and efficient compilation of run-time generics in Java
- Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?
- A graph-based generic type system for object-oriented programs
- Title not available (Why is that?)
- A reduction semantics for direct-style asynchronous observables
- Idealized coinductive type systems for imperative object-oriented programs
- Title not available (Why is that?)
- A Type-Passing Approach for the Implementation of Parametric Methods in Java
- 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
- Title not available (Why is that?)
- Flexible recovery of uniqueness and immutability
- Semantic essence of AsmL
- A provably correct translation of the \(\lambda \)-calculus into a mathematical model of C++
- A domain-theoretic model of nominally-typed object-oriented programming
- Title not available (Why is that?)
- Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages
- Delegation by object composition
- Automatic verification of Java programs with dynamic frames
- Specification and static enforcement of scheduler-independent noninterference in a middleweight Java
- A concurrent constraint programming interpretation of access permissions
- 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
- Safe locking for multi-threaded Java with exceptions
- 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
- Lazy behavioral subtyping
- 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
- CoCaml: Functional Programming with Regular Coinductive Types
- A core calculus for correlation in orchestration languages
- Programming Languages and Systems
- Featherweight Java with dynamic and static overloading
- A Provably Correct Compilation of Functional Languages into Scripting Languages
- A type safe state abstraction for coordination in JAVA-like languages
- Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming
- Types and trace effects for object orientation
- Variability encoding: from compile-time to load-time variability
- Effect-polymorphic behaviour inference for deadlock checking
- Towards a formal foundation to orchestration languages
- A proof system for adaptable class hierarchies
- On inner classes
- Incremental reasoning with lazy behavioral subtyping for multiple inheritance
- simpA: an agent-oriented approach for programming concurrent applications on top of Java
- FJQuantum. A quantum object oriented language
- 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
- An extensible encoding of object-oriented data models in HOL. With an application to IMP++
- Program equivalence by circular reasoning
- Title not available (Why is that?)
- Creol: A type-safe object-oriented model for distributed concurrent systems
- 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
- Type Inference by Coinductive Logic Programming
- Prototyping concurrent systems with agents and artifacts: framework and core calculus
- Semantic types and approximation for Featherweight Java
This page was built for software: Featherweight Java