A decade of TAPSOFT

DOI10.1007/3-540-59293-8_184zbMath1496.68077OpenAlexW17687489MaRDI QIDQ5096723

Hartmut Ehrig, Bernd Mahr

Publication date: 18 August 2022

Published in: TAPSOFT '95: Theory and Practice of Software Development (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-59293-8_184

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Grammars and rewriting systems (68Q42) General topics in the theory of software (68N01) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) History of computer science (68-03)

Related Items

Formalism and method

Cites Work

• Algebraic approach to single-pushout graph transformation
• Characterizing specification languages which admit initial semantics
• On graph rewritings
• Petri nets and algebraic specifications
• Algebraic specification of modules and their basic interconnections
• On ``On graph rewritings
• A calculus of communicating systems
• Partial abstract types
• Algebraic system specification and development. A survey and annotated bibliography
• Functorial theory of parameterized specifications in a general specification framework
• Gaussian elimination is not optimal
• Proof of correctness of data representations
• Can programming be liberated from the von Neumann style?
• Communicating sequential processes
• An event structure semantics for graph grammars with parallel productions
• Algebraic high-level net transformation systems
• Applications of type theory
• An overview of LP, the Larch Prover
• SIMULA: an ALGOL-based simulation language
• The complexity of theorem-proving procedures
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item