Featherweight Java

swMATH16204MaRDI QIDQ28074

No author found.

Related Items (only showing first 100 items - show all)

Computation Against a Neighbour: Addressing Large-Scale Distribution and Adaptivity with Functional Programming and Scala ⋮ JNI light: an operational model for the core JNI ⋮ Explicit effect subtyping ⋮ A domain-theoretic model of nominally-typed object-oriented programming ⋮ TFA: an efficient and precise virtual method call resolution for Java ⋮ Soundness Conditions for Big-Step Semantics ⋮ Compositional type checking of delta-oriented software product lines ⋮ Behavioral interface description of an object-oriented language with futures and promises ⋮ Enforcing Programming Guidelines with Region Types and Effects ⋮ DOM: Specification and Client Reasoning ⋮ A type-based complexity analysis of object oriented programs ⋮ Type-based Self-stabilisation for Computational Fields ⋮ Safe Adaptation Through Implicit Effect Coercion ⋮ A core calculus for dynamic delta-oriented programming ⋮ Creol: A type-safe object-oriented model for distributed concurrent systems ⋮ Certifying Data in Multiparty Session Types ⋮ Effect-polymorphic behaviour inference for deadlock checking ⋮ A core calculus for correlation in orchestration languages ⋮ Traits: correctness-by-construction for free ⋮ Dynamic overloading with copy semantics in object-oriented languages: a formal account ⋮ simpA: an agent-oriented approach for programming concurrent applications on top of Java ⋮ Semantic types and approximation for Featherweight Java ⋮ CoCaml: Functional Programming with Regular Coinductive Types ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A graph-based generic type system for object-oriented programs ⋮ Lightweight family polymorphism ⋮ A reduction semantics for direct-style asynchronous observables ⋮ Variability encoding: from compile-time to load-time variability ⋮ Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages ⋮ Correctness of compiling polymorphism to dynamic typing ⋮ Safe locking for multi-threaded Java with exceptions ⋮ On flexible dynamic trait replacement for Java-like languages ⋮ Matching MyType to subtyping ⋮ Abstraction over implementation structure with symmetrically encapsulated multimethods ⋮ A Higher-Order Calculus of Computational Fields ⋮ A Provably Correct Compilation of Functional Languages into Scripting Languages ⋮ Generalizing Inference Systems by Coaxioms ⋮ The Essence of Functional Programming on Semantic Data ⋮ Unnamed Item ⋮ Extending FeatherTrait Java with interfaces ⋮ A proof system for adaptable class hierarchies ⋮ Flexible recovery of uniqueness and immutability ⋮ Program equivalence by circular reasoning ⋮ Formalising Java RMI with explicit code mobility ⋮ Idealized coinductive type systems for imperative object-oriented programs ⋮ Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming ⋮ A concurrent constraint programming interpretation of access permissions ⋮ Specification and static enforcement of scheduler-independent noninterference in a middleweight Java ⋮ Class invariants as abstract interpretation of trace semantics ⋮ Backwards type analysis of asynchronous method calls ⋮ Functional Type Assignment for Featherweight Java ⋮ On the reification of Java wildcards ⋮ Programming Languages and Systems ⋮ Unnamed Item ⋮ A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA. ⋮ A type and effect system for activation flow of components in Android programs ⋮ FJQuantum. A quantum object oriented language ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Automatic verification of Java programs with dynamic frames ⋮ Incremental reasoning with lazy behavioral subtyping for multiple inheritance ⋮ Unnamed Item ⋮ From distributed coordination to field calculus and aggregate computing ⋮ Delegation by object composition ⋮ Asynchronous Session Types and Progress for Object Oriented Languages ⋮ A Representation-Independent Behavioral Semantics for Object-Oriented Components ⋮ A calculus for reasoning about software composition ⋮ Verifying pointer and string analyses with region type systems ⋮ Lazy behavioral subtyping ⋮ A Type-Passing Approach for the Implementation of Parametric Methods in Java ⋮ Reconciling method overloading and dynamically typed scripting languages ⋮ Incremental Reasoning for Multiple Inheritance ⋮ Scoped types and aspects for real-time Java memory management ⋮ Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification? ⋮ Unnamed Item ⋮ Amalgamating sessions and methods in object-oriented languages with generics ⋮ Verifying traits: an incremental proof system for fine-grained reuse ⋮ An imperative pure calculus ⋮ A type safe state abstraction for coordination in JAVA-like languages ⋮ Implementing type systems for the IDE with Xsemantics ⋮ Unnamed Item ⋮ A provably correct translation of the \(\lambda \)-calculus into a mathematical model of C++ ⋮ Featherweight Java with dynamic and static overloading ⋮ Unnamed Item ⋮ Objects and session types ⋮ Type Inference by Coinductive Logic Programming ⋮ First-Class Object Sets ⋮ Unnamed Item ⋮ Efficient Type-Checking for Amortised Heap-Space Analysis ⋮ Types and trace effects for object orientation ⋮ Automatic symmetry detection for Promela ⋮ An extensible encoding of object-oriented data models in HOL. With an application to IMP++ ⋮ Semantic essence of AsmL ⋮ Inheritance-based subtyping ⋮ On inner classes ⋮ Unnamed Item ⋮ From specification to testing: semantics engineering for Lua 5.2 ⋮ Prototyping Concurrent Systems with Agents and Artifacts: Framework and Core Calculus ⋮ Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness

This page was built for software: Featherweight Java