scientific article; zbMATH DE number 605793

MaRDI QIDQ4301154zbMATH OpenFDO

Authors Susan Eisenbach, Hessam Khoshnevisan, Steven Vickers, Krysia Broda

Publication date 13 July 1994

zbMATH Keywords

functional programmingnatural deductionprogram verificationsemanticsspecifications

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 41231
• Rigorous software development. An introduction to program verification.
• scientific article; zbMATH DE number 1107134
• scientific article; zbMATH DE number 3936465
• scientific article; zbMATH DE number 46424

Cited in

(4)

• Rigorous software development. An introduction to program verification.
• scientific article; zbMATH DE number 42961 (Why is no real title available?)
• Thinking programs. Logical modeling and reasoning about languages, data, computations, and executions
• Teaching types with a cognitively effective worked example format

Describes a project that uses

Uses Software

• Modula
• Miranda

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