Featherweight Java

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