Program abstraction and instantiation

DOI10.1145/3916.3986zbMath0566.68012OpenAlexW2046666535MaRDI QIDQ3681903

Nachum Dershowitz

Publication date: 1985

Published in: ACM Transactions on Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: http://www.acm.org/pubs/contents/journals/toplas/1985-7/

zbMATH Keywords

specificationssoftware developmentAbstractionprogram schemainstantiation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Generalization from partial parametrization in higher-order type theory

This page was built for publication: Program abstraction and instantiation