SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Theoretical Computer Science

Volumn 285, Issue 2, 2002, Pages 155-185

ELAN from a rewriting logic point of view

(4) Borovanský, Peter a Kirchner, Claude b Kirchner, Hélène b Moreau, Pierre Etienne b

a Faculty of Natural Sciences (Slovakia)

b LORIA (France)

Author keywords

Computational system; Conditional rewriting logic; Rewriting calculus; Rule based programming; Strategy theory

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; LOGIC PROGRAMMING; SEMANTICS; THEOREM PROVING;

LOGIC PROGRAMMING LANGUAGES;

FORMAL LOGIC;

EID: 0037190147 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(01)00358-9 Document Type: Article

Times cited : (101)

References (72)

1
- 0003709343
- Cambridge University Press, Cambridge
- (1996) The B-Book: Assigning Programs to Meanings
- Abrial, J.-R.¹

2
- 0009955066
- ELAN for equational reasoning in COQ
- J. Despeyroux (Ed.), Santa Barbara (California), June
- (2000) Proc. 2nd Workshop on Logical Frameworks and Metalanguages
- Alvarado, C.¹ Nguyen, Q.-H.²

3
- 0003899169
- Ph.D. Thesis, Universiteit Utrecht
- (1997) Automatically proving termination and innermost normalisation of term rewriting systems
- Arts, T.¹

4
- 0003650163
- Cambridge University Press, Cambridge
- (1998) Term Rewriting and all That
- Baader, F.¹ Nipkow, T.²

5
- 0002034059
- Associative-commutative discrimination nets
- M.-C. Gaudel, J.-P. Jouannaud (Eds.), TAPSOFT '93: Theory and Practice of Software Development, Lecture Notes in Computer Science, Orsay, France, April 13-17, Springer, Berlin
- (1993) 4th Intern. Joint Conf. CAAP/FASE , vol.668 , pp. 61-74
- Bachmair, L.¹ Chen, T.² Ramakrishnan, I.V.³

6
- 0001285877
- Basic paramodulation
- (1995) Inform. Comput. , vol.121 , Issue.2 , pp. 172-192
- Bachmair, L.¹ Ganzinger, H.² Lynch, C.³ Snyder, W.⁴

7
- 0009931070
- Autartik computations in formal proofs
- to appear
- (1997) J. Symbolic Comput.
- Barendregt, H.¹ Barendsen, E.²

8
- 0009906150
- Verification of timed automata using rewrite rules and strategies
- N. Dershowitz, A. Frank (Eds.), Tel Aviv (Israel), June
- (2001) Proc. BISFAI 2001
- Beffara, E.¹ Bournez, O.² Kacem, H.³ Kirchner, C.⁴

9
- 0001016028
- Complexity of matching problems
- (1987) J. Symbolic Comput. , vol.3 , Issue.1-2 , pp. 203-216
- Benanav, D.¹ Kapur, D.² Narendran, P.³

10
- 84947902882
- Implementation of higher-order unification based on calculus of explicit substitutions
- M. Bartošek, J. Staudek, J. Wiedermann (Eds.), Springer, Berlin
- (1995) Proc. SOFSEM'95: Theory and Practice of Informatics, Lecture Notes in Computer Science , vol.1012 , pp. 363-368
- Borovanský, P.¹

11
- 4243248259
- Thèse de Doctorat d'Université, Université Henri Poincaré - Nancy 1, France, October. Also TR LORIA 98-T-326
- (1998) Le contrôle de la réécriture: Étude et implantation d'un formalisme de stratégies
- Borovanský, P.¹

12
- 84874267691
- Cooperation of constraint solvers: Using the new process control facilities of ELAN
- C. Kirchner, H. Kirchner (Eds.), Proc. 2nd Internat. Workshop on Rewriting Logic and its Applications, WRLA'98, Pont-à-Mousson, France, September
- (1998) Electronic Notes in Theoretical Computer Science , vol.15 , pp. 379-398
- Borovanský, P.¹ Castro, C.²

13
- 0011190637
- LORIA, Nancy, France, December
- (1998) ELAN V 3.3 User Manual, 3rd Edition
- Borovanský, P.¹ Cirstea, H.² Dubois, H.³ Kirchner, C.⁴ Kirchner, H.⁵ Moreau, P.-E.⁶ Ringeissen, C.⁷ Vittek, M.⁸

14
- 19144371372
- Controlling rewriting by rewriting
- J. Meseguer (Ed.), Proc. 1st Internat. Workshop on Rewriting Logic and its Applications, WRLA'96, Asilomar, California, September
- (1996) Electronic Notes in Theoretical Computer Science , vol.4
- Borovanský, P.¹ Kirchner, C.² Kirchner, H.³

15
- 0001593932
- A functional view of rewriting and strategies for a semantics of ELAN
- M. Sato, Y. Toyama (Eds.), Kyoto, April. World Scientific, Singapore. Also report LORIA 98-R-165
- (1998) The 3rd Fuji Internat. Symp. on Functional and Logic Programming , pp. 143-167
- Borovanský, P.¹ Kirchner, C.² Kirchner, H.³

16
- 19144372591
- ELAN: A logical framework based on computational systems
- J. Meseguer (Ed.), Proc. 1st Internat. Workshop on Rewriting Logic and its Applications, WRLA'96, Asilomar, California, September
- (1996) Electronic Notes in Theoretical Computer Science , vol.4
- Borovanský, P.¹ Kirchner, C.² Kirchner, H.³ Moreau, P.-E.⁴ Vittek, M.⁵

17
- 0002615253
- Rewriting with strategies in ELAN: A functional semantics
- (2001) Internat. J. Foundations Comput. Sci. , vol.12 , pp. 69-95
- Borovanský, P.¹ Kirchner, C.² Kirchner, H.³ Ringeissen, C.⁴

18
- 19144366418
- Solving binary CSP using computational systems
- J. Meseguer (Ed.), Proc. 1st Internat. Workshop on Rewriting Logic and its Applications, WRLA'96, Asilomar California, September
- (1996) Electronic Notes in Theoretical Computer Science , vol.4
- Castro, C.¹

19
- 0032090042
- Building constraint satisfaction problem solvers using rewrite rules and strategies
- (1998) Fundamenta Informaticae , vol.34 , pp. 263-293
- Castro, C.¹

20
- 84874272493
- COLETTE, prototyping CSP solvers using a rule-based language
- Lecture Notes in Artificial Intelligence, Plattsburgh, NY, USA, September
- (1998) Proc. 4th Internat. Conf. on Artificial Intelligence and Symbolic Computation, Theory, Implementations and Applications, AISC'98 , vol.1476
- Castro, C.¹

21
- 4243576523
- Thèse de Doctorat d'Université, Université Henri Poincaré - Nancy I
- (2000) Calcul de réécriture: Fondements et applications
- Cirstea, H.¹

22
- 81055143730
- Using rewriting and strategies for describing the B predicate prover
- CADE-15, Lindau, Germany, July
- (1998) Proc. Workshop on Strategies in Automated Deduction
- Cirstea, H.¹ Kirchner, C.²

23
- 0001769172
- Combining higher-order and first-order computation using ρ-calculus: Towards a semantics of ELAN
- D. Gabbay, M. de Rijke (Eds.), Wiley, New York
- (1999) Frontiers of Combining Systems 2, Research Studies , pp. 95-120
- Cirstea, H.¹ Kirchner, C.²

24
- 0002433406
- The simply typed rewriting calculus
- K. Futatsugi (Ed.), 3rd Internat. Workshop on Rewriting Logic and its Applications, Kanazawa, Japan, September
- (2000) Electronic Notes in Theoretical Computer Science
- Cirstea, H.¹ Kirchner, C.²

25
- 0001536935
- The rewriting calculus - Part I and II
- (2001) Logic J. Interest Group Pure Appl. Logics , vol.9 , Issue.3 , pp. 427-498
- Cirstea, H.¹ Kirchner, C.²

26
- 84949232265
- Specifying authentication protocols using rewriting and strategies
- I.V. Ramakrishnan (Ed.), 3rd Internat. Workshop on Practical Aspects of Declarative Languages, Las Vegas, USA, Springer, Berlin, March
- (2001) Lecture Notes in Computer Science , vol.1990 , pp. 138-153
- Cirstea, H.¹ Kirchner, C.²

27
- 43449122789
- Matching power
- A. Middeldorp (Ed.), Lecture Notes in Computer Science Utrecht, The Netherlands, Springer, Berlin, May
- (2001) Proc. RTA'2001 , vol.2051 , pp. 77-92
- Cirstea, H.¹ Kirchner, C.² Liquori, L.³

28
- 84945290680
- The rho cube
- F. Honsell (Ed.), Lecture Notes in Computer Science, Genova, Italy, Springer, Berlin, April
- (2001) Foundations of Software Science and Computation Structures , vol.2030 , pp. 166-180
- Cirstea, H.¹ Kirchner, C.² Liquori, L.³

29
- 84874266260
- Metalevel computation in maude
- C. Kirchner, H. Kirchner (Eds.), Proc. 2nd Internat. Workshop on Rewriting Logic and its Applications, WRLA'98, Pont-á-Mousson, France, September
- (1998) Electronic Notes in Theoretical Computer Science , vol.15 , pp. 3-24
- Clavel, M.¹ Duran, F.² Eker, S.³ Lincoln, P.⁴ Meseguer, J.⁵

30
- 0002792268
- Axiomatizing reflective logics and languages
- G. Kiczales (Ed.), San Francisco, California, April 1996. Xerox PARC
- (1996) Proc. Reflection'96 , pp. 263-288
- Clavel, M.G.¹ Meseguer, J.²

31
- 0000029077
- Rewrite systems
- J. van Leeuwen (Ed.), Elsevier Science Publishers BV, North-Holland, Amsterdam (Chapter 6)
- (1990) Handbook of Theoretical Computer Science , pp. 244-320
- Dershowitz, N.¹ Jouannaud, J.-P.²

32
- 0002515768
- q
- Also as research report CRIN 89-R-2
- (1992) J. Automated Reasoning , vol.8 , pp. 39-44
- Domenjoud, E.¹

33
- 0009953850
- Université de Paris 7
- (1999) La part du Calcul., Mémoire d'habilitation
- Dowek, G.¹

34
- 0003754553
- Rapport de Recherche 3400, Institut National de Recherche en Informatique et en Automatique, April, to appear in the JAR
- (1998) Theorem proving modulo
- Dowek, G.¹ Hardin, T.² Kirchner, C.³

35
- 0009950174
- Objects, rules and strategies in ELAN
- Iowa City, Iowa, USA, May
- (2000) Proc. 2nd AMAST Workshop on Algebraic Methods in Language Processing
- Dubois, H.¹ Kirchner, H.²

36
- 84957034395
- Rule based programming with constraints and strategies
- K. Apt, A.A.C. Kakas, E. Monfroy, F. Rossi (Eds.), Papers from the Joint ERCIM/Compulog-Net Workshop, Cyprus, October 25-27, Lecture Notes in Artificial Intelligence, Springer, Berlin
- (1999) New Trends in Constraints , vol.1865 , pp. 274-297
- Dubois, H.¹ Kirchner, H.²

37
- 0001286753
- Associative-commutative matching via bipartite graph matching
- (1995) Comput. J. , vol.38 , Issue.5 , pp. 381-399
- Eker, S.¹

38
- 0009907619
- Technical Report, LORIA, Nancy, France
- (2001) Termination of rewriting with local strategies
- Fissore, O.¹ Gnaedig, I.² Kirchner, H.³

39
- 0004141791
- Ph.D. Thesis, Universié Henri Poincaré - Nancy I
- (1998) Contraintes d'ordre et automates d'arbres pour les preuves de terminaison
- Genet, T.¹

40
- 0009932281
- Edinburgh LCF: A mechanized logic of computation
- Springer, New York (NY, USA)
- (1979) Lecture Notes in Computer Science , vol.78
- Gordon, M.¹ Milner, A.² Wadsworth, C.³

41
- 84957692033
- On proving termination by innermost termination
- H. Ganzinger (Ed.), New Brunswick, NJ, USA, Lecture Notes in Computer Science, Springer, Berlin, July
- (1996) Proc. 7th Conf. on Rewriting Techniques and Applications , vol.1103 , pp. 93-107
- Gramlich, B.¹

42
- 0000419540
- Associative-commutative pattern matching
- Tokyo, Japan
- (1979) Proc. 9th International Joint Conference on Artificial Intelligence
- Hullot, J.-M.¹

43
- 0003921527
- Thèse de Doctorat de Troisième Cycle, Université de Paris Sud, Orsay, France
- (1980) Compilation de Formes Canoniques dans les Théories équationelles
- Hullot, J.-M.¹

44
- 4243532938
- Constraint logic programming: A survey
- (1994) J. Logic Programming , vol.19-20 , pp. 503-582
- Jaffar, J.¹ Maher, M.²

45
- 0001686885
- Completion of a set of rules modulo a set of equations
- Preliminary version in Proc. 11th ACM Symp. on Principles of Programming Languages, Salt Lake City, USA, 1984
- (1986) SIAM J. Comput. , vol.15 , Issue.4 , pp. 1155-1194
- Jouannaud, J.-P.¹ Kirchner, H.²

46
- 0002692684
- Solving equations in abstract algebras: A rule-based survey of unification
- J.-L. Lassez, G. Plotkin (Eds.), The MIT Press, Cambridge, MA, USA (Chapter 8)
- (1991) Computational Logic. Essays in honor of Alan Robinson , pp. 257-321
- Jouannaud, J.-P.¹ Kirchner, C.²

47
- 84958975690
- Some extensions of rewriting
- H. Comon, J.-P. Jouannaud (Eds.), Lecture Notes in Computer Science, Springer, Berlin
- (1995) Term Rewriting , vol.909 , pp. 54-73
- Kirchner, H.¹

48
- 9444222929
- (1999) Rewriting, Solving, Proving
- Kirchner, C.¹ Kirchner, H.²

49
- 0002563907
- Designing constraint logic programming languages using computational systems
- P. Van Hentenryck, V. Saraswat (Eds.), The Newport Papers, The MIT Press, Cambridge, MA (Chapter 8)
- (1995) Principles and Practice of Constraint Programming , pp. 131-158
- Kirchner, C.¹ Kirchner, H.² Vittek, M.³

50
- 84955562216
- Prototyping completion with constraints using computational systems
- J. Hsiang (Ed.), Kaiserslautern, Germany, Lecture Notes in Computer Science, Springer, Berlin
- (1995) Proc. 6th Conf. on Rewriting Techniques and Applications , vol.914 , pp. 438-443
- Kirchner, H.¹ Moreau, P.-E.²

51
- 0035644347
- Promoting rewriting to a programming language: A compiler for non-deterministic rewrite programs in associative-commutative theories
- (2001) J. Functional Programming , vol.11 , Issue.2 , pp. 207-251
- Kirchner, H.¹ Moreau, P.-E.²

52
- 0009932282
- Technical Report A01-R-386, LORIA
- (2001) Xemantics: A semantic of XSLT in ELAN
- Kirchner, C.¹ Qian, Z.² Singh, P.-K.³ Stuber, J.⁴

53
- 0032089579
- Rule-based constraint programming
- (1998) Fundamenta Informaticae , vol.34 , Issue.3 , pp. 225-262
- Kirchner, C.¹ Ringeissen, C.²

54
- 0027575871
- A meta-environment for generating programming environments
- (1993) ACM Trans. Software Engng. Methodol. , vol.2 , pp. 176-201
- Klint, P.¹

55
- 0002116085
- Compilation of pattern matching with associative commutative functions
- Lecture Notes in Computer Science, Springer, Berlin
- (1991) 16th Colloquium on Trees in Algebra and Programming , vol.493 , pp. 57-73
- Kounalis, E.¹ Lugiez, D.²

56
- 0000605635
- Tree automata help one to solve equational formulae in AC-theories
- (1994) J. Symbolic Comput. , vol.18 , Issue.4 , pp. 297-318
- Lugiez, D.¹ Moysset, J.-L.²

57
- 0028016680
- Normalised rewriting and normalised completion
- S. Abramsky (Ed.), Paris, France
- (1994) Proc. 9th IEEE Symp. on Logic in Computer Science , pp. 394-403
- Marché, C.¹

58
- 0003712384
- Rewriting logic as a logical and semantic framework
- Technical Report SRI-CSL-93-05, SRI International, Computer Science Laboratory. To appear in: D. Gabbay (Ed.), Kluwer Academic Publishers, Dordrecht
- (2001) Handbook of Philosophical Logic , vol.9
- Martí-Oliet, N.¹ Meseguer, J.²

59
- 84955609019
- Merging monads and folds for functional programming
- E. Meijer, J. Johan (Eds.), Lecture Notes in Computer Science, Springer, Berlin
- (1995) Proc. Advanced Functional Programming , vol.925 , pp. 228-266
- Meijer, E.¹ Johan, J.²

60
- 77957664229
- General logics
- H.-D.E. et al. (Eds.), Elsevier Science Publishers BV, North-Holland, Amsterdam
- (1989) Logic Colloquium'87 , pp. 275-329
- Meseguer, J.¹

61
- 0027113376
- Conditional rewriting logic as a unified model of concurrency
- (1992) Theoret. Comput. Sci. , vol.96 , Issue.1 , pp. 73-155
- Meseguer, J.¹

62
- 84947797082
- A compiler for rewrite programs in associative-commutative theories
- Lecture Notes in Computer Science, Springer, Berlin, September
- (1998) Principles of Declarative Programming , vol.1490 , pp. 230-249
- Moreau, P.-E.¹ Kirchner, H.²

63
- 0009904762
- Certifying term rewriting proof in ELAN
- M. vanden Brand, R. Verma (Eds.), Proc. of RULE'01, September
- (2001) Electronic Notes in Theoretical Computer Science , vol.59
- Nguyen, Q.-H.¹

64
- 0001099086
- Saturation of first-order (constrained) clauses with the saturate system
- C. Kirchner (Ed.), Montreal, Canada, Lecture Notes in Computer Science, Springer, Berlin
- (1993) Proc. 5th Conf. on Rewriting Techniques and Applications , vol.690 , pp. 436-440
- Nivela, P.¹ Nieuwenhuis, R.²

65
- 84976823860
- Complete sets of reductions for some equational theories
- (1981) J. ACM , vol.28 , pp. 233-264
- Peterson, G.¹ Stickel, M.E.²

66
- 84947813261
- Prototyping combination of unification algorithms with the ELAN rule-based programming language
- Sitges, Spain, Lecture Notes in Computer Science, Springer, Berlin
- (1997) Proc. 8th Conf. on Rewriting Techniques and Applications , vol.1232 , pp. 323-326
- Ringeissen, C.¹

67
- 0029234085
- Automated deduction with associative-commutative operators
- (1995) Appl. Algebra Engng., Commun. Comput. , vol.6 , Issue.1 , pp. 23-56
- Rusinowitch, M.¹ Vigneron, L.²

68
- 0009905219
- December
- (2000) Experiments with an implementation of extended narrowing and resolution in the rewriting language ELAN (system description)
- Stuber, J.¹

69
- 26144462722
- Thèse de Doctorat d'Université, Université Henri Poincaré - Nancy 1, November
- (1994) Déduction automatique avec contraintes symboliques dans les théories équationnelles
- Vigneron, L.¹

70
- 0003363397
- Input/output for ELAN
- J. Meseguer (Ed.), Proc. 1st International Workshop on Rewriting Logic and its Applications, WRLA'96, Asilomar, California, September
- (1996) Electronic Notes in Theoretical Computer Science , vol.4
- Viry, P.¹

71
- 0009905825
- Department of Computer Science, Universiteit Utrecht, Utrecht, The Netherlands
- (1999) The Stratego Tutorial
- Visser, E.¹

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

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