Preview
Unable to display preview. Download preview PDF.
References
AHO A.V., JOHNSON S.C., ULLMAN J.D. [75] Deterministic parsing of ambiguous grammars, Comm. ACM 18 (1975), 441–452
BJØRNER D., OEST, O.N. (eds.) [80] Towards a formal description of ADA, LNCS 61, Springer-Verlag 1980
BLIKLE A. [87] Denotational engineering or from denotations to syntax, in: VDM — A Formal Method at Work (Proc. VDM-Europe Symposium 1987, Brussels, 1987, D.Bjørner, C.B.Jones, M.Mac an Airchinnigh, E.J.Neuhold eds.), LNCS 252, Springer-Verlag 1987, 151–209
BLIKLE A. [89] Denotational engineering, Science of Computer Programming 12 (1989), 207–253
JENSEN K., WIRTH N. [78] PASCAL, User Manual and Report, Second Edition Springer-Verlag 1978
SCHMIDT, D. [86] Denotational Semantics: A methodology for Language Development, Allyn and Bacon, Boston, 1986
STOY, J.E. [77] Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory, MIT Press, Cambridge, 1977
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Blikle, A., Thorup, M. (1990). On conservative extensions of syntax in the process of system development. In: Bjørner, D., Hoare, C.A.R., Langmaack, H. (eds) VDM '90 VDM and Z — Formal Methods in Software Development. VDM 1990. Lecture Notes in Computer Science, vol 428. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52513-0_25
Download citation
DOI: https://doi.org/10.1007/3-540-52513-0_25
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52513-4
Online ISBN: 978-3-540-47006-9
eBook Packages: Springer Book Archive