Featherweight Java
From MaRDI portal
Cited in
(only showing first 100 items - show all)- Amalgamating sessions and methods in object-oriented languages with generics
- A type safe state abstraction for coordination in JAVA-like languages
- A provably correct translation of the \(\lambda \)-calculus into a mathematical model of C++
- Featherweight Java with dynamic and static overloading
- Objects and session types
- 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++
- COSTA
- simpA
- Lambda Library C++
- Smalltalk
- ArcAngel
- SafeDpi
- JoCaml
- HOL-Z
- ANTLR
- BETA
- CLOS
- Visual C#
- Eiffel
- A type-based complexity analysis of object oriented programs
- A core calculus for dynamic delta-oriented programming
- AspectJ
- Flexible recovery of uniqueness and immutability
- Specification and static enforcement of scheduler-independent noninterference in a middleweight Java
- Class invariants as abstract interpretation of trace semantics
- A calculus for reasoning about software composition
- Inheritance-based subtyping
- On inner classes
- JavaScript
- Scala
- Erlang
- MontiCore
- ETCH
- SymmExtractor
- From distributed coordination to field calculus and aggregate computing
- Verifying pointer and string analyses with region type systems
- WADE
- From specification to testing: semantics engineering for Lua 5.2
- Soot
- Multilisp
- Creol
- KLAIM
- Linda
- Traits: correctness-by-construction for free
- Cyclone
- COSTABS
- PLT Redex
- Cecil
- A type and effect system for activation flow of components in Android programs
- Reconciling method overloading and dynamically typed scripting languages
- Paco
- APMC
- Jadex
- CArtAgO
- Compositional type checking of delta-oriented software product lines
- SDEF
- A graph-based generic type system for object-oriented programs
- A reduction semantics for direct-style asynchronous observables
- XDuce
- On flexible dynamic trait replacement for Java-like languages
- Matching MyType to subtyping
- Abstraction over implementation structure with symmetrically encapsulated multimethods
- Formalising Java RMI with explicit code mobility
- Fortress
- Semantic essence of AsmL
- PolyTOIL
- TS#
- ADABU
- A domain-theoretic model of nominally-typed object-oriented programming
- go
- CoALP
- Ruby
- SPLLIFT
- Jif
- Towards a formal foundation to orchestration languages
- Effective and efficient compilation of run-time generics in Java
- Prototyping concurrent systems with agents and artifacts: framework and core calculus
- Generalizing inference systems by coaxioms
- The essence of functional programming on semantic data
- Idealized coinductive type systems for imperative object-oriented programs
- Approximation semantics and expressive predicate assignment for object-oriented programming (extended abstract)
- scientific article; zbMATH DE number 2089395 (Why is no real title available?)
- scientific article; zbMATH DE number 2089400 (Why is no real title available?)
- Abstract compilation of object-oriented languages into coinductive CLP(X): can type inference meet verification?
- scientific article; zbMATH DE number 7037626 (Why is no real title available?)
- Analyzing the implicit computational complexity of object-oriented programs
- DOM: Specification and Client Reasoning
- Certifying data in multiparty session types
- Goblint
- JFlow
- TAG
- SCEL
- ABS
- JCobox
- Simula 67
- SPECjvm2008
- TypeScript
- gradualizerDynamicSemantics
This page was built for software: Featherweight Java
