Article

Free access

Macro-by-example: Deriving syntactic transformations from their specifications

Authors:

E. E. Kohlbecker,

M. WandAuthors Info & Claims

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

Pages 77 - 84

https://doi.org/10.1145/41625.41632

Published: 01 October 1987 Publication History

PDF eReader

Abstract

This paper presents two new developments. First, it describes a “macro-by-example” specification language for syntactic abstractions in Lisp and related languages. This specification language allows a more declarative specification of macros than conventional macro facilities do by giving a better treatment of iteration and mapping constructs. Second, it gives a formal semantics for the language and a derivation of a compiler from the semantics. This derivation is a practical application of semantics-directed compiler development methodology.

References

[1]

Felleisen, M. "Transliterating Prolog into Scheme," Indiana University Computer Science Department Technical Report No. 182, October, 1985.

Google Scholar

[2]

Foderaxo, .I.K., Sklower, K.L., and Layer, K. The Franz Lisp Manual, June, 1983.

Google Scholar

[3]

Felleisen, M., and Friedman, D.P., "A Closer Look at Export and Import Statements," Computer Languages 1~ (1986), 20-37.

Digital Library

Google Scholar

[4]

Friedmma, D.P., Haynes, C.T., and Wand, M. "Obtaining Coroutines with Continuations," Computer Languages 1I (1986), to appear.

Digital Library

Google Scholar

[5]

Jorring, U., and Sherlis, W.L. "Compilers and Staging Transformations," Conf. Ree. 19th Annual A CM Symposium on Principles of Programming Languages (19s6),

Digital Library

Google Scholar

[6]

Kohlbecker, E., Syntactic Extensions in the Programming Language Lisp, PhD dissertation, Indiana University, August, 1986.

Digital Library

Google Scholar

[7]

Kohlbecker, E., Friedrnah, D.P., Felleisen, M., and Dubs, B. "Hygienic Macro Expansion," Proceedings 1986 A CM Conference on Lisp and Functional Programming, 151-161.

Digital Library

Google Scholar

[8]

Rees, J., and Clinger, W., eds. "Revised3 Report on the Algorithmic Language Scheme," SIGPLAN Notices, to appear.

Digital Library

Google Scholar

[9]

Steele, G.L. and Sussman, G.J. "The Revised Report on SCHEME," Mass. Inst. of Tech. Artif. Intell. Memo No. 452, Cambridge, MA (January, 1978).

Google Scholar

[10]

Wand, M. "Deriving Target Code as a Representation of Continuation Semantics," A CM Trans. or~ Prog. Lang. and Systems 4, 3 (July, 1982) 496-517.

Digital Library

Google Scholar

[11]

Wand, M. "A Semantic Prototyping System," Proe. AGM SIGPLAN 'St Compiler Construction Conference (1984), 213-221.

Digital Library

Google Scholar

[12]

Wand, M. "The Semantics of Backtracking," Brandeis University Computer Science Department Colloquium, January, 1985 (unpublished).

Google Scholar

Cited By

View all

Flatt MAllred TAngle NDe Gabrielle SFindler RFirth JGopinathan KGreenman BKasivajhula SKnauth AMcCarthy JPhillips SPorncharoenwase SSøgaard JTobin-Hochstadt S(2023)Rhombus: A New Spin on Macros without All the ParenthesesProceedings of the ACM on Programming Languages10.1145/36228187:OOPSLA2(574-603)Online publication date: 16-Oct-2023
https://dl.acm.org/doi/10.1145/3622818
Li JAppel A(2021)Deriving efficient program transformations from rewrite rulesProceedings of the ACM on Programming Languages10.1145/34735795:ICFP(1-29)Online publication date: 19-Aug-2021
https://dl.acm.org/doi/10.1145/3473579
Lakhani ZMiller HGill PIyengar J(2019)Checking-in on network functionsProceedings of the 2019 Applied Networking Research Workshop10.1145/3340301.3341131(69-76)Online publication date: 22-Jul-2019
https://dl.acm.org/doi/10.1145/3340301.3341131
Show More Cited By

Index Terms

Macro-by-example: Deriving syntactic transformations from their specifications
1. Software and its engineering
  1. Software notations and tools
2. Theory of computation
  1. Formal languages and automata theory

Recommendations

A formal methodology for deriving purely functional programs from Z specifications via the intermediate specification language funz
Deriving Formal Specifications from Informal Requirements
COMPSAC '07: Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 01

Ensuring dependability of software requires the use of formal methods. However, formal methods are still not widely accepted in engineering practice. One of the reasons for this is difficulty of deriving formal specifications from large and complex ...
The Java syntactic extender (JSE)

The ability to extend a language with new syntactic forms is a powerful tool. A sufficiently flexible macro system allows programmers to build from a common base towards a language designed specifically for their problem domain. However, macro ...

Comments

Information & Contributors

Information

Published In

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

October 1987

326 pages

ISBN:0897912152

DOI:10.1145/41625

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 October 1987

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

POPL87

Sponsor:

SIGPLAN

POPL87: Fourteenth Annual ACM SIGACT-SIGPLAN Symposium on Prnciples of Programming Languages

January 21 - 23, 1987

Munich, West Germany

Acceptance Rates

POPL '87 Paper Acceptance Rate 29 of 108 submissions, 27%;

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

Upcoming Conference

POPL '25

Sponsor:
sigplan

The 52nd Annual ACM SIGPLAN Symposium on Principles of Programming Languages

January 19 - 25, 2025

Denver , CO , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

56
Total Citations
View Citations
734
Total Downloads

Downloads (Last 12 months)85
Downloads (Last 6 weeks)9

Reflects downloads up to 06 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Flatt MAllred TAngle NDe Gabrielle SFindler RFirth JGopinathan KGreenman BKasivajhula SKnauth AMcCarthy JPhillips SPorncharoenwase SSøgaard JTobin-Hochstadt S(2023)Rhombus: A New Spin on Macros without All the ParenthesesProceedings of the ACM on Programming Languages10.1145/36228187:OOPSLA2(574-603)Online publication date: 16-Oct-2023
https://dl.acm.org/doi/10.1145/3622818
Li JAppel A(2021)Deriving efficient program transformations from rewrite rulesProceedings of the ACM on Programming Languages10.1145/34735795:ICFP(1-29)Online publication date: 19-Aug-2021
https://dl.acm.org/doi/10.1145/3473579
Lakhani ZMiller HGill PIyengar J(2019)Checking-in on network functionsProceedings of the 2019 Applied Networking Research Workshop10.1145/3340301.3341131(69-76)Online publication date: 22-Jul-2019
https://dl.acm.org/doi/10.1145/3340301.3341131
Felleisen MFindler RFlatt MKrishnamurthi SBarzilay EMcCarthy JTobin-Hochstadt S(2018)A programmable programming languageCommunications of the ACM10.1145/312732361:3(62-71)Online publication date: 21-Feb-2018
https://dl.acm.org/doi/10.1145/3127323
Andersen LChang SFelleisen M(2017)Super 8 languages for making movies (functional pearl)Proceedings of the ACM on Programming Languages10.1145/31102741:ICFP(1-29)Online publication date: 29-Aug-2017
https://dl.acm.org/doi/10.1145/3110274
Liu SChen KHsieh YChen BWang HYen HHsu W(2017)A Position-Aware Language Modeling Framework for Extractive Broadcast News Speech SummarizationACM Transactions on Asian and Low-Resource Language Information Processing10.1145/309947216:4(1-13)Online publication date: 16-Aug-2017
https://dl.acm.org/doi/10.1145/3099472
Pirk SKrs VHu KRajasekaran SKang HYoshiyasu YBenes BGuibas L(2017)Understanding and Exploiting Object Interaction LandscapesACM Transactions on Graphics10.1145/308372536:3(1-14)Online publication date: 27-Jun-2017
https://dl.acm.org/doi/10.1145/3083725
Liu LHodgins J(2017)Learning to Schedule Control Fragments for Physics-Based Characters Using Deep Q-LearningACM Transactions on Graphics10.1145/308372336:3(1-14)Online publication date: 27-Jun-2017
https://dl.acm.org/doi/10.1145/3083723
Schuster CDisney TFlanagan C(2016)MacroficationProceedings of the 25th European Symposium on Programming Languages and Systems - Volume 963210.5555/3089528.3089553(644-671)Online publication date: 2-Apr-2016
https://dl.acm.org/doi/10.5555/3089528.3089553
Chang CSrirama SBuyya R(2016)Mobile Cloud Business Process Management System for the Internet of ThingsACM Computing Surveys10.1145/301200049:4(1-42)Online publication date: 20-Dec-2016
https://dl.acm.org/doi/10.1145/3012000
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.

Cited By

Index Terms

Recommendations

A formal methodology for deriving purely functional programs from Z specifications via the intermediate specification language funz

Deriving Formal Specifications from Informal Requirements

The Java syntactic extender (JSE)

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Other Metrics

Article Metrics

Other Metrics

Cited By

PDF

eReader

Login options

Full Access

Abstract

References

Cited By

Index Terms

Recommendations

A formal methodology for deriving purely functional programs from Z specifications via the intermediate specification language funz

Deriving Formal Specifications from Informal Requirements

The Java syntactic extender (JSE)

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

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