Proofs and programs: A naïve approach to program extraction

DOI10.2977/prims/1195173352zbMath0698.68015OpenAlexW363624716MaRDI QIDQ912594

Hayao Nakahara

Publication date: 1989

Published in: Publications of the Research Institute for Mathematical Sciences, Kyoto University (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2977/prims/1195173352

zbMATH Keywords

while-programsautomatic program synthesis from specificationsmany-sorted predicate logic

Mathematics Subject Classification ID

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

Uses Software

• Nuprl

Cites Work

• Unnamed Item
• Unnamed Item
• A logical basis for programming methodology
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• A Deductive Approach to Program Synthesis
• An axiomatic basis for computer programming

This page was built for publication: Proofs and programs: A naïve approach to program extraction