scientific article; zbMATH DE number 48517

MaRDI QIDQ3997397zbMATH OpenFDO

Authors

Publication date 17 September 1992

zbMATH Keywords

Conferenceformal description of programming conceptslogical frameworksProceedingsProgramming conceptsprogramming methodologyProgramming methodsproof theorySea of Galilee (Israel)theorem proving languages

Mathematics Subject Classification ID

Proceedings, conferences, collections, etc. pertaining to computer science (68-06) General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 107451
• A theoretical basis for stepwise refinement and the programming calculus
• A calculus of refinements for program derivations
• scientific article; zbMATH DE number 51766
• Mathematical foundations of programming semantics. 5th international conference, New Orleans, Louisiana, USA, March 29 -- April 1, 1989. Proceedings

Cited in

(23)

• Methods of programming. Selected papers on the CIP-project
• Usage counting analysis for lazy functional languages
• The difference between splitting in \(n\) and \(n+1\)
• Towards a unified view of bisimulation: A comparative study
• Linda-based applicative and imperative process algebras
• An approach to literate and structured formal developments
• Fifty years of Hoare's logic
• Uniqueness logic
• Automata-theoretic semantics of idealized Algol with passive expressions
• scientific article; zbMATH DE number 46038 (Why is no real title available?)
• scientific article; zbMATH DE number 107451 (Why is no real title available?)
• scientific article; zbMATH DE number 1878568 (Why is no real title available?)
• Modular inference of linear types for multiplicity-annotated arrows
• Constraining interference in an object-based design method
• Modeling concurrency with interval traces
• Preface to the special volume
• Linearity and uniqueness: an entente cordiale
• Uniqueness types for efficient and verifiable aliasing-free embedded systems programming
• Jeopardy: an invertible functional programming language
• Non-linear communication via graded modal session types
• Fairness and partial order semantics
• Measuring robustness in cyber-physical systems under sensor attacks
• Behavioral interface description of an object-oriented language with futures and promises

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