Discovering Algebraic Specifications from Java Classes
No abstract available.
DOI 10.1007/978-3-540-45070-2_19
Related papers
- Multi-Graded Featherweight Java ECOOP 2023
- Generalized algebraic data types and object-oriented programming OOPSLA 2005
- Deriving object typestates in the presence of inter-object references OOPSLA 2005
- Synthesis of interface specifications for Java classes POPL 2005
- SmartCheck: automatic and efficient counterexample reduction and generalization Haskell 2014
- Protocol Specifications and Component Adaptors TOPLAS 1997
- Language-specific make technology for the Java programming language OOPSLA 2002
- Higher Inductive Types as Homotopy-Initial Algebras POPL 2015