article

Free access

A survey of adaptable grammars

Author:

H. ChristiansenAuthors Info & Claims

ACM SIGPLAN Notices, Volume 25, Issue 11

Pages 35 - 44

https://doi.org/10.1145/101356.101357

Published: 01 November 1990 Publication History

PDF eReader

References

[1]

Bowen, K.A. and Kowalski, R.A., Amalgamating language and meta-language in logic programming. Logic Programming , Clark, K.L. and Tärnlund, S. Å., eds., pp. 153-172, Academic Press, 1982.

Google Scholar

[2]

Buhrsteyn, B., On the modification of the formal grammar at parse time. Sigplan Notices, Vol. 25, No. 5, pp. 117-123, 1990.

Digital Library

Google Scholar

[3]

Christiansen, H., Syntax, semantics, and implementation strategies for programming languages with powerful abstraction mechanisms. Proc. 18th Hawaii International Conference on System Sciences, vol. 2, pp. 57-66, 1985.

Google Scholar

[4]

Christiansen, H., Recognition of generative languages. Lecture Notes in Computer Science 217, pp. 63-81, Springer-Verlag, 1986.

Crossref

Google Scholar

[5]

Christiansen, H., The syntax and semantics of extensible languages. Datalogiske skrifter, no. 14, Roskilde University Centre, 1988.

Google Scholar

[6]

Christiansen, H., Declarative semantics of a meta-programming language. Proc. META 90, Workshop on Meta-Programming in Logic, Leuven, Belgium, pp. 159-168, 1990.

Google Scholar

[7]

Clocksin, W.F. and Mellish, C.S., Programming in Prolog, Third edition. Springer-Verlag, 1987.

Digital Library

Google Scholar

[8]

Colmerauer, A., Les grammaires de metamorphose, Groupe d'Intelligence Artificielle, Université de Marseilles-Luminy, 1975. Appears as "Metamorphosis grammars" in Lecture Notes in Computer Science 63, pp. 133-189, Springer-Verlag, 1978.

Google Scholar

[9]

Dembinski, P. and Maluszynski, J., Attribute grammars and two-level grammars: A unifying approach, Lecture Notes in Computer Science 64, pp. 143-154, 1978.

Crossref

Google Scholar

[10]

Deransart, P., Jourdan, M., and Lorho, B., Attribute grammars. Definitions, systems and bibliography. Lecture Notes in Computer Science 323, Springer-Verlag, 1988.

Digital Library

Google Scholar

[11]

Deransart, P. and Maluszynski, J., Relating logic programs and attribute grammars. Journal of Logic Programming 2, pp. 119-155, 1985.

Crossref

Google Scholar

[12]

di Forini, A.C., Some remarks on the syntax of symbolic programming languages. Communications of the ACM 6, pp. 456-460, 1963.

Digital Library

Google Scholar

[13]

Hanford, K.V. and Jones, C.B., Dynamic syntax: A concept for the definition of the syntax of programming languages. Annual Review in Automatic Programming 7, pp. 115-142. Pergamon Press, Oxford, 1973.

Crossref

Google Scholar

[14]

Heering, J., Klint, P., and Rekers, J., Incremental generation of parsers. Sigplan Notices 24/7, pp. 179-191, 1989.

Digital Library

Google Scholar

[15]

Hill, P.M. and Lloyd, J.W., Analysis of meta-programs. Proc. META 88, Workshop on Meta-Programming in Logic Programming, Bristol, England, pp. 27-42, 1988.

Google Scholar

[16]

Johnson, S.C., Yacc--yet another compiler compiler. Computing Science Technical Report 32, AT&T Bell Laboratories, 1975.

Google Scholar

[17]

Knuth, D.E., Semantics of context-free languages. Mathematical Systems Theory 2, pp. 127-145, 1968.

Crossref

Google Scholar

[18]

Layzell, P.J., The history of macro processors in programming language extensibility. The Computer Journal 28, pp. 29-33, 1985.

Crossref

Google Scholar

[19]

Mason, K.P., Dynamic Template Translators: A useful model for the definition of programming languages. Ph.D. thesis, University of Adelaide, Australia, 1984.

Google Scholar

[20]

Mason, K.P., Dynamic template translators -- A new device for specifying programming languages. Intern. J. Computer Math 22, pp. 199-212, 1987.

Crossref

Google Scholar

[21]

Meek, B., The static semantics file, Sigplan Notices, Vol. 25, No. 4, pp. 33-42, 1990.

Digital Library

Google Scholar

[22]

Naur, P., ed., Report on the algorithmic language Algol 60. Communications of the ACM 4, 1960.

Digital Library

Google Scholar

[23]

Naur, P., ed., Revised report on the algorithmic language Algol 60. Communications of the ACM 6, pp. 1-17, 1963.

Digital Library

Google Scholar

[24]

Pereira, F.C.N. and Warren, D.H.D., Definite clause grammars for language analysis -- A survey of the formalism and a comparison with augmented transition networks. Artificial Intelligence 13, pp. 231-278, 1980.

Crossref

Google Scholar

[25]

Solntseff, N. and Yezerski, A., A survey of extensible languages. Annual Review of Automatic Programming 7, pp. 267-307, 1974.

Crossref

Google Scholar

[26]

Uhl, J., Drossopoulos, S., Persch, G., Goos, G., Dausmann, M., Winterstein, G., and Kirchgässner, W., An attribute grammar for the semantic analysis of Ada. Lecture Notes in Computer Science 139, Springer-Verlag, 1982.

Digital Library

Google Scholar

[27]

U.S. Dept. Defence, Reference manual for the Ada programming language, NASI/MIL-STD-1815A, 1983.

Digital Library

Google Scholar

[28]

Wegbreit, B., Extensible programming languages. Harward University, Cambridge, Massachusetts, 1970. (Garland Publishing, Inc., New York & London, 1980).

Google Scholar

[29]

Welsh, J., Sneeringer, W.J., and Hoare, C.A.R., Ambiguities and insecurities in Pascal. Software, Practice and Experience 7, pp. 685-696, 1977.

Crossref

Google Scholar

[30]

van Wijngaarden, A., Mailloux, B.J., Peck, J.E.L., Koster, C.H.A., Sintzoff, M., Lindsey, C.H., Meertens, L.G.L.T., and Fisker, R.G., Revised report on the algorithmic language ALGOL 68. Acta Informatica 5, pp. 1-236, 1975.

Digital Library

Google Scholar

Cited By

View all

Santos PSilva SFonseca ACoello Coello C(2020)Refined typed genetic programming as a user interface for genetic programmingProceedings of the 2020 Genetic and Evolutionary Computation Conference Companion10.1145/3377929.3390042(251-252)Online publication date: 8-Jul-2020
https://dl.acm.org/doi/10.1145/3377929.3390042
Araujo L(2020)Genetic programming for natural language processingGenetic Programming and Evolvable Machines10.1007/s10710-019-09361-521:1-2(11-32)Online publication date: 1-Jun-2020
https://dl.acm.org/doi/10.1007/s10710-019-09361-5
Fonseca ASantos PSilva S(2020)The Usability Argument for Refinement Typed Genetic ProgrammingParallel Problem Solving from Nature – PPSN XVI10.1007/978-3-030-58115-2_2(18-32)Online publication date: 5-Sep-2020
https://dl.acm.org/doi/10.1007/978-3-030-58115-2_2
Show More Cited By

Index Terms

A survey of adaptable grammars
1. Software and its engineering
  1. Software notations and tools
    1. Formal language definitions
    2. System description languages
      1. Specification languages
2. Theory of computation
  1. Formal languages and automata theory

Recommendations

An attribute language definition for adaptable parsing expression grammars
SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing

Adaptable Parsing Expression Grammars (APEG) are a formal model whose main purpose is to formally describe the syntax of extensible languages and their extension mechanisms. APEG extends Parsing Expression Grammar model with the notion of syntactic ...
Parsing expression grammars: a recognition-based syntactic foundation
POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages

For decades we have been using Chomsky's generative system of grammars, particularly context-free grammars (CFGs) and regular expressions (REs), to express the syntax of programming languages and protocols. The power of generative grammars to express ...
Parsing expression grammars: a recognition-based syntactic foundation
POPL '04

For decades we have been using Chomsky's generative system of grammars, particularly context-free grammars (CFGs) and regular expressions (REs), to express the syntax of programming languages and protocols. The power of generative grammars to express ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 25, Issue 11

Nov. 1990

69 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/101356

Editor:
Richard L. Wexelblat
SIGPLAN Notices, IDA/CSED, Alexandria, VA

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 1990

Published in SIGPLAN Volume 25, Issue 11

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

38
Total Citations
View Citations
441
Total Downloads

Downloads (Last 12 months)63
Downloads (Last 6 weeks)11

Reflects downloads up to 14 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Santos PSilva SFonseca ACoello Coello C(2020)Refined typed genetic programming as a user interface for genetic programmingProceedings of the 2020 Genetic and Evolutionary Computation Conference Companion10.1145/3377929.3390042(251-252)Online publication date: 8-Jul-2020
https://dl.acm.org/doi/10.1145/3377929.3390042
Araujo L(2020)Genetic programming for natural language processingGenetic Programming and Evolvable Machines10.1007/s10710-019-09361-521:1-2(11-32)Online publication date: 1-Jun-2020
https://dl.acm.org/doi/10.1007/s10710-019-09361-5
Fonseca ASantos PSilva S(2020)The Usability Argument for Refinement Typed Genetic ProgrammingParallel Problem Solving from Nature – PPSN XVI10.1007/978-3-030-58115-2_2(18-32)Online publication date: 5-Sep-2020
https://dl.acm.org/doi/10.1007/978-3-030-58115-2_2
Cardoso ERibeiro RReis LBigonha MBigonha RDi Iorio VHung CPapadopoulos G(2019)An attribute language definition for adaptable parsing expression grammarsProceedings of the 34th ACM/SIGAPP Symposium on Applied Computing10.1145/3297280.3299738(1518-1525)Online publication date: 8-Apr-2019
https://dl.acm.org/doi/10.1145/3297280.3299738
Grifoni PD'ulizia AFerri F(2016)Computational methods and grammars in language evolutionArtificial Intelligence Review10.1007/s10462-015-9449-345:3(369-403)Online publication date: 1-Mar-2016
https://dl.acm.org/doi/10.1007/s10462-015-9449-3
Reis LDi Iorio VBigonha R(2015)An on-the-fly grammar modification mechanism for composing and defining extensible languagesComputer Languages, Systems and Structures10.1016/j.cl.2015.01.00242:C(46-59)Online publication date: 1-Jul-2015
https://dl.acm.org/doi/10.1016/j.cl.2015.01.002
Reis LDi Iorio VBigonha RCho YShin SKim SHung CHong J(2014)Defining the syntax of extensible languagesProceedings of the 29th Annual ACM Symposium on Applied Computing10.1145/2554850.2554898(1570-1576)Online publication date: 24-Mar-2014
https://dl.acm.org/doi/10.1145/2554850.2554898
Reis LBigonha RDi Iorio VAmorim L(2014)The formalization and implementation of Adaptable Parsing Expression GrammarsScience of Computer Programming10.1016/j.scico.2014.02.02096:P2(191-210)Online publication date: 15-Dec-2014
https://dl.acm.org/doi/10.1016/j.scico.2014.02.020
Dogru ASenkul PKaya O(2012)Modern Approaches to Software Engineering in the Compositional EraMachine Learning10.4018/978-1-60960-818-7.ch803(1903-1923)Online publication date: 2012
https://doi.org/10.4018/978-1-60960-818-7.ch803
Neto J(2012)Adaptive Technology and Its ApplicationsMachine Learning10.4018/978-1-60960-818-7.ch108(87-96)Online publication date: 2012
https://doi.org/10.4018/978-1-60960-818-7.ch108
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

Index Terms

Recommendations

An attribute language definition for adaptable parsing expression grammars

Parsing expression grammars: a recognition-based syntactic foundation

Parsing expression grammars: a recognition-based syntactic foundation

Comments

Information

Published In

Publisher

Publication History

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