The gamma model and its discipline of programming

DOI10.1016/0167-6423(90)90044-EMaRDI QIDQ751838zbMATH OpenOpenAlexFDO

Authors J.-P. Banâtre, Daniel Le Métayer

Publication date 1990

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(90)90044-e

zbMATH Keywords

GAMMAprogram derivationprogram development

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 88950
• scientific article; zbMATH DE number 3889501
• scientific article; zbMATH DE number 3985000
• A formal model of programs
• Generic models of the laws of programming
• scientific article; zbMATH DE number 3889500
• Models of the lambda calculus
• A generalized mathematical theory of structured programming

Cited in

(25)

• A rewriting logic approach to operational semantics
• Refining multiset transformers
• Entailment-based actions for coordination
• Conditional rewriting logic as a unified model of concurrency
• The chemical abstract machine
• Program construction by verifying specification
• Structured gamma
• On abstract interpretation of mobile ambients
• An informal introduction to a high level language with applications to interval mathematics
• Twenty years of rewriting logic
• Simulating P systems with membrane dissolution in a chemical calculus
• Chemical organisation theory
• Chemical term reduction with active P systems
• scientific article; zbMATH DE number 988751 (Why is no real title available?)
• scientific article; zbMATH DE number 88950 (Why is no real title available?)
• scientific article; zbMATH DE number 2080934 (Why is no real title available?)
• An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems
• Bisimulations in the join-calculus
• Rewriting logic as a semantic framework for concurrency: a progress report
• A formal library of set relations and its application to synchronous languages
• An autonomous data language
• Implementation of GAMMA on a massively parallel computer.
• The autonomous data language -- concepts, design and formal verification
• Topological rewriting and the geometrization of programming
• An overview of the K semantic framework

This page was built for publication: The gamma model and its discipline of programming

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