article

Free access

Equations as a uniform framework for partial evaluation and abstract interpretation

Authors:

J. Field,

J. Heering,

T. B. DineshAuthors Info & Claims

ACM Computing Surveys (CSUR), Volume 30, Issue 3es

Pages 2 - es

https://doi.org/10.1145/289121.289123

Published: 01 September 1998 Publication History

PDF eReader

References

[1]

BERGSTRA, J. A., DINESH, T. B., FIELD, J., AND HEERING, J. 1997. Toward a complete transformational toolkit for compilers. A CM Trans. Program. Lang. Syst. 19, 5 (September), 639-684.

Digital Library

Google Scholar

[2]

BOROVANSKY, P., KIRCHNER, C., KIRCHNER, H., MOREAU, P.-E., AND VITTEK, M. 1996. ELAN: A logical framework based on computational systems. In J. MESEGUER Ed., Proceedings o} the First International Workshop on Rewriting Logic, Volume 4 (Asilomar (California), September 1996). Electronic Notes in Theoretical Computer Science.

Google Scholar

[3]

COUSOT, P. AND COUSOT, R. 1992. Abstract interpretation and application to logic programs. J. Logic Program. 13, 103-179.

Digital Library

Google Scholar

[4]

DERSHOWlTZ, N. AND JOUANNAUD, J.-P. 1990. Rewrite systems. In J. VAN LEEUWEN Ed., Handbook o} Theoretical Computer Science, Vol. B, Formal Models and Semantics, pp. 243-320. Elsevier/The MIT Press.

Digital Library

Google Scholar

[5]

DIDRICH, K., FETT, A., GERKE, C., GRIESKAMP, W., AND PEPPER, P. 1994. OPAL: Design and implementation of an algebraic programming language. In J. GUTKNECHT Ed., International Conference on Programming Languages and System Architectures, Volume 782 of Lecture Notes in Computer Science (1994), pp. 228-244. Springer-Verlag.

Digital Library

Google Scholar

[6]

DINESH, T.B. 1996. A kernel object-oriented language. In A. VAN DEURSEN, J. HEERING, AND P. KLINT Eds., Language Prototyping: An Algebraic Specification Approach, AMAST Series in Computing, Chapter 3, pp. 53-84. World Scientific.

Google Scholar

[7]

FIELD, J. 1992. A simple rewriting semantics for realistic imperative programs and its application to program analysis. In Proceedings o} the A CM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (San Francisco, June 1992), pp. 98-107. Published as Yale University Technical Report YALEU/DCS/RR-909.

Google Scholar

[8]

FIELD, J. AND TIP, F. 1994. Dynamic dependence in term rewriting systems and its application to program slicing. In M. HERMENEGILDO AND J. PENJAM Eds., Proceedings o} the Sixth International Symposium on Programming Language Implementation and Logic Programming, Volume 844 (September 1994), pp. 415-431. Springer-Verlag.

Digital Library

Google Scholar

[9]

HARTEL, P. U. ET AL. 1996. Benchmarking implementations of functional languages with 'Pseudoknot', a float-intensive benchmark. J. Funct. Program. 6, 621-655.

Crossref

Google Scholar

[10]

HEERING, J. 1986. Partial evaluation and w-completeness of algebraic specifications. Theoret. Comput. Sci. 43, 149-167.

Digital Library

Google Scholar

[11]

HENNICKER, R. 1991. Context induction: A proof principle for behavioural abstractions and algebraic implementations. Formal Aspects o} Computing 3, 326-345.

Google Scholar

[12]

HOARE, C. A. R., HAYES, I. J., JIFENG, H., MORGAN, C. C., RoscoE, A. W., SANDERS, J. W., SORENSEN, I. H., SPIVEY, J. M., AND SUFRIN, B. A. 1987. Laws of programming. Commun. ACM 30, 8 (August), 672-686. Corrigenda, ibid., p. 770.

Digital Library

Google Scholar

[13]

JONES, N. D., GOMARD, C. K., AND SESTOFT, P. 1993. Partial Evaluation and Automatic Program Generation. Prentice-Hall.

Digital Library

Google Scholar

[14]

KENNAWAY, J. R., KLOP, J. W., SLEEP, M. R., AND DE VRIES, F.J. 1994. On the adequacy of graph rewriting for simulating term rewriting. A CM Trans. Program. Lang. Syst. 16, 3, 493-523.

Digital Library

Google Scholar

[15]

MESEGUER, J. AND GOGUEN, J.A. 1985. Initiality, induction and computability. In M. NIVAT AND J. C. REYNOLDS Eds., Algebraic Methods in Semantics, pp. 459-541. Cambridge University Press.

Digital Library

Google Scholar

[16]

MUCHNICK, S. S. AND JONES, N. D. Eds. 1981. Program Flow Analysis: Theory and Applications. Prentice-Hall.

Digital Library

Google Scholar

[17]

VAN DEN BRAND, M. C. J. AND OLIVIER, P. 1998. An ASF+SDF to C compiler. Technical report, CWI/University of Amsterdam. In preparation.

Google Scholar

[18]

WIRSING, M. 1990. Algebraic specification. In J. VAN LEEUWEN Ed., Handbook of Theoretical Computer Science, Vol. B, Formal Models and Semantics, pp. 675-788. Elsevier/The MIT Press.

Digital Library

Google Scholar

Cited By

View all

Visser E(2019)A survey of strategies in rule-based program transformation systemsJournal of Symbolic Computation10.1016/j.jsc.2004.12.01140:1(831-873)Online publication date: 3-Jan-2019
https://dl.acm.org/doi/10.1016/j.jsc.2004.12.011
Christensen H(2018)The Ragnarok software development environmentNordic Journal of Computing10.5555/643348.6433506:1(4-21)Online publication date: 21-Dec-2018
https://dl.acm.org/doi/10.5555/643348.643350
Ponsini OFédèle CKounalis E(2018)Rewriting of imperative programs into logical equationsScience of Computer Programming10.1016/j.scico.2004.10.00156:3(363-401)Online publication date: 31-Dec-2018
https://dl.acm.org/doi/10.1016/j.scico.2004.10.001
Show More Cited By

Index Terms

Equations as a uniform framework for partial evaluation and abstract interpretation
1. Software and its engineering
  1. Software notations and tools
    1. Compilers
      1. Source code generation
2. Theory of computation
  1. Formal languages and automata theory
    1. Formalisms
      1. Algebraic language theory
  2. Semantics and reasoning
    1. Program semantics
      1. Algebraic semantics

Recommendations

Model Predictive Control for Partial Differential Equations
Umfeldmodellierung Und Maschinenlernende Interpretation Mit 79-Ghz-Automobilradaren
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 ...

Comments

Information & Contributors

Information

Published In

ACM Computing Surveys Volume 30, Issue 3es

Special issue: electronic supplement to the September 1998 issue

Sept. 1998

141 pages

ISSN:0360-0300

EISSN:1557-7341

DOI:10.1145/289121

Editor:
Peter Wegner
Brown Univ., Providence, RI

Issue’s Table of Contents

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 September 1998

Published in CSUR Volume 30, Issue 3es

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
576
Total Downloads

Downloads (Last 12 months)37
Downloads (Last 6 weeks)18

Reflects downloads up to 30 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Visser E(2019)A survey of strategies in rule-based program transformation systemsJournal of Symbolic Computation10.1016/j.jsc.2004.12.01140:1(831-873)Online publication date: 3-Jan-2019
https://dl.acm.org/doi/10.1016/j.jsc.2004.12.011
Christensen H(2018)The Ragnarok software development environmentNordic Journal of Computing10.5555/643348.6433506:1(4-21)Online publication date: 21-Dec-2018
https://dl.acm.org/doi/10.5555/643348.643350
Ponsini OFédèle CKounalis E(2018)Rewriting of imperative programs into logical equationsScience of Computer Programming10.1016/j.scico.2004.10.00156:3(363-401)Online publication date: 31-Dec-2018
https://dl.acm.org/doi/10.1016/j.scico.2004.10.001
Ponsini OFédèle C(2006)Towards verification of SubCprograms with side effectsProceedings of the 10th WSEAS international conference on Computers10.5555/1981848.1982006(860-865)Online publication date: 13-Jul-2006
https://dl.acm.org/doi/10.5555/1981848.1982006

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.

References

Cited By

Index Terms

Recommendations

Model Predictive Control for Partial Differential Equations

Umfeldmodellierung Und Maschinenlernende Interpretation Mit 79-Ghz-Automobilradaren

Partial differential equations associated with certain non-linear algorithms

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

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