메뉴 건너뛰기




Volumn 133, Issue 2, 1997, Pages 73-116

Normalization Results for Typeable Rewrite Systems

Author keywords

[No Author keywords available]

Indexed keywords


EID: 0011111917     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.1996.2617     Document Type: Article
Times cited : (24)

References (36)
  • 1
    • 0002534194 scopus 로고
    • The lazy Lambda calculus
    • (D. Turner, Ed.), Addison-Wiley, Reading, MA
    • Abramsky, S. (1990), The lazy Lambda calculus, in "Research Topics in Functional Programming," (D. Turner, Ed.), pp. 65-117, Addison-Wiley, Reading, MA.
    • (1990) Research Topics in Functional Programming , pp. 65-117
    • Abramsky, S.1
  • 2
    • 85026780616 scopus 로고
    • Syntactic definitions of undefined: On defining the undefined
    • Proceedings of TACS'94. International Symposium on Theoretical Aspects of Computer Software, Sendai, Japan(M. Hagiya and J. C. Mitchell, Eds.), Springer-Verlag, Berlin/New York
    • Ariola, Z., Kennaway, R., Klop, J. W., Sleep, R., and de Vries, F-J. (1994), Syntactic definitions of undefined: On defining the undefined, in "Proceedings of TACS'94. International Symposium on Theoretical Aspects of Computer Software, Sendai, Japan" (M. Hagiya and J. C. Mitchell, Eds.), Lecture Notes in Computer Science, Vol. 789, pp. 543-554, Springer-Verlag, Berlin/New York.
    • (1994) Lecture Notes in Computer Science , vol.789 , pp. 543-554
    • Ariola, Z.1    Kennaway, R.2    Klop, J.W.3    Sleep, R.4    De Vries, F.-J.5
  • 3
    • 0000415462 scopus 로고
    • Complete restrictions of the intersection type discipline
    • van Bakel, S. (1992), Complete restrictions of the intersection type discipline, Theoret. Comput. Sci. 102, 135-163.
    • (1992) Theoret. Comput. Sci. , vol.102 , pp. 135-163
    • Van Bakel, S.1
  • 4
    • 84947945674 scopus 로고
    • Partial intersection type assignment in application term rewriting systems
    • Proceedings of TLCA'93. International Conference on Typed Lambda Calculi and Applications, Utrecht the Netherlands" (M. Bezem and J. F. Groote, Eds.), Springer-Verlag, Berlin/New York
    • van Bakel, S. (1993a), Partial intersection type assignment in application term rewriting systems, in "Proceedings of TLCA'93. International Conference on Typed Lambda Calculi and Applications, Utrecht the Netherlands" (M. Bezem and J. F. Groote, Eds.), Lecture Notes in Computer Science, Vol. 884, pp. 29-44, Springer-Verlag, Berlin/New York.
    • (1993) Lecture Notes in Computer Science , vol.884 , pp. 29-44
    • Van Bakel, S.1
  • 5
    • 0000039172 scopus 로고
    • Principal type schemes for the strict type assignment system
    • van Bakel, S. (1993b), Principal type schemes for the strict type assignment system, Logic and Comput. 3(6), 643-670.
    • (1993) Logic and Comput. , vol.3 , Issue.6 , pp. 643-670
    • Van Bakel, S.1
  • 6
    • 0029406599 scopus 로고
    • Intersection type assignment systems
    • van Bakel, S. (1995), Intersection type assignment systems, Theoret. Comput. Sci. 151(2), 385-435.
    • (1995) Theoret Comput. Sci. , vol.151 , Issue.2 , pp. 385-435
    • Van Bakel, S.1
  • 7
    • 0030144653 scopus 로고    scopus 로고
    • Rank 2 intersection type assignment in term rewriting systems
    • van Bakel, S. (1996), Rank 2 intersection type assignment in term rewriting systems, Fund. Informat. 26(2), 141-166.
    • (1996) Fund. Informat. , vol.26 , Issue.2 , pp. 141-166
    • Van Bakel, S.1
  • 8
    • 84958661128 scopus 로고
    • Strong normalization of typeable rewrite systems
    • Proceedings of HOA'93. First International Workshop on Higher Order Algebra, Logic and Term Rewriting, Amsterdam, the Netherlands, Selected Papers (J. Heering, K. Meinke, B. Mõller, and T. Nipkow, Eds.), Springer-Verlag, Berlin/ New York
    • van Bakel, S., and Fernández, M. (1994), Strong normalization of typeable rewrite systems, in "Proceedings of HOA'93. First International Workshop on Higher Order Algebra, Logic and Term Rewriting, Amsterdam, the Netherlands, Selected Papers" (J. Heering, K. Meinke, B. Mõller, and T. Nipkow, Eds.), Lecture Notes in Computer Science, Vol. 816, pp. 20-39, Springer-Verlag, Berlin/ New York.
    • (1994) Lecture Notes in Computer Science , vol.816 , pp. 20-39
    • Van Bakel, S.1    Fernández, M.2
  • 9
    • 84947917102 scopus 로고
    • (Head-)normalization of typeable rewrite systems
    • Proceedings of RTA'95. 6th International Conference on Rewriting Techniques and Applications, Kaiserslautern, Germany (J. Hsiang, Ed.), Springer-Verlag, Berlin/New York
    • van Bakel, S., and Fernández, M. (1995), (Head-)normalization of typeable rewrite systems, in "Proceedings of RTA'95. 6th International Conference on Rewriting Techniques and Applications, Kaiserslautern, Germany" (J. Hsiang, Ed.), Lecture Notes in Computer Science, Vol. 914, pp. 279-293, Springer-Verlag, Berlin/New York.
    • (1995) Lecture Notes in Computer Science , vol.914 , pp. 279-293
    • Van Bakel, S.1    Fernández, M.2
  • 10
    • 84969356716 scopus 로고
    • Partial type assignment in left linear applicative term rewriting system
    • Proceedings of CAAP'92. 17th Colloquium on Trees in Algebra and Programming, Rennes, France(J.-C. Raoult, Ed.), Springer-Verlag, Berlin/New York
    • van Bakel, S., Smetsers, S., and Brock, S. (1992), Partial type assignment in left linear applicative term rewriting system, in "Proceedings of CAAP'92. 17th Colloquium on Trees in Algebra and Programming, Rennes, France" (J.-C. Raoult, Ed.), Lecture Notes in Computer Science, Vol. 581, pp. 300-321, Springer-Verlag, Berlin/New York.
    • (1992) Lecture Notes in Computer Science , vol.581 , pp. 300-321
    • Van Bakel, S.1    Smetsers, S.2    Brock, S.3
  • 11
    • 21144483037 scopus 로고
    • Combining first and higher order rewrite systems with type assignment systems
    • Proceedings of TCLA'93. International Conference on Typed Lambda Calculi and Applications, Utrecht, the Netherlands (M. Bezem, and J. F. Groote, Eds.), Springer-Verlag, Berlin/New York
    • Barbanera, F., and Fernández, M. (1993), Combining first and higher order rewrite systems with type assignment systems, in, "Proceedings of TCLA'93. International Conference on Typed Lambda Calculi and Applications, Utrecht, the Netherlands" (M. Bezem, and J. F. Groote, Eds.), Lecture Notes in Computer Science, Vol. 664, pp. 60-74, Springer-Verlag, Berlin/New York.
    • (1993) Lecture Notes in Computer Science , vol.664 , pp. 60-74
    • Barbanera, F.1    Fernández, M.2
  • 14
    • 0000807910 scopus 로고
    • A filter lambda model and the completeness of type assignment
    • Barendregt, H., Coppo, M., and Dezani-Ciancaglini, M. (1983), A filter lambda model and the completeness of type assignment, J. Symbolic Logic 48(4), 931-940.
    • (1983) J. Symbolic Logic , vol.48 , Issue.4 , pp. 931-940
    • Barendregt, H.1    Coppo, M.2    Dezani-Ciancaglini, M.3
  • 15
    • 84947921177 scopus 로고
    • Term graph rewriting
    • Proceedings of PARLE, Parallel Architectures and Languages Europe, Eindhoven, The Netherlands, Springer-Verlag, Berlin/New York
    • Barendregt, H. P., van Eekelen, M. C. J. D., Glauert, J. R. W., Kennaway, J. R., Plasmeijer, M. J., and Sleep, M. R. (1987), Term graph rewriting, in "Proceedings of PARLE, Parallel Architectures and Languages Europe, Eindhoven, The Netherlands," Lecture Notes in Computer Science, Vol. 259-II, pp. 141-158, Springer-Verlag, Berlin/New York.
    • (1987) Lecture Notes in Computer Science , vol.2-259 , pp. 141-158
    • 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
  • 16
    • 84959598856 scopus 로고
    • Conventional and Uniqueness Typing in Graph Rewrite Systems
    • Proceedings of FST&TCS'93. 13th Conference on Foundations of Software Technology and Theoretical Computer Science, Bombay, India (R. K. Shyamasunda, Ed.), Springer-Verlag, Berlin/New York
    • Barendsen, E., and Smetsers, S. (1993), Conventional and Uniqueness Typing in Graph Rewrite Systems, in "Proceedings of FST&TCS'93. 13th Conference on Foundations of Software Technology and Theoretical Computer Science, Bombay, India" (R. K. Shyamasunda, Ed.), Lecture Notes in Computer Science, Vol. 761, pp. 41-52, Springer-Verlag, Berlin/New York.
    • (1993) Lecture Notes in Computer Science , vol.761 , pp. 41-52
    • Barendsen, E.1    Smetsers, S.2
  • 17
    • 84987215842 scopus 로고
    • Clean - A language for functional graph rewriting
    • Proceedings of the Third International Conference on Functional Programming Languages and Computer Architecture, Portland, Springer-Verlag, Berlin/New York
    • Brus, T., van Eekelen, M. C. J. D., van Leer, M. O., and Plasmeijer, M. J. (1987), Clean - A language for functional graph rewriting, in "Proceedings of the Third International Conference on Functional Programming Languages and Computer Architecture, Portland," Lecture Notes in Computer Science, Vol. 274, pp. 364-368, Springer-Verlag, Berlin/New York.
    • (1987) Lecture Notes in Computer Science , vol.274 , pp. 364-368
    • Brus, T.1    Van Eekelen, M.C.J.D.2    Van Leer, M.O.3    Plasmeijer, M.J.4
  • 18
    • 84972495850 scopus 로고
    • An extension of the basic functionality theory for the λ-calculus
    • Coppo, M., and Dezani-Ciancaglini, M. (1980), An extension of the basic functionality theory for the λ-calculus, Notre Dame J. Formal Logic 21(4), 685-693.
    • (1980) Notre Dame J. Formal Logic , vol.21 , Issue.4 , pp. 685-693
    • Coppo, M.1    Dezani-Ciancaglini, M.2
  • 21
    • 0000029077 scopus 로고
    • Rewrite systems
    • J. van Leeuwen, Ed., Chap. 6, North-Holland, Amsterdam
    • Dershowitz, N., and Jouannaud, J. P. (1990), Rewrite systems, in "Handbook of Theoretical Computer Science" (J. van Leeuwen, Ed.), Vol. B, Chap. 6, pp. 245-320, North-Holland, Amsterdam.
    • (1990) Handbook of Theoretical Computer Science , vol.B , pp. 245-320
    • Dershowitz, N.1    Jouannaud, J.P.2
  • 23
    • 84947939145 scopus 로고
    • Modular termination of term rewriting systems revisited
    • Recent Trends in Data Type Specification. 10th Workshop on Specification of Abstract Data Types, S. Margherita, Italy (E. Astesiano and A. Tarlecki, Eds.), Springer-Verlag, Berlin/New York
    • Fernández, M., and Jouannaud, J. P. (1994), Modular termination of term rewriting systems revisited, in "Recent Trends in Data Type Specification. 10th Workshop on Specification of Abstract Data Types, S. Margherita, Italy" (E. Astesiano and A. Tarlecki, Eds.), Lecture Notes in Computer Science, Vol. 906, pp. 255-272, Springer-Verlag, Berlin/New York.
    • (1994) Lecture Notes in Computer Science , vol.906 , pp. 255-272
    • Fernández, M.1    Jouannaud, J.P.2
  • 26
    • 84968503882 scopus 로고
    • The principal type scheme of an object in combinatory logic
    • Hindley, J. R. (1969). The principal type scheme of an object in combinatory logic, Trans. Amer. Math. Soc. 146, 29-60.
    • (1969) Trans. Amer. Math. Soc. , vol.146 , pp. 29-60
    • Hindley, J.R.1
  • 28
    • 0011569884 scopus 로고    scopus 로고
    • Confluence of curried term-rewriting systems
    • Kahrs, S. (1996), Confluence of curried term-rewriting systems, J. Symbolic Comput. 19(6), 601-623.
    • (1996) J. Symbolic Comput. , vol.19 , Issue.6 , pp. 601-623
    • Kahrs, S.1
  • 30
    • 0000596058 scopus 로고
    • Term rewriting systems: A tutorial
    • Klop, J. W. (1987), Term rewriting systems: A tutorial, EATCS Bul. 32, 143-182.
    • (1987) EATCS Bul. , vol.32 , pp. 143-182
    • Klop, J.W.1
  • 31
    • 0001834942 scopus 로고
    • Term rewriting systems
    • S. Abramsky, Dov. M. Gabbay, and T. S. E. Maibaum, Eds., Chap. 1, Clarendon Press, Oxford
    • Klop, J. W. (1992), Term rewriting systems, in "Handbook of Logic in Computer Science" (S. Abramsky, Dov. M. Gabbay, and T. S. E. Maibaum, Eds.), Vol. 2, Chap. 1, pp. 1-116, Clarendon Press, Oxford.
    • (1992) Handbook of Logic in Computer Science , vol.2 , pp. 1-116
    • Klop, J.W.1
  • 32
    • 0018105622 scopus 로고
    • A theory of type polymorphism in programming
    • Milner, R. (1978), A theory of type polymorphism in programming, J. Comput. System Sci. 17, 348-375.
    • (1978) J. Comput. System Sci. , vol.17 , pp. 348-375
    • Milner, R.1
  • 34
    • 0005594251 scopus 로고
    • Ph.D. thesis CMU-CS-91-205, Carnegie Mellon University, School of Computer Science, Pittsburgh
    • Pierce, B. C. (1991), "Programming with Intersection Types and Bounded Polymorphism," Ph.D. thesis CMU-CS-91-205, Carnegie Mellon University, School of Computer Science, Pittsburgh.
    • (1991) Programming with Intersection Types and Bounded Polymorphism
    • Pierce, B.C.1
  • 35
    • 0001748856 scopus 로고
    • Intensional interpretation of functionals of finite type I
    • Tait, W. W. (1967), Intensional interpretation of functionals of finite type I, J. Symbolic Logic 32(2), 198-223.
    • (1967) J. Symbolic Logic , vol.32 , Issue.2 , pp. 198-223
    • Tait, W.W.1


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