article

Free access

The Vienna Definition Language

Author:

Peter WegnerAuthors Info & Claims

ACM Computing Surveys (CSUR), Volume 4, Issue 1

Pages 5 - 63

https://doi.org/10.1145/356596.356598

Published: 01 March 1972 Publication History

PDF eReader

References

[1]

BEECH, D. "A structural view of PL/I ." Computing Surveys 2, 1 (March 1970), 33-64.

Crossref

Google Scholar

[2]

BERRY, D.M. "Block structure: retention or deletion?" In Proc. 3rd Annual ACM Symposium on Theory of Computing, ACM, New York, 1971, 86-100.

Crossref

Google Scholar

[3]

BERRY, D. M. "Definition of the contour model in the Vienna Definition Language." TR 71-40, Center for Computer and Information Sciences, Brown University, Providence, R. I., April 1971.

Google Scholar

[4]

BROOKER, R. A.; AND D. MORRIS. "A general translation program for phrase structure languages." J.ACM 9, 1 (Jan. 1962), 1-10.

Crossref

Google Scholar

[5]

DENNIS, J. B.; ANn S. PATIL, "Computation structures." Notes for MIT course 6.232, Sept. 1970.

Google Scholar

[6]

FELDMAN, J. A. "A formal semantics for computer languages and its application in a compiler-compiler." Comm. ACM 9, 1 (Jan. 1966), 3-9.

Crossref

Google Scholar

[7]

FLOYD, R.W. "Assigning meanings to programs." In Proc. Symposium on. Appl. Math., Vol. 19, Amer. Math. Soc., 1967.

Google Scholar

[8]

HENHAPL, W.; AND C. B. JONES. "The block structure concept and some possible implementations with proofs of equivalence." TR 25.104, IBM Lab. Vienna, April 1970.

Google Scholar

[9]

HOARE, C. A. R. "Proof of a program: FIND." Comm. ACM 14, 1 (Jan. 1971), 39-45.

Crossref

Google Scholar

[10]

HOPCROFT, J.; AND J. ULLMAN. Formal languages and their relation to automata. Addison-Wesley Publ. Co., Reading, Mass., 1969.

Crossref

Google Scholar

[11]

IRONS, E. T. "A syntax directed compiler for ALGOL 60." Comm. ACM 4, 1 (Jan. 1961), 51-55.

Crossref

Google Scholar

[12]

JOHNSTON, J. B. "The contour model of block structured processes." In Proc. Symposium on Data Structures in Programming Languages, J. T. Tou& P. Wegner (Eds.), SIGPLAN Notices 6, 2 (Feb. 1971), 55-82.

Crossref

Google Scholar

[13]

KLEENE, S. C. Introduction to mathematics. Van Nostrand, New York, 1952.

Google Scholar

[14]

KNUTH, D .E . "The semantics of contextfree languages." Mathematical System Theory 2, 2 (1968).

Google Scholar

[15]

LANDIN, P .J . "The mechanical evaluation of expressions." Computer J. 6, 4 (Jan. 1964), 308-320.

Google Scholar

[16]

LAUER, P. "Formal definition of ALGOL 60." TR 25.088, IBM Lab. Vienna, Dec. 1968.

Google Scholar

[17]

LEwis, P. M.; AND R. E. STEARNS. "Syntaxdirected transduction." J. ACM 15, 3 (July 1968), 465-488.

Crossref

Google Scholar

[18]

LEWIS, P.M.; AND R. E. STEARNS. "Property grammars and table machines." Information and Control 14, 6 (June 1969), 524-549.

Google Scholar

[19]

LONDON, R.L. "Proving programs correct: some techniques and examples." BIT 10, 2 (1970), 168-182.

Google Scholar

[20]

LUCAS, P. "Two constructive realizations of the block concept and their equivalence." TR 25.085, IBM Lab. Vienna, Dec. 1968.

Google Scholar

[21]

LUCAS, P.; ET AL. "Method and notation for the formal definition of programming languages." TR 25.087, 1BM Lab. Vienna, 1968.

Google Scholar

[22]

LUCAS, P.; AND K. WALK. "On the formal description of PL/I." Annual Reviews of Automatic Programming 6, 3 (1969).

Google Scholar

[23]

LUCKHAM, D. C.; D. M. R. PARK; AND M. S. PATERSON. "On formalized computer programs." J. Computer and System Sciences 4, 3 (June 1970), 220-249.

Google Scholar

[24]

MANNA, Z. "Properties of programs and the first-order predicate calculus." J. ACM 16, 2 (April 1969), 244-255.

Crossref

Google Scholar

[25]

McCARTHY, J. "Towards a mathematical science of computation." In Proc. IFIP Cong. 1962, North-Holland Publ. Co., Amsterdam, 1963.

Google Scholar

[26]

McCARTHY, J. "A basis for a mathematical science of computation." In Formal programming languages, Braffort & Hirschberg (Eds.), North-Holland Publ. Co., Amsterdam, 1963.

Google Scholar

[27]

McCARTHY, J. "A formal description of a subset of ALGOL." In Formal language description languages for computer programming, T. B. Steel, Jr. (Ed.), North-H011and Publ. Co., Amsterdam, 1966, 1-12.

Google Scholar

[28]

MCCARTHY, J.; ET AL. The LISP 1.5 programming manual. MIT Press, Cambridge, Mass., 1965.

Google Scholar

[29]

McCARTHY, J.; AND J. PAINTER. "Correctness of a compiler for arithmetic expressions." In Proc. Symposium on Appl. Math., Vol. 19, Amer. Math. Sot., 1967.

Google Scholar

[30]

McGOWAN, C. "Correctness results for lambda calculus interpreters." PhD Thesis, Cornell University, 1971; available as TR 71- 34, Center for Computer and Information Sciences, Brown University, Providence, R. I., Feb. 1971.

Crossref

Google Scholar

[31]

NAUR, P. (ED.) "Revised report on the algorithmic language ALGOL 60." Comm. ACM 6, 1 (Jan. 1963), 1-17.

Crossref

Google Scholar

[32]

PATERSON, M.S. "Equivalence problems in a model of computation." PhD Thesis, Cambridge University, 1967; available as MIT Artificial Intelligence Laboratory Memo. No. 1, Cambridge, Mass., Nov. 1970.

Google Scholar

[33]

ROSENBERG, A. L. "Addressable data graphs." In Proc. 8rd Annual ACM Symposium on Theory of Computing, ACM, New York, 1971, 138-150.

Crossref

Google Scholar

[34]

SHEPHERDSON, J. C.; AND H. E. STURGIS. "Computability of recursive functions." J. ACM 10, 2 (April 1963), 217-255.

Crossref

Google Scholar

[35]

STANDISH, T. "Datastructures: an axiomatic approach." Unpublished report, Feb. 1971.

Google Scholar

[36]

VAN WIJNGAARDEN; ET AL. "Report on the algorithmic language ALGOL 68." Numerische Mathematik 14, 2 (1969), 84-218.

Google Scholar

[37]

WALK, K.; ET AL. "Abstract syntax and interpretation of PL/I, Version III." TR 25.098, IBM Lab. Vienna, April 1969.

Google Scholar

[38]

WEGNER, P. Programming languages, information structures and machine organization. McGraw-Hill Book Co., New York, 1968.

Crossref

Google Scholar

[39]

WEGNER, P. "Three computer cultures." In Advances in computers, Vol. 10, F. L. Alt& M. Rubinoff (Eds.), Academic Press, New York, 1970, 7-78.

Google Scholar

[40]

WEGNER, P. "Programming language semantics." In Courant Inst. Symposium on Formal Semantics, Prentice-Hall, Inc., Englewood Cliffs, N. J., 1971.

Google Scholar

[41]

WFGNER, P. "Data structure models in programming languages." In Proc. Symposium on Data Structures in Programming Languages, J. T. Tou & P. Wegner (Eds.), SIGPLAN Notices 6, 2 (Feb. 1971), 1-54.

Crossref

Google Scholar

[42]

WEONER, P. "Operational semantics of programming languages." In Proc. ACM Conf. on Proving Assertions about Programs, a joint publication of SIGPLAN and SIGACT, SIGPLAN Notices 7, 1 (Jan. 1972), 128-141.

Crossref

Google Scholar

[43]

WIRTH, N.; AND H. WEBER. "EULER: a generalization of ALGOL and its formal definition : part I." Carom. ACM 9, 1 (Jan. 1966), 13-23; "Part II." Comm. ACM 9, 2 (Feb. 1966), 89-99.

Crossref

Google Scholar

Cited By

View all

Grebenyuk GKalyanov GKovalyov SLukinova ORoschin ASereda L(2023)The Impact of Errors in Business Processes on the Operability of Engineering Infrastructure2023 16th International Conference Management of large-scale system development (MLSD)10.1109/MLSD58227.2023.10303790(1-5)Online publication date: 26-Sep-2023
https://doi.org/10.1109/MLSD58227.2023.10303790
Aziz BAziz B(2021)IntroductionFormal Analysis by Abstract Interpretation10.1007/978-3-030-91153-9_1(1-31)Online publication date: 14-Dec-2021
https://doi.org/10.1007/978-3-030-91153-9_1
Tracy K(2021)SoftwareundefinedOnline publication date: 6-Sep-2021
Show More Cited By

Recommendations

Vienna definition language
Encyclopedia of Computer Science

The Vienna Definition Language (VDL) is a language for defining the syntax and semantics of programming languages. It consists of a syntactic metalanguage for defining the syntax of program and data structures (q.v.) and a semantic metalanguage that ...
Integrated language definition testing: enabling test-driven language development
OOPSLA '11: Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications

The reliability of compilers, interpreters, and development environments for programming languages is essential for effective software development and maintenance. They are often tested only as an afterthought. Languages with a smaller scope, such as ...
Integrated language definition testing: enabling test-driven language development
OOPSLA '11

The reliability of compilers, interpreters, and development environments for programming languages is essential for effective software development and maintenance. They are often tested only as an afterthought. Languages with a smaller scope, such as ...

Comments

Information & Contributors

Information

Published In

ACM Computing Surveys Volume 4, Issue 1

March 1972

62 pages

ISSN:0360-0300

EISSN:1557-7341

DOI:10.1145/356596

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 1972

Published in CSUR Volume 4, Issue 1

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

148
Total Citations
View Citations
2,894
Total Downloads

Downloads (Last 12 months)890
Downloads (Last 6 weeks)57

Reflects downloads up to 11 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Grebenyuk GKalyanov GKovalyov SLukinova ORoschin ASereda L(2023)The Impact of Errors in Business Processes on the Operability of Engineering Infrastructure2023 16th International Conference Management of large-scale system development (MLSD)10.1109/MLSD58227.2023.10303790(1-5)Online publication date: 26-Sep-2023
https://doi.org/10.1109/MLSD58227.2023.10303790
Aziz BAziz B(2021)IntroductionFormal Analysis by Abstract Interpretation10.1007/978-3-030-91153-9_1(1-31)Online publication date: 14-Dec-2021
https://doi.org/10.1007/978-3-030-91153-9_1
Tracy K(2021)SoftwareundefinedOnline publication date: 6-Sep-2021
D’Addona DBruzzone A(2019)Formal Tools for Management of Manufacturing Systems: A Multi Agents System ApproachInternational Journal of Automation Technology10.20965/ijat.2019.p069113:5(691-699)Online publication date: 5-Sep-2019
https://doi.org/10.20965/ijat.2019.p0691
Abramsky S(2019)Whither semantics?Theoretical Computer Science10.1016/j.tcs.2019.06.029Online publication date: Jul-2019
https://doi.org/10.1016/j.tcs.2019.06.029
Bruzzone AD’Addona D(2019)Mind, machines and manufacturing: a philosophical essay on machiningProcedia CIRP10.1016/j.procir.2019.02.09179(580-585)Online publication date: 2019
https://doi.org/10.1016/j.procir.2019.02.091
Astarte TJones C(2019)Formal Semantics of ALGOL 60: Four Descriptions in their Historical ContextReflections on Programming Systems10.1007/978-3-319-97226-8_4(83-152)Online publication date: 11-Jan-2019
https://doi.org/10.1007/978-3-319-97226-8_4
Börding PHaltermann JJakobs MWehrheim H(2018)JMCTest: Automatically Testing Inter-Method Contracts in JavaTesting Software and Systems10.1007/978-3-319-99927-2_4(39-55)Online publication date: 1-Oct-2018
https://dl.acm.org/doi/10.1007/978-3-319-99927-2_4
Furtado AMylopoulos J(2016)Using Graph Grammars To Define Sets Of DigraphsINFOR: Information Systems and Operational Research10.1080/03155986.1979.1173173717:3(242-261)Online publication date: 25-May-2016
https://doi.org/10.1080/03155986.1979.11731737
Sharma RBiswas K(2015)Generating Logical Representations for Natural Language Requirements Using Syntactic Dependencies and Norm Analysis PatternsNatural Language Processing and Information Systems10.1007/978-3-319-19581-0_42(432-436)Online publication date: 4-Jun-2015
https://doi.org/10.1007/978-3-319-19581-0_42
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Recommendations

Vienna definition language

Integrated language definition testing: enabling test-driven language development

Integrated language definition testing: enabling test-driven language development

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations