SCOPUS 정보 검색 플랫폼

Electronic Notes in Theoretical Computer Science

Volumn 4, Issue C, 1996, Pages 51-64

Input/Output for ELAN

(1) Viry, Patrick a

a UNIVERSITY OF PISA (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SCIENCE; DIFFERENTIATION (CALCULUS); LOGIC PROGRAMMING; MATHEMATICAL MODELS; PROGRAM PROCESSORS; SEMANTICS;

ELAN; EQUATIONAL THEORY; NOTIONS OF COHERENCE; REWRITE INTERPRETERS;

INPUT OUTPUT PROGRAMS;

EID: 0003363397 PISSN: 15710661 EISSN: None Source Type: Journal
DOI: 10.1016/S1571-0661(04)00033-7 Document Type: Article

Times cited : (17)

References (15)

1
- 0003086869
- Introduction to the ISO specification language LOTOS
- P.H.J. van Eijk, C.A. Vissers, M. Diaz, Elsevier Science Publishers B. V, (North-Holland)
- (1989) The Formal Description Technique LOTOS , pp. 23-73
- Bolognesi¹ Brinksma²

2
- 84916559738
- R. Bündgen. Reduce the redex → ReDuX. In Proceedings 5th Conference on Rewriting Techniques and Applications, Montreal (Canada), number 690 in LNCS, pages 446–450. Springer-Verlag, 1993.

3
- 84916559737
- J. A. Goguen, Claude Kirchner, Hélène Kirchner A. Mégrelis, J. Meseguer, and T. Winkler. An introduction to OBJ-3. In J.-P. Jouannaud and S. Kaplan, editors, Proceedings 1st International Workshop on Conditional Term Rewriting Systems, Orsay (France), volume 308 of LNCS, pages 258–263. Springer-Verlag, July 1987. Also as internal report CRIN: 88-R-001.

4
- 0004297898
- Functional Programming and Input/Output
- Cambridge University Press, ISBN 0 521 47103
- (1994) Distinguished Dissertations in Computer Science
- Gordon¹

5
- 84916559736
- T. Hardin, L. Maranget, and B. Pagano. Functional back-ends within the weak lambda-sigma-calculus. In Procs. of Workshop on the Implementation of Functional Languages, Sept. 1995.

6
- 0018005391
- Communicating sequential processes
- (1978) Communications of the ACM , vol.21 , Issue.8 , pp. 666-677
- Hoare¹

7
- 0002563907
- Designing CLP using computational systems
- P. Van Hentenryck, S. Saraswat, The MIT press
- (1995) Principles and Practice of Constraint Programming
- Kirchner¹ Kirchner² Vittek³

8
- 84916559735
- P. Lescanne. From λσ to λν;v, a journey through calculi of explicit substitutions. In Hans Boehm, editor, Proceedings of the 21st Annual ACM Symposium on Principles Of Programming Languages, Portland (Or., USA), pages 60–69. ACM, 1994.

9
- 84916559734
- P. Lescanne and J. Rouyer-Degli. The calculus of explicit substitutions λv. Technical Report RR-2222, INRIA-Lorraine, January 1994.

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

11
- 84916559733
- R. Milner. The polyadic π-calculus: a tutorial. Technical Report ECS-LFCS-91-180, LFCS, University of Edinburgh, 1991.

12
- 84916559732
- N. Martí-Oliet and J. Meseguer. Rewriting logic as a logical and semantic framework. Technical Report CSL-93-05, SRI International, 1993.

13
- 84916559731
- P. Viry. Rewriting modulo a rewrite system. Technical Report TR-95-20, Dipartimento di Informatica, Universitá di Pisa, 1995.

14
- 84916559730
- P. Viry. A rewriting implementation of π-calculus. Technical Report TR-96-29, Dipartimento di Informatica, Università di Pisa, 1996.

15
- 84916559729
- Marian 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.

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