scientific article; zbMATH DE number 877748

zbMATH Open0847.68114MaRDI QIDQ4877441FDOQ4877441

Authors: Christoph Kreitz 

Publication date: 1996

Title of this publication is not available (Why is that?)

Recommendations

• From program verification to program synthesis
• The mathematical construction of a program
• Publication:5751976
• scientific article; zbMATH DE number 2090150
• scientific article; zbMATH DE number 1973214

zbMATH Keywords

formal specificationssearch algorithmsprogram synthesismeta-mathematics of programming

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Parallel algorithms in computer science (68W10) Theory of software (68N99)

Cited In (7)

• ZB 2005: Formal Specification and Development in Z and B
• Formal verification for non-formalists
• Title not available (Why is that?)
• Title not available (Why is that?)
• A survey of languages for formalizing mathematics
• Title not available (Why is that?)
• Program correctness and matricial iteration theories

Uses Software

• Nuprl

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 Q4877441)