Window Inference In The HOL System
- 24 August 2005
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 177-189
- https://doi.org/10.1109/hol.1991.596285
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- What holds in a context?Journal of Automated Reasoning, 1993
- A practical theory of programmingScience of Computer Programming, 1990
- Termination is timingPublished by Springer Nature ,1989
- Inference rules using local contextsJournal of Automated Reasoning, 1988
- The specification statementACM Transactions on Programming Languages and Systems, 1988
- Specification statements and refinementIBM Journal of Research and Development, 1987