Dynamically typed computations for order-sorted equational presentations

DOI10.1006/JSCO.1997.0187zbMath0983.68254OpenAlexW2051858697MaRDI QIDQ1264443

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

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

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Dynamically-typed computations for order-sorted equational presentations ⋮ Specification and proof in membership equational logic ⋮ R n - and G n -logics

This page was built for publication: Dynamically typed computations for order-sorted equational presentations