The gamma model and its discipline of programming

DOI10.1016/0167-6423(90)90044-EzbMath0715.68054OpenAlexW2085870410MaRDI QIDQ751838

Daniel Le Métayer, Jean-Pierre Banâtre

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

program derivationprogram developmentGAMMA

Mathematics Subject Classification ID

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

Related Items (19)

On abstract interpretation of mobile ambients ⋮ An informal introduction to a high level language with applications to interval mathematics ⋮ Refining multiset transformers ⋮ Entailment-based actions for coordination ⋮ Twenty years of rewriting logic ⋮ Rewriting logic as a semantic framework for concurrency: a progress report ⋮ Chemical organisation theory ⋮ Chemical Term Reduction with Active P Systems ⋮ A formal library of set relations and its application to synchronous languages ⋮ Topological rewriting and the geometrization of programming ⋮ Conditional rewriting logic as a unified model of concurrency ⋮ The chemical abstract machine ⋮ Implementation of GAMMA on a massively parallel computer. ⋮ An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems ⋮ An overview of the K semantic framework ⋮ Bisimulations in the join-calculus ⋮ A rewriting logic approach to operational semantics ⋮ Program construction by verifying specification ⋮ Simulating P systems with membrane dissolution in a chemical calculus

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