article

Duplication and partial evaluation: for a better understanding of reflective languages

Authors:

Kenichi Asai,

Satoshi Matsuoka,

Akinori YonezawaAuthors Info & Claims

Lisp and Symbolic Computation, Volume 9, Issue 2-3

Pages 203 - 241

https://doi.org/10.1007/BF01806113

Published: 01 May 1996 Publication History

Abstract

No abstract available.

Cited By

View all

Hammer MChang BVan Horn D(2016)A vision for online verification-validationACM SIGPLAN Notices10.1145/3093335.299325552:3(190-201)Online publication date: 20-Oct-2016
https://dl.acm.org/doi/10.1145/3093335.2993255
Hammer MChang BVan Horn DFischer BSchaefer I(2016)A vision for online verification-validationProceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences10.1145/2993236.2993255(190-201)Online publication date: 20-Oct-2016
https://dl.acm.org/doi/10.1145/2993236.2993255
Asai K(2014)Compiling a reflective language using MetaOCamlACM SIGPLAN Notices10.1145/2775053.265877550:3(113-122)Online publication date: 15-Sep-2014
https://dl.acm.org/doi/10.1145/2775053.2658775
Show More Cited By

Recommendations

Compiling a reflective language using MetaOCaml
GPCE 2014: Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences

A reflective language makes the language semantics open to user programs and allows them to access, extend, and modify it from within the same language framework. Because of its high flexibility and expressiveness, it can be an ideal platform for ...
Compiling a reflective language using MetaOCaml
GPCE '14

A reflective language makes the language semantics open to user programs and allows them to access, extend, and modify it from within the same language framework. Because of its high flexibility and expressiveness, it can be an ideal platform for ...
Reflection in direct style
GCPE '11

A reflective language enables us to access, inspect, and/or modify the language semantics from within the same language framework. Although the degree of semantics exposure differs from one language to another, the most powerful approach, referred to as ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Publisher

Kluwer Academic Publishers

United States

Publication History

Published: 01 May 1996

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

15
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 22 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Hammer MChang BVan Horn D(2016)A vision for online verification-validationACM SIGPLAN Notices10.1145/3093335.299325552:3(190-201)Online publication date: 20-Oct-2016
https://dl.acm.org/doi/10.1145/3093335.2993255
Hammer MChang BVan Horn DFischer BSchaefer I(2016)A vision for online verification-validationProceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences10.1145/2993236.2993255(190-201)Online publication date: 20-Oct-2016
https://dl.acm.org/doi/10.1145/2993236.2993255
Asai K(2014)Compiling a reflective language using MetaOCamlACM SIGPLAN Notices10.1145/2775053.265877550:3(113-122)Online publication date: 15-Sep-2014
https://dl.acm.org/doi/10.1145/2775053.2658775
Asai KSchultz UFlatt M(2014)Compiling a reflective language using MetaOCamlProceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences10.1145/2658761.2658775(113-122)Online publication date: 15-Sep-2014
https://dl.acm.org/doi/10.1145/2658761.2658775
Asai K(2011)Reflection in direct styleACM SIGPLAN Notices10.1145/2189751.204788247:3(97-106)Online publication date: 22-Oct-2011
https://dl.acm.org/doi/10.1145/2189751.2047882
Asai KDenney ESchultz U(2011)Reflection in direct styleProceedings of the 10th ACM international conference on Generative programming and component engineering10.1145/2047862.2047882(97-106)Online publication date: 22-Oct-2011
https://dl.acm.org/doi/10.1145/2047862.2047882
Masuhara HKiczales GDutchyn C(2003)A compilation and optimization model for aspect-oriented programsProceedings of the 12th international conference on Compiler construction10.5555/1765931.1765937(46-60)Online publication date: 7-Apr-2003
https://dl.acm.org/doi/10.5555/1765931.1765937
Asai K(2002)Online partial evaluation for shift and resetACM SIGPLAN Notices10.1145/509799.50303437:3(19-30)Online publication date: 14-Jan-2002
https://dl.acm.org/doi/10.1145/509799.503034
Asai KThiemann P(2002)Online partial evaluation for shift and resetProceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation10.1145/503032.503034(19-30)Online publication date: 14-Jan-2002
https://dl.acm.org/doi/10.1145/503032.503034
Asai K(2001)Integrating partial evaluators into interpretersProceedings of the 2nd international conference on Semantics, applications, and implementation of program generation10.5555/1792034.1792044(126-145)Online publication date: 6-Sep-2001
https://dl.acm.org/doi/10.5555/1792034.1792044
Show More Cited By

View Options

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

Compiling a reflective language using MetaOCaml

Compiling a reflective language using MetaOCaml

Reflection in direct style

Comments

Published In

Publisher

Publication History

Author Tags

Qualifiers

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

Abstract

Cited By

Index Terms

Recommendations

Compiling a reflective language using MetaOCaml

Compiling a reflective language using MetaOCaml

Reflection in direct style

Comments

Information

Published In

Publisher

Publication History

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations