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

메뉴 건너뛰기

Journal of Logic and Algebraic Programming

Volumn 54, Issue 1-2, 2003, Pages 1-64

Typed generic traversal with term rewriting strategies

(1) Lämmel, Ralf a

a VU UNIVERSITY AMSTERDAM (Netherlands)

Author keywords

Generic programming; Program transformation; Strategies; Term rewriting; Traversal; Type systems

Indexed keywords

ALGEBRA; COMPUTER PROGRAMMING LANGUAGES; FUNCTIONS; PROBLEM SOLVING;

GENERIC PROGRAMMING;

COMPUTER PROGRAMMING;

EID: 0036376004 PISSN: 15678326 EISSN: None Source Type: Journal
DOI: 10.1016/S1567-8326(02)00028-0 Document Type: Article

Times cited : (31)

References (64)

1
- 0010356709
- to appear
- (2001) CASL: The Common Algebraic Specification Language, Theoretical Computer Science
- Astesiano, E.¹ Bidoit, M.² Kirchner, H.³ Krieg-Brückner, B.⁴ Mosses, P.D.⁵ Sannella, D.⁶ Tarlecki, A.⁷

2
- 84976752728
- Dynamic typing in a statically typed language
- (1991) ACM Transactions on Programming Languages and Systems , vol.13 , Issue.2 , pp. 237-268
- Abadi, M.¹ Cardelli, L.² Pierce, B.³ Plotkin, G.⁴

3
- 0039372961
- Dynamic typing in polymorphic languages
- San Francisco, June 1992, Association for Computing Machinery New York
- (1992) Proceedings of the 1992 ACM Workshop on ML and its Applications , pp. 92-103
- Abadi, M.¹ Cardelli, L.² Pierce, B.³ Rémy, D.⁴

4
- 0001439401
- Lambda calculi with types
- Oxford University Press, Oxford
- (1992) Handbook of Logic in Computer Science , vol.2
- Barendregt, H.¹

5
- 0001526119
- Intersection and union types: Syntax and semantics
- (1995) Information and Computation , vol.119 , Issue.2 , pp. 202-230
- Barbanera, F.¹ Dezani-Ciancaglini, M.² De'Liguoro, U.³

6
- 84958982718
- The ASF+SDF meta-environment: A component-based language development environment
- Compiler Construction 2001 (CC 2001), Springer Berlin
- (2001) Lecture Notes in Computer Science , vol.2027
- Van den Brand, M.G.J.¹ Heering, J.² De Jong, H.³ De Jonge, M.⁴ Kuipers, T.⁵ Klint, P.⁶ Moonen, L.⁷ Oliver, P.⁸ Scheerder, J.⁹ Vinju, J.¹⁰ Visser, E.¹¹ Visser, J.¹²

7
- 0002457703
- The algebraic specification formalism ASF
- The ACM Press in cooperation with Addison-Wesley (Chapter 1)
- (1989) Algebraic Specification , pp. 1-66
- Bergstra, J.A.¹ Heering, J.² Klint, P.³

8
- 16644391238
- Meseguer [49]
- Controlling rewriting by rewriting
- Borovansky, P.¹ Kirchner, C.² Kirchner, H.³

9
- 84874257101
- Kirchner and Kirchner [37]
- An overview of ELAN
- Borovanský, P.¹ Kirchner, C.² Kirchner, H.³ Moreau, P.-E.⁴ Ringeissen, C.⁵

10
- 0002615253
- Rewriting with strategies in ELAN: A functional semantics
- (2001) International Journal of Foundations of Computer Science
- Borovanský, P.¹ Kirchner, C.² Kirchner, H.³ Ringeissen, C.⁴

11
- 0003523184
- SE N-R0121, CWI, Amsterdam
- (2001) Term rewriting with traversal functions
- Van den Brand, M.G.J.¹ Klint, P.² Vinju, J.³

12
- 0031584448
- Comparing cubes of typed and type assignment systems
- (1997) Annals of Pure and Applied Logic , vol.86 , Issue.3 , pp. 267-303
- Van Bakel, S.¹ Liquori, L.² Della Rocca, S.R.³ Urzyczyn, P.⁴

13
- 0031342306
- Generation of components for software renovation factories from context-free grammars
- Baxter I.D., Quilici A., Verhoef C. (Eds.)
- (1997) Proceedings of the Fourth Working Conference on Reverse Engineering , pp. 144-153
- Van den Brand, M.G.J.¹ Sellink, M.P.A.² Verhoef, C.³

14
- 0033906860
- Generation of components for software renovation factories from context-free grammars
- (2000) Science of Computer Programming , vol.36 , Issue.2-3 , pp. 209-266
- Van den Brand, M.G.J.¹ Sellink, M.P.A.² Verhoef, C.³

15
- 0001946337
- Functional characters of solvable terms
- (1981) Zeitschrift für Mathematische Logik und Grundlagen der Mathematik , vol.27 , pp. 45-58
- Coppo, M.¹ Dezani-Ciancaglini, M.² Venneri, B.³

16
- 84957700010
- The Maude system - System description
- Narendran P., Rusinowitch M. (Eds.), Proceedings of the 10th International Conference on Rewriting Techniques and Applications (RTA-99), Trento, Italy, Springer, Berlin, July
- (1999) Lecture Notes in Computer Science , vol.1631 , pp. 240-243
- Clavel, M.¹ Durán, F.² Eker, S.³ Lincoln, P.⁴ Martí-Oliet, N.⁵ Meseguer, J.⁶ Quesada, J.F.⁷

17
- 18944389127
- Polytypic programming in Maude
- Futatsugi K. (Ed.), Elsevier, Amsterdam
- (2001) ENTCS , vol.36
- Clavel, M.¹ Duran, F.² Marti-Oliet, N.³

18
- 0010364801
- Meseguer [49]
- Principles of Maude
- Clavel, M.¹ Eker, S.² Lincoln, P.³ Meseguer, J.⁴

19
- 0002214645
- A calculus for overloaded functions with subtyping
- (1995) Information and Computation , vol.117 , Issue.1 , pp. 115-135
- Castagna, G.¹ Ghelli, G.² Longo, G.³

20
- 3042724453
- Rapport de recherche 3818, INRIA, December
- (1999) Introduction to the rewriting calculus
- Cirstea, H.¹ Kirchner, C.²

21
- 84945290680
- The rho cube
- Furio Honsell (Ed.), Foundations of Software Science and Computation Structures, Genova, Italy, April
- (2001) Lecture Notes in Computer Science , vol.2030 , pp. 168-183
- Cirstea, H.¹ Kirchner, C.² Liquori, L.³

22
- 0022333721
- On understanding types, data abstraction, and polymorphism
- (1985) ACM Computing Surveys , vol.17 , Issue.4 , pp. 471-522
- Cardelli, L.¹ Wegner, P.²

23
- 0002684234
- Intensional polymorphism in type-erasure semantics
- Proceedings of the ACM SIGPLAN International Conference on Functional Programming (ICFP '98), ACM, New York, June
- (1999) ACM SIGPLAN Notices , vol.34 , Issue.1 , pp. 301-312
- Crary, K.¹ Weirich, S.² Morrisett, G.³

24
- 0003447333
- Technical report 94, INRIA, March
- (1988) TYPOL: A formalism to implement natural semantics
- Despeyroux, T.¹

25
- 0029205358
- Extensional polymorphism
- January
- (1995) Proceedings of the 22th ACM Conference on Principles of Programming Languages
- Dubois, C.¹ Rouaix, F.² Weis, P.³

26
- 0003612107
- PhD thesis, Computer Science Institute, Katholieke Universiteit Nijmegen
- (1993) Logics and type systems
- Geuvers, H.¹

27
- 0004099873
- PhD thesis, Université Paris VII
- (1972) Interprétation fonctionelle et élimination des coupures dans l'arithétique d'ordre supérieur
- Girard, J.-Y.¹

28
- 0010399508
- Utrecht, The Netherlands, May, Servicio de Publicaciones, Universidad Politécnica de Valencia
- (2001) Proceedings of the International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001) , vol.SPUPV 2359
- Gramlich, B.¹ Lucas, S.²

29
- 17144380966
- Type dispatch for named hierarchical types
- ACM SIGPLAN International Conference on Functional Programming (ICFP-99), vol. 34.9, ACM, New York, September 27-29
- (1999) ACM Sigplan Notices , pp. 172-182
- Glew, N.¹

30
- 0003336597
- A generic programming extension for Haskell
- E. Meijer (Ed.), Paris, France, September, Technical report, Universiteit Utrecht, UU-CS-1999-28
- (1999) Proceedings of the 3rd Haskell Workshop
- Hinze, R.¹

31
- 0029190995
- Compiling polymorphism using intentional type analysis
- San Francisco, CA, ACM, New York, January
- (1995) Conference Record of POPL '95: 22nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages , pp. 130-141
- Harper, R.¹ Morrisett, G.²

32
- 0010316092
- Technical Report, Universiteit Utrecht, July
- (2000) Proceedings of WGP'2000
- Jeuring, J.¹

33
- 0030651808
- PolyP - A polytypic programming language extension
- ACM, New York
- (1997) POPL '97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages , pp. 470-482
- Jansson, P.¹ Jeuring, J.²

34
- 84955598813
- Functional programming with overloading and higher-order polymorphism
- Jeuring J., Meijer E. (Eds.), Advanced Functional Programming, Springer, Berlin
- (1995) Lecture Notes in Computer Science , vol.925 , pp. 97-136
- Jones, M.P.¹

35
- 0010359106
- Technical report, Institute of Information and Computing Sciences, Universiteit Utrecht
- (2001) Fusing logic and control with local transformations: An example optimization
- Johann, P.¹ Visser, E.²

36
- 84958790465
- Natural semantics
- Fourth Annual Symposium on Theoretical Aspects of Computer Science, Passau, Germany, 19-21 February 1987, Springer, Berlin
- (1987) Lecture Notes in Computer Science , vol.247 , pp. 22-39
- Kahn, G.¹

37
- 0010359274
- Pont-à-Mousson, France, ENTCS, Elsevier, Amsterdam, September
- (1998) Proceedings of the International Workshop on Rewriting Logic and its Applications (WRLA'98) , vol.15
- Kirchner, C.¹ Kirchner, H.²

38
- 0027575871
- A meta-environment for generating programming environments
- (1993) ACM Transactions on Software Engineering and Methodology , vol.2 , Issue.2 , pp. 176-201
- Klint, P.¹

39
- 4243731730
- Gramlich and Lucas [28]
- Generic type-preserving traversal strategies
- Lämmel, R.¹

40
- 0000795122
- Format evolution
- of books@ocg.at, OCG
- (2001) Proceedings of the 7th International Conference on Reverse Engineering for Information Systems (RETIS 2001) , vol.155 , pp. 113-134
- Lämmel, R.¹ Lohmann, W.²

41
- 0003775879
- Technical Report NU-CCS-97-15, College of Computer Science, Northeastern University, Boston, MA, July
- (1997) Traversals of object structures: Specification and efficient implementation
- Lieberherr, K.J.¹ Patt-Shamir, B.²

42
- 0010314468
- Prological language processing
- van den Brand M.G.J., Parigot D. (Eds.), ENTCS, Elsevier, Amsterdam, April
- (2001) Proc. LDTA'01 , vol.44
- Lämmel, R.¹ Riedewald, G.²

43
- 0010402015
- Specification of rewriting strategies
- Sellink M.P.A. (Ed.), Second International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF'97), Springer, Berlin, November
- (1997) Electronic Workshops in Computing
- Luttik, B.¹ Visser, E.²

44
- 0005258925
- Type-safe functional strategies
- St Andrews, July
- (2000) Draft Proceedings of SFP'00
- Lämmel, R.¹ Visser, J.²

45
- 84862047883
- Typed combinators for generic traversal
- Technical Report SEN-R0124, Centrum voor Wiskunde en Informatica, August; also published in Proceedings of PADL'02, Springer, Berlin
- (2001) LNCS , vol.2257 , pp. 34
- Lämmel, R.¹ Visser, J.²

46
- 0141442904
- Jeuring [32]
- Dealing with large bananas , pp. 46-59
- Lämmel, R.¹ Visser, J.² Kort, J.³

47
- 18944406673
- Transformation of SDF syntax definitions in the ASF+SDF Meta-Environment
- van den Brand M., Parigot D. (Eds.), Proceedings of the First Workshop on Language Descriptions, Tools and Applications (LDTA'01), Genova, Italy, April 7, 2001, ENTCS, Elsevier, Amsterdam, April
- (2001) Satellite event of ETAPS'2001 , vol.44
- Lämmel, R.¹ Wachsmuth, G.²

48
- 84957703507
- Calculate polytypically!
- Kuchen H., Swierstra S.D. (Eds.), International Symposium on Progr. Languages, Implementations, Logics and Programs (PLILP'96), Springer, Berlin
- (1996) Lecture Notes in Computer Science , vol.1140 , pp. 1-16
- Meertens, L.¹

49
- 0010364810
- Asilomar, Pacific Grove, CA, USA, September
- (1996) Proceedings of the 1st International Workshop on Rewriting Logic and its Applications, RWLW'96 , vol.4
- Meseguer, J.¹

50
- 0018105622
- A theory of type polymorphism in programming
- (1978) Journal of Computer and System Sciences , vol.17 , Issue.3 , pp. 348-375
- Milner, R.¹

51
- 4243685778
- PhD thesis, Université Henri Poincaré - Nancy 1
- (1999) Compilation de règles de réécriture et de stratégies non-déterministes
- Moreau, P.-E.¹

52
- 0020795684
- A higher-order implementation of rewriting
- (1983) Science of Computer Programming , vol.3 , Issue.2 , pp. 119-149
- Paulson, L.C.¹

53
- 0040920745
- RML - A new language and implementation for natural semantics
- Hermenegildo M., Penjam J. (Eds.), Proceedings of the 6th International Symposium on Programming Language Implementation and Logic Programming, PLILP'94, Springer, Berlin
- (1994) Lecture Notes in Computer Science , vol.844 , pp. 117-131
- Pettersson, M.¹

54
- 84976827574
- Towards a theory of type structures
- Programming Symposium (Colloque sur la Programmation, Paris), Springer, Berlin
- (1974) Lecture Notes in Computer Science , vol.19 , pp. 408-425
- Reynolds, J.C.¹

55
- 0020919435
- Types, abstraction and parametric polymorphism
- Mason R.E.A. (Ed.), Paris, France, North-Holland, Amsterdam, 19-23 September
- (1983) Proceedings of the 9th IFIP World Computer Congress, Information Processing '83 , pp. 513-523
- Reynolds, J.C.¹

56
- 0004156422
- The structure of typed programming languages
- MIT Press, Cambridge, MA
- (1994) Foundations of Computing Series
- Schmidt, D.A.¹

57
- 0025448350
- A functional theory of exceptions
- (1990) Science of Computer Programming , vol.14 , pp. 25-42
- Spivey, M.¹

58
- 0010404850
- Kirchner and Kirchner [37]
- A core language for rewriting
- Visser, E.¹ Benaissa, Z.²

59
- 0031606558
- Building program optimizers with rewriting strategies
- Baltimore, MD, ACM SIGPLAN September
- (1998) International Conference on Functional Programming (ICFP'98) , pp. 13-26
- Visser, E.¹ Benaissa, Z.² Tolmach, A.³

60
- 4243685779
- Jeuring [32]
- Language independent traversals for program transformation , pp. 86-104
- Visser, E.¹

61
- 84937430401
- Gramlich and Lucas [28]
- A survey of strategies in program transformation systems
- Visser, E.¹

62
- 84944106308
- Theorems for free!
- London, UK, ACM, New York, 11-13 September
- (1989) Proceedings of the 4th International Conference on Funct. Prog. Languages and Computer Arch., FPCA'89 , pp. 347-359
- Wadler, P.¹

63
- 0026998945
- The essence of functional programming
- ACM (Ed.), Albuquerque, NM, January 19-22, ACM, New York
- (1992) Conference record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages , pp. 1-14
- Wadler, P.¹

64
- 0024864871
- How to make ad-hoc polymorphism less ad hoc
- ACM-SIGPLAN ACM-SIGACT (Ed.), Austin, TX, USA, January, ACM, New York
- (1989) Conference Record of the 16th Annual ACM Symposium on Principles of Programming Languages (POPL '89) , pp. 60-76
- Wadler, P.¹ Blott, S.²

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