W. Fokkink and C. Verhoef. An SOS Message: Conservative Extension in Higher Order Positive/Negative Conditional Term Rewriting. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Two Recursive Generalizations of Iteration in Process Algebra - Bergstra (1998) (Correct)
....of Iteration in Process Algebra Jan A. Bergstra Alban Ponse J.A. Bergstra Programming Research Group Department of Computer Science University of Amsterdam Kruislaan 403 NL 1098 SJ Amsterdam The Netherlands tel. 31 20 525 7591 e mail: janb wins.uva.nl Department of Philosophy Utrecht University P.O.Box 80126 NL 3508 TC Utrecht The Netherlands tel. 31 30 253 5579 e mail: Jan.Bergstra phil.uu.nl A. Ponse Programming Research Group Department of Computer Science University of Amsterdam Kruislaan 403 NL 1098 SJ Amsterdam The Netherlands tel. 31 20 525 7592 e mail: alban wins.uva.nl Universiteit van ....
....3.3. 1: A counter (a(a c can be defined in ACP ; fl) if jA n Aj = 5. 2: With seven additional actions, a half counter ( s c can be specified in ACP ; fl) Proof. As for 1: let A n A = ftg [ fr i ; s i j i = 0; 1g and consider (a(a b) z)s1 c abbreviated by P (r1 Delta P ) r0 abbreviated by Q (r1 Delta s1 ) s0 abbreviated by R: Then it follows with RSP that (a(a c = ftg ffi fr i ;s i ji=0;1g (P Delta Q k R) As for 2: let A n A = ftg [ fr i ; s i j i = 0; 1; 2g and consider m)z Delta s1 c Delta s0 abbreviated by S (r1 Delta S s2 Delta r2) ....
[Article contains additional citation context not shown here]
W. Fokkink and C. Verhoef. An SOS Message: Conservative Extension in Higher Order Positive/Negative Conditional Term Rewriting.
A specification of Box to HTML in ASF+SDF - van der Graaf (1997) (1 citation) (Correct)
.... of Amsterdam Programming Research Group index.html Layout.html Bool.html Strings.html Int.html A specification of Box to HTML in ASF SDF Maarten van der Graaf Report P9720 november 1997 University of Amsterdam Department of Computer Science Programming Research Group A specification of box to html in asf sdf Maarten van der Graaf Report P9720 november 1997 M. van der Graaf Programming Research Group Department of Computer Science University of Amsterdam ....
.... Layout.html Bool.html Strings.html Int.html A specification of Box to HTML in ASF SDF Maarten van der Graaf Report P9720 november 1997 University of Amsterdam Department of Computer Science Programming Research Group A specification of box to html in asf sdf Maarten van der Graaf Report P9720 november 1997 M. van der Graaf Programming Research Group Department of Computer Science University of Amsterdam Kruislaan 403 NL 1098 SJ Amsterdam The Netherlands tel. 31 20 525 7586 e mail: graaf wins.uva.nl Universiteit van Amsterdam, 1997 A specification of Box to HTML in ASF SDF ....
[Article contains additional citation context not shown here]
W. Fokkink and C. Verhoef. An SOS Message: Conservative Extension in Higher Order Positive/Negative Conditional Term Rewriting.
Annotated Algebraic Specification of the Syntax and Semantics.. - Brunekreef (1998) (2 citations) (Correct)
.... of Amsterdam Programming Research Group Annotated Algebraic Specification of the Syntax and Semantics of the Programming Language Alma 0 Jacob Brunekreef Report P9803 april 1998 University of Amsterdam Department of Computer Science Programming Research Group Annotated Algebraic Specification of the Syntax and Semantics of the Programming Language Alma 0 Jacob Brunekreef Report P9803 april 1998 J.J. Brunekreef Programming Research Group Department of ....
.... Syntax and Semantics of the Programming Language Alma 0 Jacob Brunekreef Report P9803 april 1998 University of Amsterdam Department of Computer Science Programming Research Group Annotated Algebraic Specification of the Syntax and Semantics of the Programming Language Alma 0 Jacob Brunekreef Report P9803 april 1998 J.J. Brunekreef Programming Research Group Department of Computer Science University of Amsterdam Kruislaan 403 NL 1098 SJ Amsterdam The Netherlands tel. 31 20 525 7588 e mail: jacob wins.uva.nl Universiteit van Amsterdam, 1998 Annotated algebraic specification of the syntax and ....
[Article contains additional citation context not shown here]
W. Fokkink and C. Verhoef. An SOS Message: Conservative Extension in Higher Order Positive/Negative Conditional Term Rewriting.
Conservative Extension in Positive/Negative Conditional Term .. - Fokkink, Verhoef (1998) (1 citation) Self-citation (Fokkink Verhoef) (Correct)
....that we do not allow the possibility that the left hand side of a rewrite rule in the extension is an original term. We refrain from transposing the conservativity format to CTRSs in full generality for the sake of presentation, and to leave space to indulge in relevant applications. We refer to [19] where the SOS result has been transposed to higher order CTRSs. The conservativity format is applicable in the field of abstract data types, where there is a long tradition in specifying by means of modules of CTRSs. In abstract data types, modular specification means conservative extension, in ....
W. Fokkink and C. Verhoef. An SOS message: conservative extension for higherorder positive/negative conditional term rewriting. Report P9715, University of Amsterdam, 1997.
Basic Multi-Competence Programming - Bergstra, Bethke, Ponse (2000) (Correct)
No context found.
W. Fokkink and C. Verhoef. An SOS Message: Conservative Extension in Higher Order Positive/Negative Conditional Term Rewriting.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC