Synthesis of interface specifications for Java classes
- 12 January 2005
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 40 (1), 98-109
- https://doi.org/10.1145/1040305.1040314
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Abstractions from proofsPublished by Association for Computing Machinery (ACM) ,2004
- Automatic Inference of Class InvariantsLecture Notes in Computer Science, 2004
- Alternating-time temporal logicJournal of the ACM, 2002
- Interface automataPublished by Association for Computing Machinery (ACM) ,2001
- Automatic predicate abstraction of C programsACM SIGPLAN Notices, 2001
- A type system for expressive security policiesPublished by Association for Computing Machinery (ACM) ,2000
- BanderaPublished by Association for Computing Machinery (ACM) ,2000
- Inference of Finite Automata Using Homing SequencesInformation and Computation, 1993
- Learning regular sets from queries and counterexamplesInformation and Computation, 1987
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977