Dynamically typed computations for order-sorted equational presentations

DOI10.1006/jsco.1997.0187zbMath0983.68254MaRDI QIDQ1264443

Hélène Kirchner, Claude Kirchner, Claus Hintermeier

Publication date: 27 June 2000

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/32f3afa6bcb7c13174cf222f0d65709a868a89d7

zbMATH Keywords

operational semantics; \(G\)-algebra

Mathematics Subject Classification ID

03B70: Logic in computer science

68Q55: Semantics in the theory of computing

68Q65: Abstract data types; algebraic specification

68Q42: Grammars and rewriting systems

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

Specification and proof in membership equational logic