Article

Free access

A meta-language and system for nonlocal incremental attribute evaluation in language-based editors

Authors:

Gregory F. Johnson,

C. N. FischerAuthors Info & Claims

POPL '85: Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Pages 141 - 151

https://doi.org/10.1145/318593.318627

Published: 01 January 1985 Publication History

PDF eReader

References

[1]

[1] Demers, A., T. Reps, and T. Teitelbaum, 'Incremental evaluation for attribute grammars with application to syntax-directed editors,' 8th POPL Conference, pp. 105-116 (1981).

Digital Library

Google Scholar

[2]

[2] Alberga, C. N., A. L. Brown, G. B. Leeman Jr., M. Mikelsons, and M. N. Wegman, 'A program development tool,' 8th POPL Conference, pp. 92-104 (1981).

Digital Library

Google Scholar

[3]

[3] Archer, James and Richard Conway, 'COPE: a cooperative programming environment,' TR 81- 459, Cornell University (1981).

Digital Library

Google Scholar

[4]

[4] Celentano, A., P. D. Vigna, C. Ghezzi, and D. Mandrioli, 'SIMPLE: a program development system,' Computer Languages 5, pp. 103-114 (1980).

Google Scholar

[5]

[5] Donzeau-Gouge, V., G. Huet, G. Kahn, B. Lang, and J. Levy, 'A structure oriented program editor: a first step towards computer assisted programming,' Technical Report 114, IRIA Laboratories (1975).

Google Scholar

[6]

[6] Habermann, A. N., 'The gandalf research project,' Carnegie-Mellon University Computer Science Research Review - 1979, pp. 28-35 (1979).

Google Scholar

[7]

[7] Teitelbaum, T. and T. Reps, 'The Cornell program synthesizer: a syntax-directed programming environment,' Communications of the ACM 24, 9, pp. 563-573 (September, 1981).

Digital Library

Google Scholar

[8]

[8] Ganzinger, Harald and Robert Giegerich, 'Attribute Coupled Grammars,' Sigplan Notices 19, 6, pp. 157-170 (June, 1984) Proc. of the Sigplan '84 Symp. on Compiler Construction.

Digital Library

Google Scholar

[9]

[9] Johnson, G. F. and C. N. Fischer, 'Non-syntactic attribute flow in language based editors,' Proc. 9th ACM Symp. Principles of Programming Langunges, pp. 185-195 (January 1982).

Digital Library

Google Scholar

[10]

[10] Reps, Thomas, Tim Teitelbaum, and Alan Demers, 'Incremental Context-Dependent Analysis for Language-Based Editors,' ACM Transactions on Programming Languages and Syateme 5, 3, pp. 449-477 (July 1983).

Digital Library

Google Scholar

[11]

[11] Reps, Thomas, 'Generating Language-Based Environments,' TR 82-514, Cornell University (August 1982).

Digital Library

Google Scholar

[12]

[12] Fischer, Charles N., Greg Johnson, and Jon Mauney, 'An Introduction to Editor Allan Poe,' Tech. report #451, University of Wisconson-Madison (1981).

Google Scholar

[13]

[13] Knuth, Donald E., 'Semantics of Context Free Languages,' Math. Systems Theory Journal 2, 2, pp. 127-145 (June 1968).

Crossref

Google Scholar

[14]

[14] Knuth, Donald E., 'Semantics of Context Free Languages: Correction,' Math. Syslema Theory Journal 5, 1, pp. 95-96 (1971).

Crossref

Google Scholar

Cited By

View all

(2015)Approaches to interpreter compositionComputer Languages, Systems and Structures10.1016/j.cl.2015.03.00144:PC(199-217)Online publication date: 1-Dec-2015
https://dl.acm.org/doi/10.1016/j.cl.2015.03.001
Barrett EBolz CTratt LBockisch CHaupt MBlackburn SRajan HGil J(2013)UnipycationProceedings of the 7th ACM workshop on Virtual machines and intermediate languages10.1145/2542142.2542146(31-40)Online publication date: 28-Oct-2013
https://dl.acm.org/doi/10.1145/2542142.2542146
Wachsmuth GKonat GVergu VGroenewegen DVisser E(2013)A Language Independent Task Engine for Incremental Name and Type AnalysisSoftware Language Engineering10.1007/978-3-319-02654-1_15(260-280)Online publication date: 2013
https://doi.org/10.1007/978-3-319-02654-1_15
Show More Cited By

Index Terms

A meta-language and system for nonlocal incremental attribute evaluation in language-based editors
1. Software and its engineering
  1. Software creation and management
    1. Software verification and validation
      1. Software defect analysis
        Software testing and debugging
2. Theory of computation
  1. Formal languages and automata theory
    1. Formalisms
      1. Rewrite systems
    2. Grammars and context-free languages
  2. Semantics and reasoning
    1. Program semantics

Recommendations

Meta-compilation of language abstractions
iCoLa: A Compositional Meta-language with Support for Incremental Language Development
SLE 2022: Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering

Programming languages providing high-level abstractions can increase programmers’ productivity and program safety. Language-oriented programming is a paradigm in which domain-specific languages are developed to solve problems within specific domains ...
Layout-sensitive language extensibility with SugarHaskell
Haskell '12: Proceedings of the 2012 Haskell Symposium

Programmers need convenient syntax to write elegant and concise programs. Consequently, the Haskell standard provides syntactic sugar for some scenarios (e.g., do notation for monadic code), authors of Haskell compilers provide syntactic sugar for more ...

Comments

Information & Contributors

Information

Published In

POPL '85: Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

January 1985

340 pages

ISBN:0897911474

DOI:10.1145/318593

Chairmen:
Mary S. Van Deusen
IBM Watson Research
,
Zvi Galil
Columbia University, New York, NY
,
Brian K. Reid
Stanford Univ., Stanford, CA

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 January 1985

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 824 of 4,130 submissions, 20%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

42
Total Citations
View Citations
175
Total Downloads

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

Reflects downloads up to 22 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

(2015)Approaches to interpreter compositionComputer Languages, Systems and Structures10.1016/j.cl.2015.03.00144:PC(199-217)Online publication date: 1-Dec-2015
https://dl.acm.org/doi/10.1016/j.cl.2015.03.001
Barrett EBolz CTratt LBockisch CHaupt MBlackburn SRajan HGil J(2013)UnipycationProceedings of the 7th ACM workshop on Virtual machines and intermediate languages10.1145/2542142.2542146(31-40)Online publication date: 28-Oct-2013
https://dl.acm.org/doi/10.1145/2542142.2542146
Wachsmuth GKonat GVergu VGroenewegen DVisser E(2013)A Language Independent Task Engine for Incremental Name and Type AnalysisSoftware Language Engineering10.1007/978-3-319-02654-1_15(260-280)Online publication date: 2013
https://doi.org/10.1007/978-3-319-02654-1_15
Lipp MWonka PWimmer M(2008)Interactive visual editing of grammars for procedural architectureACM Transactions on Graphics10.1145/1360612.136070127:3(1-10)Online publication date: 1-Aug-2008
https://dl.acm.org/doi/10.1145/1360612.1360701
Aydin TMantiuk RMyszkowski KSeidel H(2008)Dynamic range independent image quality assessmentACM Transactions on Graphics10.1145/1360612.136066827:3(1-10)Online publication date: 1-Aug-2008
https://dl.acm.org/doi/10.1145/1360612.1360668
Takayama KOkabe MIjiri TIgarashi T(2008)Lapped solid texturesACM Transactions on Graphics10.1145/1360612.136065227:3(1-9)Online publication date: 1-Aug-2008
https://dl.acm.org/doi/10.1145/1360612.1360652
Wei LHan JZhou KBao HGuo BShum H(2008)Inverse texture synthesisACM Transactions on Graphics10.1145/1360612.136065127:3(1-9)Online publication date: 1-Aug-2008
https://dl.acm.org/doi/10.1145/1360612.1360651
Han CRisser ERamamoorthi RGrinspun E(2008)Multiscale texture synthesisACM Transactions on Graphics10.1145/1360612.136065027:3(1-8)Online publication date: 1-Aug-2008
https://dl.acm.org/doi/10.1145/1360612.1360650
Boyland J(2005)Remote attribute grammarsJournal of the ACM10.1145/1082036.108204252:4(627-687)Online publication date: 1-Jul-2005
https://dl.acm.org/doi/10.1145/1082036.1082042
Hedin G(2005)Incremental attribute evaluation with side-effectsCompiler Compilers and High Speed Compilation10.1007/3-540-51364-7_14(175-189)Online publication date: 1-Jun-2005
https://doi.org/10.1007/3-540-51364-7_14
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.

Cited By

Index Terms

Recommendations

Meta-compilation of language abstractions

iCoLa: A Compositional Meta-language with Support for Incremental Language Development

Layout-sensitive language extensibility with SugarHaskell

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Acceptance Rates

Upcoming Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

References

Cited By

Index Terms

Recommendations

Meta-compilation of language abstractions

iCoLa: A Compositional Meta-language with Support for Incremental Language Development

Layout-sensitive language extensibility with SugarHaskell

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Acceptance Rates

Upcoming Conference

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