Article

Free access

Operational semantics of rewriting with the on-demand evaluation strategy

Authors:

Kazuhiro Ogata,

Kockichi FutatsugiAuthors Info & Claims

SAC '00: Proceedings of the 2000 ACM symposium on Applied computing - Volume 2

Pages 756 - 763

https://doi.org/10.1145/338407.338558

Published: 01 March 2000 Publication History

PDF eReader

References

[1]

Baader, F. and Nipkow, T.: Term Rewriting and All That. Cambridge University Press. 1998

Digital Library

Google Scholar

[2]

CafeOBJ home page: http://caraway.jaist.ac.jp/cafeobj

Google Scholar

[3]

Clavel, M., Eker, S., Lincoln, P. and Meseguer, J.: Principles of Maude. Proc. of the First Int'l. Workshop on Rewriting Logic and its Applications. ENTCS 4 Elsevier. (1996) 65-89

Google Scholar

[4]

Futatsugi, K., Ooguen, J.A., Jouannaud, J.P. and Meseguer, J.: Principles of OBJ2. Conf. Record of the Twelfth Annual ACM Sympo. on Princ. of Prog. Lang. (1985) 52-66

Digital Library

Google Scholar

[5]

GAEA home page: http://cape.etl.go.jp/gaea

Google Scholar

[6]

Goguen, J.A., Winkler, T., Mese~er, J., Futatsugi, K. and Jouannaud, J.P.: Introducing OBJ. Technical Report SRI-CSL-92-03. SILl International. 1992

Crossref

Google Scholar

[7]

Goguen, J.A. and Malcolm, G.: Algebraic Semantics of imperative Pro~rams. Foundations of Computer Series. (Eds. M. Garey and A. Meyer) The MIT Press. 1996

Digital Library

Google Scholar

[8]

Ishikawa, H., Meseguer, J., Watanabe, T., Futatsugi, K. and Na~qhima, H.: On the semantics of GAEA. Proc. of JSSST 3rd Fuji int'l Sympo. on Functional and Logic Programming. (1998) 123-141

Google Scholar

[9]

Kamperman, J. F. Th. and Waiters, H.R.: Lazy Rewriting and Eager Machinery. Proc. of the Int'l. Conf. on Rewriting Techniques and Applications. LNCS 914 Springer-Verlag. (1995) 147-162

Digital Library

Google Scholar

[10]

Koopman, P.W.M., Smetsers, .I.E.W., van Eekelen, M. C. J.D. and Piasmeijer, M.J.: Graph Rewriting Using the Annotated Functional Strategy. In Term Graph Rewriting: Theory and Practice (Eds. R. Sleep, tL Plasmeijer and M. van Eekelen). John Wiley & Sons Ltd. (1993) 317-332

Digital Library

Google Scholar

[11]

Meseguer, S.: Conditional Rewriting Logic as a Unified Model of Concurrency. Theor. Comp. $ci. 96 (1) Elsevier. (1992) 73-I55

Digital Library

Google Scholar

Cited By

View all

Lucas S(2021)Applications and extensions of context-sensitive rewritingJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2021.100680121(100680)Online publication date: Jun-2021
https://doi.org/10.1016/j.jlamp.2021.100680
Daudier DNgoc Quoc Bao TOgata K(2018)A Proof Score Approach to Formal Verification of an Imperative Programming Language CompilerStructured Object-Oriented Formal Language and Method10.1007/978-3-319-90104-6_13(200-217)Online publication date: 18-Apr-2018
https://doi.org/10.1007/978-3-319-90104-6_13
Alpuente MEscobar SGramlich BLucas S(2010)On-demand strategy annotations revisitedTheoretical Computer Science10.1016/j.tcs.2009.09.016411:2(504-541)Online publication date: 1-Jan-2010
https://dl.acm.org/doi/10.1016/j.tcs.2009.09.016
Show More Cited By

Index Terms

Operational semantics of rewriting with the on-demand evaluation strategy
1. Theory of computation
  1. Formal languages and automata theory
    1. Formalisms
      1. Algebraic language theory
      2. Rewrite systems
  2. Semantics and reasoning
    1. Program semantics
      1. Operational semantics

Recommendations

An operational semantics for ZCCS
ICFEM '97: Proceedings of the 1st International Conference on Formal Engineering Methods

G. Bruns (1995) has proposed a version of value-passing CCS in which an agent language, based on that proposed by Milner, is augmented with a rich data language. The data language can be used to describe sets, tuples and sequences etc. constructed from ...
Trace-Based Abstract Interpretation of Operational Semantics

We present trace-based abstract interpretation, a unification of several lines of research on applying Cousot-Cousot-style abstract interpretation a.i. to operational semantics definitions (such as flowchart, big-step, and small-step semantics) that ...
Linking denotational semantics with operational semantics for web services

Web Services have become more and more important in these years, and BPEL4WS (BPEL) is a de facto standard for the web service composition and orchestration. It contains several distinct features, including the scope-based compensation and fault ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

SAC '00: Proceedings of the 2000 ACM symposium on Applied computing - Volume 2

March 2000

1027 pages

ISBN:1581132409

DOI:10.1145/338407

Chairman:
Barrett Bryant
Univ. of Alabama-Birmingham, Birmingham
,
Editors:
Janice Carroll
Rogers State Univ.
,
Ernesto Daminani
Univ. di Milano, Crema, Italy
,
Hisham Haddad
Marshall Univ., Huntington, WV
,
Dave Oppenheim

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 March 2000

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

SAC00

Sponsor:

SIGAPP

SAC00: 2000 Symposium on Applied Computing

Como, Italy

Acceptance Rates

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25

Sponsor:
sigapp

The 40th ACM/SIGAPP Symposium on Applied Computing

March 31 - April 4, 2025

Catania , Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

13
Total Citations
View Citations
275
Total Downloads

Downloads (Last 12 months)50
Downloads (Last 6 weeks)2

Reflects downloads up to 21 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Lucas S(2021)Applications and extensions of context-sensitive rewritingJournal of Logical and Algebraic Methods in Programming10.1016/j.jlamp.2021.100680121(100680)Online publication date: Jun-2021
https://doi.org/10.1016/j.jlamp.2021.100680
Daudier DNgoc Quoc Bao TOgata K(2018)A Proof Score Approach to Formal Verification of an Imperative Programming Language CompilerStructured Object-Oriented Formal Language and Method10.1007/978-3-319-90104-6_13(200-217)Online publication date: 18-Apr-2018
https://doi.org/10.1007/978-3-319-90104-6_13
Alpuente MEscobar SGramlich BLucas S(2010)On-demand strategy annotations revisitedTheoretical Computer Science10.1016/j.tcs.2009.09.016411:2(504-541)Online publication date: 1-Jan-2010
https://dl.acm.org/doi/10.1016/j.tcs.2009.09.016
NAKAMURA MOGATA KFUTATSUGI K(2009)User-Defined On-Demand MatchingIEICE Transactions on Information and Systems10.1587/transinf.E92.D.1401E92-D:7(1401-1411)Online publication date: 2009
https://doi.org/10.1587/transinf.E92.D.1401
Durán FEscobar SLucas S(2005)On-demand Evaluation for MaudeElectronic Notes in Theoretical Computer Science (ENTCS)10.1016/j.entcs.2004.07.013124:1(25-39)Online publication date: 2-Mar-2005
https://dl.acm.org/doi/10.1016/j.entcs.2004.07.013
Alpuente MEscobar SLucas S(2003)On-demand Evaluation by Program Transformation1 1Work partially supported by CICYT TIC2001-2705-C03-01 and MCYT grants HA2001-0059 and HU2001-0019.Electronic Notes in Theoretical Computer Science10.1016/S1571-0661(04)80678-986:2(92-118)Online publication date: Sep-2003
https://doi.org/10.1016/S1571-0661(04)80678-9
Alpuente MEscobar SLucas S(2003)OnDemandOBJElectronic Notes in Theoretical Computer Science10.1016/S1571-0661(04)80673-X86:2(1-27)Online publication date: Sep-2003
https://doi.org/10.1016/S1571-0661(04)80673-X
Lucas S(2002)Lazy Rewriting and Context-Sensitive RewritingElectronic Notes in Theoretical Computer Science10.1016/S1571-0661(04)80353-064(234-254)Online publication date: Sep-2002
https://doi.org/10.1016/S1571-0661(04)80353-0
Alpuente MEscobar SGramlich BLucas S(2002)Improving On-Demand Strategy AnnotationsLogic for Programming, Artificial Intelligence, and Reasoning10.1007/3-540-36078-6_1(1-18)Online publication date: 24-Oct-2002
https://doi.org/10.1007/3-540-36078-6_1
Lucas SDe Nicola RSøndergaard H(2001)Termination of on-demand rewriting and termination of OBJ programsProceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming10.1145/773184.773194(82-93)Online publication date: 5-Sep-2001
https://dl.acm.org/doi/10.1145/773184.773194
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

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

An operational semantics for ZCCS

Trace-Based Abstract Interpretation of Operational Semantics

Linking denotational semantics with operational semantics for web services