Program derivation in type theory: A partitioning problem

DOI10.1016/0096-0551(86)90009-3zbMath0603.68011OpenAlexW2020925688MaRDI QIDQ3740203

Kent Petersson, Jan Smith

Publication date: 1986

Published in: Computer Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0096-0551(86)90009-3

zbMATH Keywords

specificationspredicate logictactics

Mathematics Subject Classification ID

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

Related Items (2)

Evaluation strategies for functional logic programming ⋮ An intuitionistic theory of types with assumptions of high-arity variables

Uses Software

• Nuprl

This page was built for publication: Program derivation in type theory: A partitioning problem