poster

The spoofax name binding language

Authors:

Eelco VisserAuthors Info & Claims

SPLASH '12: Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity

Pages 79 - 80

https://doi.org/10.1145/2384716.2384748

Published: 19 October 2012 Publication History

Get Access

Abstract

In textual software languages, names are used to identify program elements such as variables, methods, and classes. Name analysis algorithms resolve names in order to establish references between definitions and uses of names. In this poster, we present the Spoofax Name Binding Language (NBL), a declarative meta-language for the specification of name binding and scope rules, which departs from the programmatic encodings of name binding provided by regular approaches. NBL aspires to become the universal language for name binding, which can be used next to BNF definitions in reference manuals, as well as serve the generation of implementations.

References

[1]

M. Bravenboer, K. T. Kalleberg, R. Vermaas, and E. Visser. Stratego/XT 0.17. A language and toolset for program transformation. SCP, 72(1-2):52--70, 2008.

Digital Library

Google Scholar

[2]

M. Bravenboer, A. van Dam, K. Olmos, and E. Visser. Program transformation with scoped dynamic rewrite rules. FUIN, 69(1-2):123--178, 2006.

Digital Library

Google Scholar

[3]

T. Ekman and G. Hedin. Modular name analysis for java using jastadd. In GTTSE, pages 422--436, 2006.

Digital Library

Google Scholar

[4]

U. Kastens and W. M. Waite. Modularity and reusability in attribute grammars. ACTA, 31(7):601--627, 1994.

Digital Library

Google Scholar

[5]

L. C. L. Kats and E. Visser. The Spoofax language workbench: rules for declarative specification of languages and IDEs. In OOPSLA, pages 444--463, 2010.

Digital Library

Google Scholar

[6]

G. Konat, L. C. L. Kats, G. Wachsmuth, and E. Visser. Language-parametric name resolution based on declarative name binding and scope rules. In SLE, 2013.

Google Scholar

Cited By

View all

Kramer LVan Wyk ELämmel RTratt Lde Lara J(2020)Strategic tree rewriting in attribute grammarsProceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering10.1145/3426425.3426943(210-229)Online publication date: 16-Nov-2020
https://dl.acm.org/doi/10.1145/3426425.3426943
Sherwany AZaza NNystrom N(2015)A Refactoring Library for Scala Compiler ExtensionsCompiler Construction10.1007/978-3-662-46663-6_2(31-48)Online publication date: 2015
https://doi.org/10.1007/978-3-662-46663-6_2
Blunk AFischer J(2014)Prototyping SDL ExtensionsSystem Analysis and Modeling: Models and Reusability10.1007/978-3-319-11743-0_21(304-311)Online publication date: 2014
https://doi.org/10.1007/978-3-319-11743-0_21

Index Terms

The spoofax name binding language
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
        Very high level languages
    2. System description languages
      1. Specification languages

Recommendations

The spoofax language workbench: rules for declarative specification of languages and IDEs
OOPSLA '10

Spoofax is a language workbench for efficient, agile development of textual domain-specific languages with state-of-the-art IDE support. Spoofax integrates language processing techniques for parser generation, meta-programming, and IDE development into ...
The spoofax language workbench: rules for declarative specification of languages and IDEs
OOPSLA '10: Proceedings of the ACM international conference on Object oriented programming systems languages and applications

Spoofax is a language workbench for efficient, agile development of textual domain-specific languages with state-of-the-art IDE support. Spoofax integrates language processing techniques for parser generation, meta-programming, and IDE development into ...
The Spoofax language workbench
OOPSLA '10: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion

Spoofax is a language workbench for efficient, agile development of textual domain-specific languages with state-of-the-art IDE support. It provides a comprehensive environment that integrates syntax definition, program transformation, code generation, ...

Comments

Information & Contributors

Information

Published In

SPLASH '12: Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity

October 2012

252 pages

ISBN:9781450315630

DOI:10.1145/2384716

General Chair:
Gary T. Leavens
University of Central Florida

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 19 October 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Poster

Conference

SPLASH '12

Sponsor:

SIGPLAN

SPLASH '12: Conference on Systems, Programming, and Applications: Software for Humanity

October 19 - 26, 2012

Arizona, Tucson, USA

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
184
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)2

Reflects downloads up to 15 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Kramer LVan Wyk ELämmel RTratt Lde Lara J(2020)Strategic tree rewriting in attribute grammarsProceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering10.1145/3426425.3426943(210-229)Online publication date: 16-Nov-2020
https://dl.acm.org/doi/10.1145/3426425.3426943
Sherwany AZaza NNystrom N(2015)A Refactoring Library for Scala Compiler ExtensionsCompiler Construction10.1007/978-3-662-46663-6_2(31-48)Online publication date: 2015
https://doi.org/10.1007/978-3-662-46663-6_2
Blunk AFischer J(2014)Prototyping SDL ExtensionsSystem Analysis and Modeling: Models and Reusability10.1007/978-3-319-11743-0_21(304-311)Online publication date: 2014
https://doi.org/10.1007/978-3-319-11743-0_21

View Options

Get Access

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

The spoofax language workbench: rules for declarative specification of languages and IDEs

The spoofax language workbench: rules for declarative specification of languages and IDEs

The Spoofax language workbench

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Upcoming Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

PDF

eReader

Abstract

References

Cited By

Index Terms

Recommendations

The spoofax language workbench: rules for declarative specification of languages and IDEs

The spoofax language workbench: rules for declarative specification of languages and IDEs

The Spoofax language workbench

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Get Access

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations