invited-talk

Desugaring in Practice: Opportunities and Challenges

Author:

Shriram KrishnamurthiAuthors Info & Claims

PEPM '15: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation

Pages 1 - 2

https://doi.org/10.1145/2678015.2678016

Published: 13 January 2015 Publication History

Get Access

Abstract

Desugaring, a key form of program manipulation, is a vital tool in the practical study of programming languages. Its use enables pragmatic solutions to the messy problems of dealing with real languages, but it also introduces problems that need addressing. By listing some of these challenges, this paper and talk aim to serve as a call to arms to the community to give the topic more attention.

References

[1]

M. Flatt and PLT. Reference: Racket. Technical Report PLT-TR2010--1, PLT Inc., June 2010. http://racket-lang.org/tr1/.

Google Scholar

[2]

J. G. Politz, M. Carroll, B. S. Lerner, J. Pombrio, and S. Krishnamurthi. A tested semantics for Getters, Setters, and Eval in JavaScript. In Dynamic Languages Symposium, 2012.

Digital Library

Google Scholar

Cited By

View all

Chen QZhang NWang JTan TXu CMa XLi Y(2023)The Essence of Verilog: A Tractable and Tested Operational Semantics for VerilogProceedings of the ACM on Programming Languages10.1145/36228057:OOPSLA2(234-263)Online publication date: 16-Oct-2023
https://dl.acm.org/doi/10.1145/3622805
Morazán MReams LOlson NDzhatdoyev S(2018)Memoized Flat Closures for CPSTrends in Functional Programming10.1007/978-3-319-89719-6_1(1-18)Online publication date: 19-Apr-2018
https://doi.org/10.1007/978-3-319-89719-6_1
Zaytsev VChurch LGabriel RHirschfeld RMasuhara H(2017)Open challenges in incremental coverage of legacy software languagesProceedings of the 3rd ACM SIGPLAN International Workshop on Programming Experience10.1145/3167105(1-6)Online publication date: 22-Oct-2017
https://dl.acm.org/doi/10.1145/3167105

Index Terms

Desugaring in Practice: Opportunities and Challenges
1. Software and its engineering
  1. Software notations and tools
    1. Compilers

Recommendations

Modeling with monads: extensible modeling semantics as syntactic sugar
EOOLT '16: Proceedings of the 7th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools

We present an extensible implementation of Modelica-style modeling semantics. Modeling features are implemented using an intuitive encoding as an extensible state monad. Monadic computation naturally yields model composition and interpretation. This in ...
Hygienic resugaring of compositional desugaring
ICFP 2015: Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming

Syntactic sugar is widely used in language implementation. Its benefits are, however, offset by the comprehension problems it presents to programmers once their program has been transformed. In particular, after a transformed program has begun to ...
Hygienic resugaring of compositional desugaring
ICFP '15

Syntactic sugar is widely used in language implementation. Its benefits are, however, offset by the comprehension problems it presents to programmers once their program has been transformed. In particular, after a transformed program has begun to ...

Comments

Information & Contributors

Information

Published In

PEPM '15: Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation

January 2015

152 pages

ISBN:9781450332972

DOI:10.1145/2678015

Program Chairs:
Kenichi Asai
Ochanomizu University, Japan
,
Kostis Sagonas
Uppsala University, Sweden / NTUA, Greece

Permission to make digital or hard copies of part or all 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 third-party components of this work must be honored. For all other uses, contact the Owner/Author.

In-Cooperation

SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 January 2015

Check for updates

Author Tags

Qualifiers

Invited-talk

Conference

POPL '15

Sponsor:

SIGPLAN

POPL '15: The 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

January 13 - 14, 2015

Mumbai, India

Acceptance Rates

PEPM '15 Paper Acceptance Rate 14 of 27 submissions, 52%;

Overall Acceptance Rate 66 of 120 submissions, 55%

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
101
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 02 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Chen QZhang NWang JTan TXu CMa XLi Y(2023)The Essence of Verilog: A Tractable and Tested Operational Semantics for VerilogProceedings of the ACM on Programming Languages10.1145/36228057:OOPSLA2(234-263)Online publication date: 16-Oct-2023
https://dl.acm.org/doi/10.1145/3622805
Morazán MReams LOlson NDzhatdoyev S(2018)Memoized Flat Closures for CPSTrends in Functional Programming10.1007/978-3-319-89719-6_1(1-18)Online publication date: 19-Apr-2018
https://doi.org/10.1007/978-3-319-89719-6_1
Zaytsev VChurch LGabriel RHirschfeld RMasuhara H(2017)Open challenges in incremental coverage of legacy software languagesProceedings of the 3rd ACM SIGPLAN International Workshop on Programming Experience10.1145/3167105(1-6)Online publication date: 22-Oct-2017
https://dl.acm.org/doi/10.1145/3167105

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Modeling with monads: extensible modeling semantics as syntactic sugar

Hygienic resugaring of compositional desugaring

Hygienic resugaring of compositional desugaring

Comments

Information

Published In

Sponsors

In-Cooperation

Publisher

Publication History

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations