SCOPUS 정보 검색 플랫폼

Volumn 4, Issue C, 1996, Pages 169-189

Controlling Rewriting by Rewriting

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; CONTROL SYSTEMS; FORMAL LOGIC; MATHEMATICAL MODELS; PROGRAM COMPILERS; SEMANTICS; SET THEORY; THEOREM PROVING;

COMPUTATIONAL SYSTEMS; ELAN; ENDOMORPHISMS; REWRITE THEORY;

COMPUTER PROGRAMMING LANGUAGES;

EID: 19144371372 PISSN: 15710661 EISSN: None Source Type: Journal
DOI: 10.1016/S1571-0661(04)00039-8 Document Type: Article

Times cited : (23)

References (13)

1
- 84916562362
- P. Borovanský. Strategies for computational systems. Technical report, CRIN & INRIA-Lorraine, France, 1996.

2
- 84916562361
- M. Clavel, S. Eker, P. Lincoln, and J. Meseguer. Principles of Maude. In J. Meseguer, editor, Proceedings of the first international workshop on rewriting logic, volume 4 of Electronic Notes in Theoretical Computer Science, Asilomar (California), September 1996. Elsevier.

3
- 84916562360
- M. G. Clavel and J. Meseguer. Axiomatizing Reflective Logics and Languages. In G. Kiczales, editor, Proceedings of Reflection'96, San Francisco, California, April 1996, pages 263–288. Xerox PARC, 1996.

5
- 84916562359
- J. Goguen, A. Stevens, K. Hobley, and H. Hilberdink. Mechanised Theorem Proving with 2OBJ: A Tutorial Introduction. ftp prg.oxford.ac.uk, 1994.

6
- 0002692684
- Solving equations in abstract algebras: a rule-based survey of unification
- J.-L. Lassez, G. Plotkin, The MIT press, Cambridge (MA, USA)
- (1991) Computational Logic. Essays in honor of Alan Robinson, chapter 8 , pp. 257-321
- Jouannaud¹ Kirchner²

7
- 0002563907
- Designing constraint logic programming languages using computational systems
- P. Van Hentenryck, V. Saraswat, The MIT press
- (1995) Principles and Practice of Constraint Programming. The Newport Papers , pp. 131-158
- Kirchner¹ Kirchner² Vittek³

8
- 84916562358
- C. Kirchner, H. Kirchner, and M. Vittek. ELAN V 1.17 User Manual. INRIA Lorraine & CRIN, Nancy (France), first edition, November 1995.

9
- 0027113376
- Conditional rewriting logic as a unified model of concurrency
- (1992) Theoretical Computer Science , vol.96 , Issue.1 , pp. 73-155
- Meseguer¹

10
- 84916562357
- E. Meijer and J. Johan. Merging Monads and Folds for Functional Programming. In E. Meijer and J. Johan, editor, Proceedings of Advanced Fonctional Programming, volume 925 of Lecture Notes in Computer Science, pages 228–266. Springer-Verlag, 1995.

11
- 84916562356
- N. Martì-Oliet and J. Meseguer. Rewriting logic as a logical and semantical framework. Technical report, SRI International, May 1993.

12
- 84916562355
- M. Vittek. ELAN: Un cadre logique pour le prototypage de langages de programmation avec contraintes. Thèse de Doctorat d'Université, Université Henri Poincaré – Nancy 1, October 1994.

13
- 84916562354
- M. Vittek. A compiler for nondeterministic term rewriting systems. In H. Ganzinger, editor, Proceedings of RTA'96, volume 1103 of Lecture Notes in Computer Science, pages 154–168, New Brunswick (New Jersey), July 1996. Springer-Verlag.

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.