article

Free access

A syntax controlled generator of formal language processors

Authors:

J. Eickel,

M. Paul,

F. L. Bauer,

K. SamuelsonAuthors Info & Claims

Communications of the ACM, Volume 6, Issue 8

Pages 451 - 455

https://doi.org/10.1145/366707.367583

Published: 01 August 1963 Publication History

PDF eReader

References

[1]

ASSER, G. Normierte Post'sche Algorithmen. Z. Math. Logik Grundl. Math. 5 (1959), 323-333.

Crossref

Google Scholar

[2]

BACKUS, J. W. The syntax and semantics of the proposed international algebraic language of the Zurich ACM-GAMM Conference. Information Processing, Proc. Internat. Conf. Unesco, Paris, 1959. Verlag Oldenbourg, M~nchen, 1960, 125-132.

Google Scholar

[3]

BACKUS, J. W. et al. Report on the algorithmic language ALGOL 60, Num. Math. 2 (1960), 106-136; Comm. ACM 3 (1960), 299-314.

Digital Library

Google Scholar

[4]

BAUER, F . L., AND SAMELSON, K. Verfahren zur automatischen Verarbeitung yon kodierten Dater und Rechcnmaschine zur Ausfibttng des Verfahrens. Deutsche Patentauslegesehrift 1094019. Anm.: Mar. 30, 1957; Bek.: Dec. 1, 1960.

Google Scholar

[5]

BAUER, F. L., AND SAMELSON, K. Improvements in and relating to computing machines. Brit. Patent No. 892098, Mar. 31, 1958.

Google Scholar

[6]

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

Digital Library

Google Scholar

[7]

DEUSSEN, P. Bericht tiber ein Programm zur ~bersetzung Boolescher Ausdrucke in disjunktive Nomnalform. Paper, Colloquium iiber Schaltkreis- trod Schaltwerk-Theorie, ISNM, Birkh~user-Verlag, Basel.

Google Scholar

[8]

GRAU, A. A. Recursive processes and ALGOL translation. Comm. ACM 4 (1961), 10-15.

Digital Library

Google Scholar

[9]

INGERMAN: P. Z., COTTON, R . M ., AND FEEDMAN, H. A. A translation technique for languages whose syntax is expressible in extended Backus normal form. Paper, Symposium on Symbolic Languages, Rome, Mar. 26-31, 1962.

Google Scholar

[10]

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

Digital Library

Google Scholar

[11]

LEDLEY, S., AND WILSON, J . B. Automatic-programming-language translation through syntactical analysis. Comm. ACM 5 (1962), 145-155.

Digital Library

Google Scholar

[12]

LucAs, P. Die Strukturanalyse von Formel~bersetzern. Mail~fterl, Wien (1961).

Google Scholar

[13]

PAUL, M. Zur Struktur formaler Sprachen. Dissertation, Mainz, 1962.

Google Scholar

[14]

PAUL, M. Kolloquium f~r Sprachen und Algorithmen. Zeit. Math. Logik 8 (1962), 299-308.

Google Scholar

[15]

PAUL, M. Lecture, Symposium on Symbolic Languages, Rome, Mar. 26-31, 1962.

Google Scholar

[16]

PAUL, M. ALGOL 60 processors and a processor generator. Proe. IFIP Congress, Munich, 1962. North Holland Publ. Co., Amsterdam (1963), 439-497.

Google Scholar

[17]

PERLIS, A. J., AND SAMELSON, K. (Eds.) Report on the algorithmic language ALGOL by the ACM Committee on Programming Languages and the GAMM Committee on Programming. Numer. Math. 1 (1959), 41-00.

Digital Library

Google Scholar

[18]

PETRY, W. ~bersetzung formaler Sprachen in topologische Strukturen. Dissertation, Mainz, 1962.

Google Scholar

[19]

SAMELSON, K. AND BAUER, F. L. Sequentielle Formeliibersetzung. Elektron. Rechenanl. l (1959), 176-182.

Google Scholar

[20]

SAMELSON, U., AND BAUER, F. L. Sequential formula translation. Comm. ACM 3 (1960), 76-83.

Digital Library

Google Scholar

[21]

WARSHALL, S. A syntax directed generator. Proc. 1961 Eastern Joint Comput. Conf., Washington, D. C., AFIPS Publ. 20 (1961), 295-305.

Digital Library

Google Scholar

Cited By

View all

Goos GSyrbe M(2008)Die 70er JahreInformatikforschung in Deutschland10.1007/978-3-540-76550-9_5(133-150)Online publication date: 2008
https://doi.org/10.1007/978-3-540-76550-9_5
Eickel J(1991)Strukturerkennung mit GraphgrammatikenInformatik und Mathematik10.1007/978-3-642-76677-0_14(192-208)Online publication date: 1991
https://doi.org/10.1007/978-3-642-76677-0_14
Bauer F(1990)The Cellar Principle of State Transition and Storage AllocationIEEE Annals of the History of Computing10.1109/MAHC.1990.1000412:1(41-49)Online publication date: 1-Jan-1990
https://dl.acm.org/doi/10.1109/MAHC.1990.10004
Show More Cited By

Recommendations

Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models
ASE '07: Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering

Formal methods and requirements analysis are techniques for developing complex systems. However, there is little research on reconciling the requirements phase with the formal specification phase. To bridge this gap, we propose a formal specification ...
Towards a Formal Basis for the Formal Development Method and the Ina Jo Specification Language
Special issue on computer security and privacy

In carrying out SDC's Formal Development Method, one writes a specification of a system under design in the Ina Jo™ specification language and proves that the specification meets the requirements of the system. This paper develops an abstract machine ...
A Domain-Specific Language for Abstract Syntax Model to Concrete Syntax Model Mappings
MODELSWARD 2014: Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development

Model-based parser generators such as ModelCC effectively decouple language design from language processing. ModelCC allows the specification of the abstract syntax model of a language as a set of language elements and their relationships. ModelCC ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Communications of the ACM Volume 6, Issue 8

Aug. 1963

315 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/366707

Editor:
C. C. Gotlieb
Univ. of Toronto, Toronto, Canada

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 August 1963

Published in CACM Volume 6, Issue 8

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

27
Total Citations
View Citations
495
Total Downloads

Downloads (Last 12 months)98
Downloads (Last 6 weeks)8

Reflects downloads up to 13 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Goos GSyrbe M(2008)Die 70er JahreInformatikforschung in Deutschland10.1007/978-3-540-76550-9_5(133-150)Online publication date: 2008
Eickel J(1991)Strukturerkennung mit GraphgrammatikenInformatik und Mathematik10.1007/978-3-642-76677-0_14(192-208)Online publication date: 1991
Bauer F(1990)The Cellar Principle of State Transition and Storage AllocationIEEE Annals of the History of Computing10.1109/MAHC.1990.1000412:1(41-49)Online publication date: 1-Jan-1990
Mayer O(1979)On deterministic canonical bottom-up-parsingInformation and Control10.1016/S0019-9958(79)90024-X43:3(280-303)Online publication date: Dec-1979
Goncharova L(1975)Precedence analysis and context conditionsUSSR Computational Mathematics and Mathematical Physics10.1016/0041-5553(75)90083-X15:3(161-174)Online publication date: Jan-1975
Schkolnick M(1974)The equivalence of reducing transition languages and deterministic languagesCommunications of the ACM10.1145/361147.36111017:9(517-520)Online publication date: 1-Sep-1974
Bauer FBauer FDe Remer FGriffiths MHill UHorning JKoster CMcKeeman WPoole PWaite W(1974)Appendix: Historical Remarks on Compiler ConstructionCompiler Construction10.1007/978-3-662-21549-4_22(603-621)Online publication date: 1974
DeRemer FBauer FDe Remer FGriffiths MHill UHorning JKoster CMcKeeman WPoole PWaite W(1974)Review of Formalisms and NotationsCompiler Construction10.1007/978-3-662-21549-4_2(37-56)Online publication date: 1974
Bauer FDe Remer FGriffiths MHill UHorning JKoster CMcKeeman WPoole PWaite W(1974)Compiler constructionundefinedOnline publication date: 1-Jan-1974
Eickel JLoeckx J(1972)The relation between derivations and syntactical structures in phrase-structure grammarsJournal of Computer and System Sciences10.1016/S0022-0000(72)80006-06:3(267-282)Online publication date: 1-Jun-1972
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

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

Formal specification generator for KAOS: model transformation approach to generate formal specifications from KAOS requirements models

Towards a Formal Basis for the Formal Development Method and the Ina Jo Specification Language

A Domain-Specific Language for Abstract Syntax Model to Concrete Syntax Model Mappings

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

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations