Using programmed graph rewriting for the formal specification of a configuration management system

DOI10.1007/3-540-59071-4_46zbMath1528.68167MaRDI QIDQ6184367

Bernhard Westfechtel

Publication date: 5 January 2024

Published in: Graph-Theoretic Concepts in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42) Theory of software (68N99)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Graph grammars and their application to computer science. 4th international workshop, Bremen, Germany, March 5-9, 1990. Proceedings
• Make — a program for maintaining computer programs

This page was built for publication: Using programmed graph rewriting for the formal specification of a configuration management system