Dynamically typed computations for order-sorted equational presentations
From MaRDI portal
Publication:1264443
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
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