메뉴 건너뛰기




Volumn 75, Issue , 2003, Pages 1-20

Rank 2 types for term graph rewriting: Extended abstract

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; GRAPH THEORY; SET THEORY; THEOREM PROVING;

EID: 18944383102     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80776-X     Document Type: Conference Paper
Times cited : (2)

References (39)
  • 1
    • 0030170128 scopus 로고    scopus 로고
    • Equational term graph rewriting
    • Extended version: CWI Report CS-R9552
    • Z. M. Ariola and J. W. Klop. Equational term graph rewriting. Fundamentae Informaticae, 26(3,4):207-240, 1996. Extended version: CWI Report CS-R9552.
    • (1996) Fundamentae Informaticae , vol.26 , Issue.3-4 , pp. 207-240
    • Ariola, Z.M.1    Klop, J.W.2
  • 2
    • 0000415462 scopus 로고
    • Complete restrictions of the Intersection Type Discipline
    • van Bakel S. Complete restrictions of the Intersection Type Discipline. Theoretical Computer Science. 102:(1):1992;135-163
    • (1992) Theoretical Computer Science , vol.102 , Issue.1 , pp. 135-163
    • Van Bakel, S.1
  • 3
    • 0029406599 scopus 로고
    • Intersection Type Assignment Systems
    • van Bakel S. Intersection Type Assignment Systems. Theoretical Computer Science. 151:(2):1995;385-435
    • (1995) Theoretical Computer Science , vol.151 , Issue.2 , pp. 385-435
    • Van Bakel, S.1
  • 4
    • 0030144653 scopus 로고    scopus 로고
    • Rank 2 Intersection Type Assignment in Term Rewriting Systems
    • van Bakel S. Rank 2 Intersection Type Assignment in Term Rewriting Systems. Fundamenta Informaticae. 2:(26):1996;141-166
    • (1996) Fundamenta Informaticae , vol.2 , Issue.26 , pp. 141-166
    • Van Bakel, S.1
  • 5
    • 84977588686 scopus 로고    scopus 로고
    • Polymorphic intersection type assignment for rewrite systems with abstraction and β-rule
    • Thierry Coquand, Peter Dybjer, Bengt Nordström, and Jan Smith, editors, Types for Proofs and Programs. International Workshop TYPES'99, Lökeberg, Sweden, Sected Papers Springer-Verlag
    • S. van Bakel, F. Barbanera, and M. Fernández. Polymorphic Intersection Type Assignment for Rewrite Systems with Abstraction and β-rule. In Thierry Coquand, Peter Dybjer, Bengt Nordström, and Jan Smith, editors, Types for Proofs and Programs. International Workshop TYPES'99, Lökeberg, Sweden, Sected Papers, volume 1956 of Lecture Notes in Computer Science, pages 41-60. Springer-Verlag, 2000.
    • (2000) Lecture Notes in Computer Science , vol.1956 , pp. 41-60
    • Van Bakel, S.1    Barbanera, F.2    Fernández, M.3
  • 6
    • 0011111917 scopus 로고    scopus 로고
    • Normalization Results for Typeable Rewrite Systems
    • van Bakel S., Fernández M. Normalization Results for Typeable Rewrite Systems. Information and Computation. 133:(2):1997;73-116
    • (1997) Information and Computation , vol.133 , Issue.2 , pp. 73-116
    • Van Bakel, S.1    Fernández, M.2
  • 7
    • 84969356716 scopus 로고
    • Partial type assignment in left linear applicative term rewriting systems
    • J.-C. Raoult, editor, Proceedings of CAAP '92. 17th Colloquim on Trees in Algebra and Programming, Rennes, France Springer-Verlag
    • S. van Bake, S. Smetsers, and S. Brock. Partial Type Assignment in Left Linear Applicative Term Rewriting Systems. In J.-C. Raoult, editor, Proceedings of CAAP '92. 17th Colloquim on Trees in Algebra and Programming, Rennes, France, volume 581 of Lecture Notes in Computer Science, pages 300-321. Springer-Verlag, 1992.
    • (1992) Lecture Notes in Computer Science , vol.581 , pp. 300-321
    • Van Bake, S.1    Smetsers, S.2    Brock, S.3
  • 11
    • 84916416073 scopus 로고
    • Towards an intermediate language based on graph rewriting
    • Proceedings of PARLE, Parallel Architectures and Languages Europe, Eindhoven, The Netherlands Springer-Verlag
    • H.P. Barendregt, M.C.J.D. van Eekelen, J.R.W. Glauert, J.R. Kennaway, M.J. Plasmeijer, and M.R. Sleep. Towards an Intermediate Language based on Graph Rewriting. In Proceedings of PARLE, Parallel Architectures and Languages Europe, Eindhoven, The Netherlands, volume 259-II of Lecture Notes in Computer Science, pages 159-175. Springer-Verlag. 1987.
    • (1987) Lecture Notes in Computer Science , vol.259 II , pp. 159-175
    • Barendregt, H.P.1    Van Eekelen, M.C.J.D.2    Glauert, J.R.W.3    Kennaway, J.R.4    Plasmeijer, M.J.5    Sleep, M.R.6
  • 12
    • 21744443536 scopus 로고
    • Extending graph rewriting with copying
    • Hans Jürgen Schneider and Hartmut Ehrig, editors, Proceedings of International Workshop 'graph Transformations in Computer Science', Daghstuhl, Germany, January 1993 Springer-Verlag
    • E. Barendsen and S. Smetsers. Extending Graph Rewriting with Copying. In Hans Jürgen Schneider and Hartmut Ehrig, editors, Proceedings of International Workshop 'graph Transformations in Computer Science', Daghstuhl, Germany, January 1993, volume 776 of Lecture Notes in Computer Science, pages 51-70. Springer-Verlag, 1994.
    • (1994) Lecture Notes in Computer Science , vol.776 , pp. 51-70
    • Barendsen, E.1    Smetsers, S.2
  • 15
    • 0003911227 scopus 로고
    • PhD thesis, University of Edinburgh, Department of Computer Science, Edinburgh Thesis CST-33-85
    • L.M.M. Damas. Type Assignment in Programming Languages. PhD thesis, University of Edinburgh, Department of Computer Science, Edinburgh, 1985. Thesis CST-33-85.
    • (1985) Type Assignment in Programming Languages
    • Damas, L.M.M.1
  • 16
    • 84878633479 scopus 로고    scopus 로고
    • Typing local definitions and conditional expressions with rank 2 intersection
    • Proceedings of FOSSACS'00 Springer-Verlag
    • F. Damiani. Typing local definitions and conditional expressions with rank 2 intersection. In Proceedings of FOSSACS'00, volume 1784 of Lecture Notes in Computer Science, pages 82-97. springer-Verlag, 2000.
    • (2000) Lecture Notes in Computer Science , vol.1784 , pp. 82-97
    • Damiani, F.1
  • 17
    • 4444330924 scopus 로고
    • A decidable intersection type system based on relevance
    • M. Hagiya and J.C. Mitchell, editors, Proceedings of TACS '94. International Symposium on Theoretical Aspects of Computer Software, Sendai, Japan Springer-Verlag
    • F. Damiani and P. Giannini. A Decidable Intersection type System based on Relevance. In M. Hagiya and J.C. Mitchell, editors, Proceedings of TACS '94. International Symposium on Theoretical Aspects of Computer Software, Sendai, japan, volume 789 of Lecture Notes in Computer Science, pages 707-725. Springer-Verlag, 1994.
    • (1994) Lecture Notes in Computer Science , vol.789 , pp. 707-725
    • Damiani, F.1    Giannini, P.2
  • 18
    • 84958961452 scopus 로고    scopus 로고
    • Detecting and removing dead-code using rank 2 intersection
    • Proceedings of International Workshop TYPES'96, Selected Papers Springer-Verlag
    • F. Damiani and F. Prost. Detecting and Removing Dead-code using Rank 2 Intersection. In Proceedings of International Workshop TYPES'96, Selected Papers, volume 1512 of Lecture Notes in Computer Science, pages 66-87. springer-Verlag, 1998.
    • (1998) Lecture Notes in Computer Science , vol.1512 , pp. 66-87
    • Damiani, F.1    Prost, F.2
  • 20
    • 84958771359 scopus 로고    scopus 로고
    • Graph rewriting semantics for functional programming languages
    • Dirk van Dalen, editor, Proceedings of CSL '96, Fifth Annual conference of the European Association for Computer Science Logic(EACSL) Springer-Verlag
    • M. Eekelen, S. Smetsers, and R. Plasmeijer. Graph Rewriting Semantics for Functional Programming Languages. In Dirk van Dalen, editor, Proceedings of CSL '96, Fifth Annual conference of the European Association for Computer Science Logic(EACSL), volume 1258 of Lecture Notes in Computer Science, pages 106-128. Springer-Verlag, 1996.
    • (1996) Lecture Notes in Computer Science , vol.1258 , pp. 106-128
    • Eekelen, M.1    Smetsers, S.2    Plasmeijer, R.3
  • 21
    • 0000604168 scopus 로고
    • The System F of Variable Types, Fifteen years later
    • Girard J.Y. The System F of Variable Types, Fifteen years later. Theoretical Computer Science. 45:1986;159-192
    • (1986) Theoretical Computer Science , vol.45 , pp. 159-192
    • Girard, J.Y.1
  • 23
    • 0342415270 scopus 로고
    • Rank 2 type systems and recursive definitions
    • Laboratory for Computer Science Massachusetts Institute of Technology
    • T. Jim. Rank 2 type systems and recursive definitions. Technical Memorandum MIT/LCS/TM-531, Laboratory for Computer Science Massachusetts Institute of Technology, 1995.
    • (1995) Technical Memorandum , vol.MIT-LCS-TM-531
    • Jim, T.1
  • 25
    • 4243181897 scopus 로고
    • The adequacy of term graph rewriting for simulating term rewriting
    • M.R. Sleep, M.J. Plasmeijer, & M.C.D.J. van Eekelen. John Wiley & Sons
    • Kennaway J.R., Klop J.W., Sleep M.R., de Vries F.J. The adequacy of term graph rewriting for simulating term rewriting. Sleep M.R., Plasmeijer M.J., van Eekelen M.C.D.J. Term Graph Rewriting: Teory and Practice. 1993;157-168 John Wiley & Sons
    • (1993) Term Graph Rewriting: Teory and Practice , pp. 157-168
    • Kennaway, J.R.1    Klop, J.W.2    Sleep, M.R.3    De Vries, F.J.4
  • 28
    • 38249011301 scopus 로고
    • Type reconstruction in finite-rank fragments of the second-order λ-calculus
    • Kfoury A.J., Tiuryn J. Type reconstruction in finite-rank fragments of the second-order λ-calculus. Information and Computation. 98:(2):1992;228-257
    • (1992) Information and Computation , vol.98 , Issue.2 , pp. 228-257
    • Kfoury, A.J.1    Tiuryn, J.2
  • 32
  • 33
    • 85035779792 scopus 로고
    • Concurrent clean
    • Proceedings of PARLE '91, Parallel Architectures and Languages Europe, Eindhoven, The Netherlands Springer-Verlag
    • E.G.J.M.H. Nöocker, J.E.W. Smetsers, M.C.J.D. van Eekelen, and M.J. Plasmeijer. Concurrent Clean. In Proceedings of PARLE '91, Parallel Architectures and Languages Europe, Eindhoven, The Netherlands, volume 506-II of Lecture Notes in Computer Science, pages 202-219. Springer-Verlag, 1991.
    • (1991) Lecture Notes in Computer Science , vol.506 II , pp. 202-219
    • Nöocker, E.G.J.M.H.1    Smetsers, J.E.W.2    Van Eekelen, M.C.J.D.3    Plasmeijer, M.J.4
  • 34
    • 84976827574 scopus 로고
    • Towards a theory of type structures
    • B. Robinet, editor, Proceedings of Programming Symposium, Paris, France. Springer-Verlag
    • J.C. Reynolds. Towards a Theory of Type Structures. In B. Robinet, editor, Proceedings of Programming Symposium, Paris, France, volume 19 of Lecture Notes in Computer Science, pages 408-425. Springer-Verlag, 1974.
    • (1974) Lecture Notes in Computer Science , vol.19 , pp. 408-425
    • Reynolds, J.C.1
  • 35
    • 84918983692 scopus 로고
    • A machine-oriented logic based on the resolution principle
    • Robinson J.A. A machine-oriented logic based on the resolution principle. Journal of the ACM. 12:(1):1965;23-41
    • (1965) Journal of the ACM , vol.12 , Issue.1 , pp. 23-41
    • Robinson, J.A.1
  • 37
    • 0003847595 scopus 로고
    • R. Sleep, M.J. Plasmeijer, & M.C.J.C. van Eekelen. Wiley
    • Sleep R., Plasmeijer M.J., van Eekelen M.C.J.C. Term Graph Rewriting. Theory and Practice. 1993;Wiley
    • (1993) Term Graph Rewriting. Theory and Practice
  • 39
    • 1242331148 scopus 로고
    • Embedding a Second-Order Type System into an Intersection Type System
    • Yokohuchi H. Embedding a Second-Order Type System into an Intersection Type System. Information and Computation. 117:1995;206-220
    • (1995) Information and Computation , vol.117 , pp. 206-220
    • Yokohuchi, H.1


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