scientific article; zbMATH DE number 1302060

MaRDI QIDQ4247305zbMATH OpenFDO

Authors Petri Mäenpää

Publication date 16 June 1999

zbMATH Keywords

Boyer-Moore algorithmderiving programs from their specifications in constructive type theorymethod of analysis-synthesis

Mathematics Subject Classification ID

Logic in computer science (03B70) Second- and higher-order arithmetic and fragments (03F35) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Analogical program derivation based on type theory
• Program derivation in type theory: A partitioning problem
• Publication:3475253
• Analogical type theory
• scientific article; zbMATH DE number 1302061
• Abstract deduction and inferential models for type theory
• Type theory and proof processing systems
• scientific article; zbMATH DE number 1088206
• La théorie intuitionniste des types : sémantique des preuves et théorie des constructions
• Equational theories for inductive types

Cited in

(8)

• Analogical program derivation based on type theory
• scientific article; zbMATH DE number 4133471 (Why is no real title available?)
• scientific article; zbMATH DE number 4164148 (Why is no real title available?)
• Analytic Tableaux for Simple Type Theory and its First-Order Fragment
• Using the TPTP Language for Writing Derivations and Finite Interpretations
• Program derivation in type theory: A partitioning problem
• Generalizing Def and Pos to Type Analysis
• Combining top-down and bottom-up techniques in program derivation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4247305)