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

메뉴 건너뛰기

Theoretical Computer Science

Volumn 269, Issue 1-2, 2001, Pages 135-162

Higher-order matching for program transformation

(2) De Moor, Oege a Sittampalam, Ganesh a

a UNIVERSITY OF OXFORD (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL TRANSFORMATIONS; SET THEORY;

PROGRAM TRANSFORMATIONS;

PROGRAMMING THEORY;

EID: 0035965452 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/S0304-3975(00)00402-3 Document Type: Article

Times cited : (22)

References (25)

1
- 0002809988
- The Trafola-H subsystem
- B. Hoffmann, B. Krieg-Brückner (Eds.) Program Development by Specification and Transformation, Springer, Berlin
- (1993) Lecture Notes in Computer Science , vol.680 , pp. 539-576
- Alt, M.¹ Fecht, C.² Ferdinand, C.³ Wilhelm, R.⁴

2
- 0002869836
- Tech. Report MSR TR-98-55
- (1998) Pattern matching for program generation: A user manual
- Biggerstaff, T.¹

3
- 84976761504
- The promotion and accumulation strategies in functional programming
- (1984) ACM Trans. Programming, Languages Systems , vol.6 , Issue.4 , pp. 487-504
- Bird, R.S.¹

4
- 0004096237
- Introduction to functional programming in Haskell
- Prentice-Hall, Englewood Cliffs, NJ
- (1998) International Series in Computer Science
- Bird, R.S.¹

5
- 21844520904
- A restricted form of higher-order rewriting applied to an HDL semantics
- J. Hsiang (Ed.) Rewriting Techniques and Applications: 6th Internat. Conf., Springer, Berlin
- (1995) Lecture Notes in Computer Science , vol.914 , pp. 309-323
- Boulton, R.J.¹

6
- 0026946172
- More efficient bottom-up multi-pattern matching in trees
- (1992) Theoret. Comput. Sci. , vol.106 , Issue.1 , pp. 21-60
- Cai, J.¹ Paige, R.² Tarjan, R.E.³

7
- 84957622091
- Higher-order matching and tree automata
- M. Nielsen, W. Thomas (Eds.) Proc. Conf. on Computer Science Logic, Springer, Berlin
- (1997) Lecture Notes in Computer Science , vol.1414 , pp. 157-176
- Comon, H.¹

8
- 85094144048
- A language for examining abstract syntax trees
- C. Ramming (Ed.) Usenix
- (1997) Proc. Conf. on Domain-Specific Languages
- Crew, R.F.¹

9
- 84957699853
- Efficient second-order matching
- 7th Internat. Conf. on Rewriting Techniques and Applications, Springer, Berlin
- (1996) Lecture Notes in Computer Science , vol.1103 , pp. 317-331
- Curienn, R.¹ Qian, Z.² Shi, H.³

10
- 0442305061
- Generic program transformation
- Third Internat. Summer School on Advanced Functional Programming, Springer, Berlin
- (1998) Lecture Notes in Computer Science
- De Moor, O.¹ Sittampalam, G.²

11
- 0027611022
- Higher-order unification via combinators
- (1993) Theoret. Comput. Sci. , vol.114 , pp. 273-298
- Dougherty, D.J.¹

12
- 85031915659
- A second-order pattern matching algorithm for the cube of typed lambda calculi
- A. Tarlecki (Ed.) Mathematical Foundations of Computer Science, Springer, Berlin
- (1991) Lecture Notes in Computer Science , vol.520 , pp. 151-160
- Dowek, G.¹

13
- 0026879916
- Third-order matching is decidable
- M. Nielsen, W. Thomas (Eds.) IEEE, New York
- (1992) Logic in Computer Science (LICS) , pp. 2-10
- Dowek, G.¹

14
- 0018050926
- Proving and applying program transformations expressed with second-order patterns
- (1978) Acta Inform. , vol.11 , pp. 31-55
- Huet, G.¹ Lang, B.²

15
- 21844491549
- Towards correct, efficient and reusable transformational developments
- M. Broy, S. Jähnichen (Eds.) KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Springer, Berlin
- (1995) Lecture Notes in Computer Science , vol.1009 , pp. 270-284
- Krieg-Brückner, B.¹ Liu, J.² Shi, H.³ Wolff, B.⁴

16
- 0000968273
- A logic programming language with lambda-abstraction, function variables, and simple unification
- (1991) J. Logic Comput. , vol.1 , pp. 479-536
- Miller, D.¹

17
- 0006706690
- Higher-order unification, polymorphism, and subsorts
- S. Kaplan, M. Okada (Eds.) Proc. 2nd Internat. Workshop on Conditional and Typed Rewriting Systems, Springer, Berlin
- (1990) Lecture Notes in Computer Science , vol.516 , pp. 436-447
- Nipkow, T.¹

18
- 0027208449
- Functional unification of higher-order patterns
- IEEE Computer Society Press, Silver Spring, MD
- (1993) 8th IEEE Symp. on Logic in Computer Science , pp. 64-74
- Nipkow, T.¹

19
- 84990717176
- Viewing a program transformation system at work
- M. Hermenegildo, J. Penjam (Eds.) Joint 6th Internat. Conf. on Programming Language Implementation and Logic Programming, and 4th Internat. Conf. on Algebraic and Logic Programming, Springer, Berlin
- (1994) Lecture Notes in Computer Science , vol.844 , pp. 5-24
- Paige, R.¹

20
- 0032164989
- A transformation-based optimiser for Haskell
- (1998) Sci. Comput. Programming , vol.32 , Issue.1-3 , pp. 3-48
- Peyton-Jones, S.L.¹ Santos, A.L.M.²

21
- 84956694006
- Higher-order abstract syntax
- ACM, New York
- (1988) Proc. SIGPLAN '88 Conf. on Programming Language Design and Implementation , pp. 199-208
- Pfenning, F.¹ Elliott, C.²

22
- 33644506612
- Intentional programming: Innovation in the legacy age
- (1996) IFIP Working group 2.1
- Simonyi, C.¹

23
- 0025488553
- KIDS: A semiautomatic program development system
- (1990) IEEE Trans. Software Eng. , vol.16 , Issue.9 , pp. 1024-1043
- Smith, D.R.¹

24
- 84947418763
- Third-order matching in the presence of type constructors
- M. Dezani-Ciancaglini, G.D. Plotkin (Eds.) Type Lambda Calculi and Applications, Springer, Berlin
- (1995) Lecture Notes in Computer Science , vol.902 , pp. 428-442
- Springintveld, J.¹

25
- 0003335478
- The clausal theory of types
- Cambridge University Press, Cambridge
- (1993) Cambridge Tracts in Theoretical Computer Science , vol.21
- Wolfram, D.A.¹

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