Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Work partially supported by COMPASS-Esprit-BRA-W.G. n 3264, by MPI-40% and by CNR-PF-Sistemi Informatici e Calcolo Parallelo.
Preview
Unable to display preview. Download preview PDF.
References
Astesiano E. “Inductive Semantics”, to appear in Formal Descriptions of Programming Concepts (Neuhold E.J.; Paul M. eds.), Springer Verlag, 1990.
Aczel, P. “An introduction to inductive definitions”, (J. Barwise ed.) Handbook of Mathematical Logic, Amsterdam, North-Holland, 1977.
Burstall R.; Honsell F. “A natural Deduction Treatment of Operational Semantics”, Proc. 8th Conf. on Foundations of Software Technology and Theoretical Computer Science, Berlin, Springer Verlag, (Lecture Notes in Computer Science n. 287), 1987.
Kahn G. “Natural Semantics”, Proc. of STACS'87, Berlin, Springer Verlag, 1987 (Lecture Notes in Computer Science n. 247), pp. 22–39.
Milner R.; Tofte M. “Co-induction in Relational Semantics”, LFCS report Series, ECS-LFCS-88-65, University of Edinburgh, 1988.
Plotkin, G. “A structural approach to operational semantics”, Lecture notes, AArhus University, 1981.
Plotkin, G. “An operational Semantics for CSP”, (Bjørner, D. ed.), Proc. IFIP TC 2-Working Conference: Formal Description of Programming Concepts II, Garmisch-Partenkirchen, June 1982 Amsterdam, North-Holland, 1983, pp. 199–223.
Stoy, J.E. Denotational semantics: the Scott-Strachey approach to programming language theory, London, The MIT Press, 1977.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Reggio, G. (1990). A non-standard inductive semantics. In: Nori, K.V., Veni Madhavan, C.E. (eds) Foundations of Software Technology and Theoretical Computer Science. FSTTCS 1990. Lecture Notes in Computer Science, vol 472. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53487-3_57
Download citation
DOI: https://doi.org/10.1007/3-540-53487-3_57
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53487-7
Online ISBN: 978-3-540-46313-9
eBook Packages: Springer Book Archive