SCOPUS 정보 검색 플랫폼

Electronic Notes in Theoretical Computer Science

Volumn 4, Issue C, 1996, Pages 149-168

A reflective extension of ELAN

(2) Kirchner, Hélène a Moreau, Pierre Etienne a

a INRIA Lorraine and CRIN CNRS 615 rue du Jardin Botanique BP 101 54602 Villers lès Nancy Cedex France http://wwwloriafr/equipe/protheohtml ^*

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; FUNCTIONS; LOGIC PROGRAMMING; MATHEMATICAL OPERATORS; SWITCHING; THEOREM PROVING; TURING MACHINES;

ELAN SYSTEMS; LOGIC LANGUAGES; REWRITING LOGICS; STRATEGY LANGUAGES;

FORMAL LOGIC;

EID: 19144373772 PISSN: 15710661 EISSN: None Source Type: Journal
DOI: 10.1016/S1571-0661(04)00038-6 Document Type: Article

Times cited : (5)

References (25)

1
- 0002830387
- Amalgamating language and metalanguage in logic programming. In
- Academic Press
- (1982) Logic programming, APIC Studies in Data Processing , vol.16 , pp. 153-172
- Bowen¹ Kowalski²

2
- 84916552821
- P. Borovanský, C. Kirchner, and H. Kirchner. Controlling rewriting by rewriting. In J. Meseguer, author, Proceedings of the first international workshop on rewriting logic, volume 4, Asilomar (California), September 1996. Electronic Notes in Theoretical Computer Science.

3
- 84916552820
- P. Borovanský, C. Kirchner, H. Kirchner, P.-E. Moreau, and M. Vittek. ELAN: A logical framework based on computational systems. In J. Meseguer, editor, Proceedings of the first international workshop on rewriting logic, volume 4, Asilomar (California), September 1996. Electronic Notes in Theoretical Computer Science.

4
- 84916552819
- R. L. Constable et al. Implementing Mathematics with the Nuprl Proof Development System. Prentice Hall, Inc., Englewood Cliffs, New Jersey 07632, 1986.

5
- 84916552818
- M. G. Clavel and J. Meseguer. Axiomatizing Reflective Logics and Languages. Proceedings of Reflection'96, pages 263–288. Xerox PARC, 1996.

6
- 0000029077
- Rewrite Systems
- J. van Leeuwen, Elsevier Science Publishers B. V., (North-Holland)
- (1990) Handbook of Theoretical Computer Science, chapter 6 , pp. 244-320
- Dershowitz¹ Jouannaud²

7
- 84916552817
- F. Giunchiglia. The GETFOL manual-GETFOL version1. Technical Report 9204-01, IRST, Trento, Italy, 1992.

8
- 0006385098
- Reflection in constructive and non-constructive automated reasoning
- H. Abramson, M. Rogers, MIT Press
- (1989) Meta-Programming in Logic Programming , pp. 123-140
- Giunchiglia¹ Smail²

9
- 84916552816
- F. Giunchiglia and P. Traverso. A metatheory of a mechanized object theory. Technical Report 9211-24, IRST, Trento, Italy, 1992.

10
- 84916552815
- J. Harrison. Metatheory and reflection in theorem proving: A survey and critique, 1995.

11
- 84916552814
- J.-P. Jouannaud and H. Kirchner. Completion of a set of rules modulo a set of equations. SIAM Journal of Computing, 15(4):1155–1194, 1986. Preliminary version in Proceedings 11th ACM Symposium on Principles of Programming Languages, Salt Lake City (USA), 1984.

12
- 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²

13
- 84916552813
- T. B. Knoblock and R. L. Constable. Formalized metareasoning in type theory. In Proceedings, Symposium on Logic in Computer Science, pages 237–248, Cambridge, Massachusetts, 16–18 June 1986. IEEE Computer Society.

14
- 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³

15
- 84916552812
- C. Kirchner, H. Kirchner, and M. Vittek. ELAN V 1.17 User Manual. Inria Lorraine & Crin, Nancy (France), first edition, November 1995.

16
- 84916552811
- H. Kirchner, and P.-E. Moreau. Prototyping completion with constraints using computational systems. In J. Hsiang, editor, Proceedings 6th Conference on Rewriting Techniques and Applications, Kaiserslautern (Germany), volume 914 of Lecture Notes in Computer Science, pages 438–443. Springer-Verlag, 1995.

17
- 19144368284
- Reflective computation in term rewriting systems
- (1995) Computer Software , vol.12 , Issue.4 , pp. 3-14
- Kurihara¹ Sato² Ohuchi³

18
- 84916552810
- P. Maes. Concepts and experiments in computational reflection. In N. Meyrowitz, editor, Proceedings of OOPSLA'87, ACM, pages 147–155. ACM, 1987. Special issue of SIGPLAN Notices, Volume 22, Number 4.

19
- 77957664229
- General logics
- H.-D.E et al., Elsevier Science Publishers B. V., (North-Holland)
- (1989) editor, Logic Colloquium'87 , pp. 275-329
- Meseguer¹

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

21
- 84916552809
- N. Marti-Oliet and J. Meseguer. Rewriting logic as a logical and semantic framework. Technical report, SRI International, 1993.

22
- 84916552808
- F. Pfenning. Elf: A meta-language for deductive systems (system description). In A. Bundy, author, 12th International Conference on Automated Deduction, LNAI 814, pages 811–815, Nancy, France, June 26–July 1, 1994. Springer-Verlag.

23
- 84916552807
- P. C. Smith. Reflection and semantics in lisp. In Proceedings of the 11th Annual ACM Symposium on Principles of Programmings Languages, ACM, pages 23–35. ACM, 1984.

24
- 84916552806
- 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.

25
- 0001733633
- Prolegomena to a theory of mechanized formal reasoning
- (1980) Artificial Intelligence , Issue.13 , pp. 133-170
- Weyhrauch¹

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