Inferring program specifications in polynomial-time
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 205-219
- https://doi.org/10.1007/3-540-61739-6_43
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Walther recursionPublished by Springer Nature ,1996
- Soft typing with conditional typesPublished by Association for Computing Machinery (ACM) ,1994
- Taxonomic syntax for first order inferenceJournal of the ACM, 1993
- Algebraic reconstruction of types and effectsPublished by Association for Computing Machinery (ACM) ,1991
- Automata on Infinite ObjectsPublished by Elsevier ,1990
- A type-inference approach to reduction properties and semantics of polymorphic expressions (summary)Published by Association for Computing Machinery (ACM) ,1986
- Declaration-free type checkingPublished by Association for Computing Machinery (ACM) ,1985
- On equations for regular languages, finite automata, and sequential networksTheoretical Computer Science, 1980