Synthesizing procedural abstractions from formal specifications
- 10 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Automating inductionless induction using test setsJournal of Symbolic Computation, 1991
- A specifier's introduction to formal methodsComputer, 1990
- A general proof rule for procedures in predicate transformer semanticsActa Informatica, 1983
- Orderings for term-rewriting systemsTheoretical Computer Science, 1982
- The Science of ProgrammingPublished by Springer Nature ,1981