@inproceedings{e45e3c007b0c4d18acfcef326df2d444,
title = "Operational semantics for order-sorted algebra",
author = "Goguen, {Joseph A.} and Jouannaud, {Jean Pierre} and Jos{\'e} Meseguer",
note = "Funding Information: A major motivation is to handle erroneous and meaningless expressions, such as top of an empty stack or division by zero. This has been important from the earliest days of =initial algebra semantics = and was approached awkwardly in [10]. Our results support OBJ2 [3], a programming language with operational semantics based on rewrite rules and mathematical semantics based on 1Supported in part by Office of Naval Research Contract No. N00014-82-C-0333, National Science Foundation Grant No. MCS8201380 and a gift from the System Development Foundation.; 12th International Colloquium on Automata, Languages and Programming, ALP 1985 ; Conference date: 15-07-1985 Through 19-07-1985",
year = "1985",
doi = "10.1007/BFb0015747",
language = "English (US)",
isbn = "9783540156505",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "221--231",
editor = "Wilfried Brauer",
booktitle = "Automata, Languages and Programming - 12th Colloquium",
address = "Germany",
}