PROTOS-L related publications

C. Beierle and L. Plümer, editors. Logic Programming: Formal Methods and Practical Applications. Studies in Computer Science and Artificial Intelligence. Elsevier Science B.V./North-Holland, Amsterdam, Holland, 1995.
Available: Details, BibTeX

Gregor Meyer. On Types and Type Consistency in Logic Programming, volume 235 of Dissertationen zur Künstlichen Intelligenz (DISKI). Akademische Verlagsgesellschaft, Berlin, 2000.
Available: BibTeX

C. Beierle and G. Meyer. Using types as approximations for type checking Prolog programs. In A. Middeldorp and T. Sato, editors, Functional and Logic Programming, 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999, Proceedings, volume 1722 of Lecture Notes in Computer Science, pages 251-266. Springer, 1999.
Available: URL, PDF, BibTeX

Reinhold Kloos Christoph Beierle and Gregor Meyer. A pragmatic type concept for prolog supporting polymorphism, subtyping, and meta-programming. In Sandro Etalle and Jan-Georg Smaus, editors, Electronic Notes in Theoretical Computer Science, volume 30. Elsevier Science Publishers, 2000.
Available: Abstract, PS, BibTeX

G. Meyer and C. Beierle. Dimensions of types in logic programming. In W. Bibel and P. H. Schmitt, editors, Automated Deduction - A Basis for Applications, chapter 10. Kluwer Academic Publishers, Netherlands, 1998.
Available: BibTeX

C. Beierle and E. Börger. Refinement of a typed WAM extension by polymorphic order-sorted types. Formal Aspects of Computing, 8(5):539-564, 1996.
Available: Abstract, DVI, PS, PDF, BibTeX

C. Beierle and E. Börger. Specification and correctness proof of a WAM extension for type-constraint logic programming. Formal Aspects of Computing, 8(4):428-462, 1996.
Available: Abstract, DVI, PS, BibTeX

G. Meyer. On the use of types in logic programming. Informatik Fachbericht 1999, FernUniversität Hagen, June 1996.
Available: BibTeX

G. Meyer. Type checking and type inferencing for logic programs with subtypes and parametric polymorphism. Informatik Fachbericht 200, FernUniversität Hagen, June 1996.
Available: BibTeX

C. Beierle. Concepts, implementation, and applications of a typed logic programming language. In C. Beierle and L. Plümer, editors, Logic Programming: Formal Methods and Practical Applications, Studies in Computer Science and Artificial Intelligence, chapter 5, pages 139-167. Elsevier Science B.V./North-Holland, Amsterdam, Holland, 1995.
Available: BibTeX

G. Meyer. Polymorphic feature types. In C. Beierle and L. Plümer, editors, Logic Programming: Formal Methods and Practical Applications, Studies in Computer Science and Artificial Intelligence, chapter 6, pages 169-203. Elsevier Science B.V./North-Holland, Amsterdam, Holland, 1995.
Available: BibTeX

C. Beierle. Type inferencing for polymorphic order-sorted logic programs. In L. Sterling, editor, Proceedings of the Twelfth International Conference on Logic Programming, pages 765-780, Cambridge, MA, 1995. MIT Press.
Available: Abstract, DVI, PS, BibTeX

G. Meyer. A framework for object-oriented logic programming. In L. Dreschler-Fischer and S. Pribbenow, editors, 19th Annual German Conference on Artificial Intelligence, Workshops, Bielefeld, September 1995.
Available: BibTeX

C. Beierle and G. Meyer. Run-time type computations in the Warren Abstract Machine. Journal of Logic Programming, 18(2):123-148, February 1994.
Available: Abstract, DVI, PS, BibTeX

G. Meyer. Logisches Programmieren mit Typhierarchien -- open-world vs. closed-world. In J. Kunze and H. Stoyan, editors, 18. Deutsche Jahrestagung f. Künstliche Intelligenz, Workshops, Saarbrücken, September 1994.
Available: BibTeX

G. Meyer. Zur Modellierung in der ordnungssortierten Programmierung. In N. Fuchs, editor, Workshop on Logic Programming, Zürich, 1994.
Available: BibTeX

G. Meyer and C. Beierle. PROTOS-L Users's Manual. Working Paper No 5, IBM Germany, Scientific Center, Institute for Logics and Linguistics, Heidelberg, Juli 1994.
Available: BibTeX

C. Beierle, S. Böttcher, and G. Meyer. Report of the Logic Programming Language PROTOS-L (revised version). Working Paper No 4, IBM Germany, Scientific Center, Inst. for Logics and Linguistics, Heidelberg, Juli 1994.
Available: Abstract, DVI, PS, BibTeX

G. Meyer, C. Beierle, and R. Scheubrein. Aspects of coupling logic programming and databases. In H.-H. Bock, W. Lenski, and M. M. Richter, editors, Information Systems and Data Analysis, volume 4 of Studies in Classification, Data Analysis, and Knowledge Organization, pages 111-125. Springer-Verlag, 1994.
Available: BibTeX

G. Meyer and S. Weigel. Polymorphe Featuretypen - Typinferenz und Typüberprüfung. In H. Boley, F. Bry, and U. Geske, editors, Proc. Workshop ``Neuere Entwicklungen der deklarativen KI-Programmierung'' auf der KI-93, Humboldt-Universität, Berlin. Research Report RR-93-35, DFKI Kaiserslautern, September 1993.
Available: BibTeX

G. Meyer. Zusicherungen zur Diskussion gestellt. Softwaretechnik-Trends, Mitteilungen der GI-Fachgruppe 'Software Engineering', 13(2):55-61, May 1993.
Available: BibTeX

C. Beierle. Logic programming with typed unification and its realization on an abstract machine. IBM Journal of Research and Development, 36(3):375-390, May 1992.
Available: BibTeX

G. Meyer, C. Beierle, and R. Scheubrein. Persistente Datenspeicherung in einer logischen Programmiersprache mit relationalen und deduktiven Datenbanken. IWBS Report 219, IBM Germany, Scientific Center, Institute for Knowledge Based Systems, Stuttgart, June 1992.
Available: BibTeX

C. Beierle, G. Meyer, and H. Semle. Extending the Warren Abstract Machine to polymorphic order-sorted resolution. In V. Saraswat and K. Ueda, editors, Logic Programming: Proceedings of the 1991 International Symposium, pages 272-286, Cambridge, MA, 1991. MIT Press.
Available: BibTeX

C. Beierle and E. Börger. Correctness proof for the WAM with types. In E. Börger, H. Kleine Büning, G. Jäger, and M. M. Richter, editors, Computer Science Logic - CSL'91, volume 626 of Lecture Notes in Computer Science, pages 15-34. Springer-Verlag, 1992.
Available: BibTeX