Article

Towards Unifying Partial Evaluation, Deforestation, Supercompilation, and GPC

Authors:

Morten Heine Sørensen,

Robert Glück, and

Neil D. JonesAuthors Info & Claims

ESOP '94: Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems

April 1994

Pages 485 - 500

Published: 11 April 1994 Publication History

Abstract

No abstract available.

Cited By

View all

Kiselyov OBiboudis APalladinos NSmaragdakis Y(2017)Stream fusion, to completenessACM SIGPLAN Notices10.1145/3093333.300988052:1(285-299)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1145/3093333.3009880
Kiselyov OBiboudis APalladinos NSmaragdakis YCastagna GGordon A(2017)Stream fusion, to completenessProceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages10.1145/3009837.3009880(285-299)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1145/3009837.3009880
Bolingbroke MPeyton Jones S(2010)Supercompilation by evaluationACM SIGPLAN Notices10.1145/2088456.186354045:11(135-146)Online publication date: 30-Sep-2010
https://dl.acm.org/doi/10.1145/2088456.1863540
Show More Cited By

Recommendations

Model Predictive Control for Partial Differential Equations
Read More
Towards Automatic Face Recognition in Unconstrained Scenarios / Zur automatischen Gesichtserkennung in unkontrollierten Bedingungen
Read More
Partial differential equations associated with certain non-linear algorithms
Zusammenfassung
In der letzten Zeit sind eine Anzahl nicht-linearer Algorithmen untersucht worden, die in der Analysis und numerischen Mathematik von besonderer Wichtigkeit sind.

Diese Algorithmen betreffen Grössen, die in einem zweidimensionalen Schema ...
Read More

Comments

Information & Contributors

Information

Published In

ESOP '94: Proceedings of the 5th European Symposium on Programming: Programming Languages and Systems

April 1994

516 pages

ISBN:3540578803

Editor:
Donald Sannella

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 11 April 1994

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

19
Total Citations
View Citations
0
Total Downloads

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

Other Metrics

View Author Metrics

Citations

Cited By

View all

Kiselyov OBiboudis APalladinos NSmaragdakis Y(2017)Stream fusion, to completenessACM SIGPLAN Notices10.1145/3093333.300988052:1(285-299)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1145/3093333.3009880
Kiselyov OBiboudis APalladinos NSmaragdakis YCastagna GGordon A(2017)Stream fusion, to completenessProceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages10.1145/3009837.3009880(285-299)Online publication date: 1-Jan-2017
https://dl.acm.org/doi/10.1145/3009837.3009880
Bolingbroke MPeyton Jones S(2010)Supercompilation by evaluationACM SIGPLAN Notices10.1145/2088456.186354045:11(135-146)Online publication date: 30-Sep-2010
https://dl.acm.org/doi/10.1145/2088456.1863540
Bolingbroke MPeyton Jones SGibbons J(2010)Supercompilation by evaluationProceedings of the third ACM Haskell symposium on Haskell10.1145/1863523.1863540(135-146)Online publication date: 30-Sep-2010
https://dl.acm.org/doi/10.1145/1863523.1863540
Jonsson PNordlander J(2009)Positive supercompilation for a higher order call-by-value languageACM SIGPLAN Notices10.1145/1594834.148091644:1(277-288)Online publication date: 21-Jan-2009
https://dl.acm.org/doi/10.1145/1594834.1480916
Jonsson PNordlander JShao ZPierce B(2009)Positive supercompilation for a higher order call-by-value languageProceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/1480881.1480916(277-288)Online publication date: 21-Jan-2009
https://dl.acm.org/doi/10.1145/1480881.1480916
Leuschel M(2004)A framework for the integration of partial evaluation and abstract interpretation of logic programsACM Transactions on Programming Languages and Systems10.1145/982158.98215926:3(413-463)Online publication date: 1-May-2004
https://dl.acm.org/doi/10.1145/982158.982159
Ager MDanvy ORohde H(2003)Fast partial evaluation of pattern matching in stringsACM SIGPLAN Notices10.1145/966049.77739038:10(3-9)Online publication date: 7-Jun-2003
https://dl.acm.org/doi/10.1145/966049.777390
Ager MDanvy ORohde HLeuschel M(2003)Fast partial evaluation of pattern matching in stringsProceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation10.1145/777388.777390(3-9)Online publication date: 7-Jun-2003
https://dl.acm.org/doi/10.1145/777388.777390
Amtoft TConsel CDanvy OMalmkjær K(2002)The abstraction and instantiation of string-matching programsThe essence of computation10.5555/860256.860272(332-357)Online publication date: 1-Jan-2002
https://dl.acm.org/doi/10.5555/860256.860272
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.

Abstract

Cited By

Recommendations

Model Predictive Control for Partial Differential Equations

Towards Automatic Face Recognition in Unconstrained Scenarios / Zur automatischen Gesichtserkennung in unkontrollierten Bedingungen

Partial differential equations associated with certain non-linear algorithms

Comments

Information

Published In

Publisher

Publication History

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