Searching for authors named "Christoph Beierle" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

Type Inferencing for Polymorphic Order-Sorted Logic Programs
by Christoph Beierle — 1995 — PROCEEDINGS OF THE TWELFTH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING
… programs Christoph Beierle FernUniversitat Hagen Fachbereich Informatik Bahnhofstr. 48 D-58084 Hagen…
Cited by 21 (0 self) – Add To MetaCart

Correctness proof for the WAM with types
by Christoph Beierle, Egon Börger — 1992 — Computer Science Logic, volume 626 of LNCS
…Correctness proof for the WAM with types Christoph Beierle Egon Borger IBM Germany, Scientific…
Cited by 12 (5 self) – Add To MetaCart

Partial Specifications of Program Properties
by Christoph Beierle, Manfred Widera, Wissensbasierte Systeme, Fachbereich Informatik
…Partial Specifications of Program Properties Christoph Beierle, Marija Kulaˇs, Manfred Widera…
Add To MetaCart

Report of the Logic Programming Language PROTOS-L
by Christoph Beierle, Stefan Böttcher, Gregor Meyer, Fachhochschule Ulm — 1994 — Revised version: Working Paper 4, IBM Germany, Scientific Center, Institute for Logics and Linguistics
…Report of the Logic Programming Language PROTOS-L (revised version) Christoph Beierle 1 , Stefan…
Cited by 5 (2 self) – Add To MetaCart

How to combine the benefits of strict and soft typing
by Manfred Widera, Christoph Beierle, Fachbereich Informatik, Fernuniversität Hagen — 2000 — In Greg Michaelson, Phil Trinder, and Hans-Wolfgang Loidl, editors, Trends in Functional Programming. Intellect
…How to Combine the Benefits of Strict and Soft Typing Manfred Widera and Christoph Beierle…
Cited by 3 (3 self) – Add To MetaCart

M.: A pragmatic approach to pre-testing Prolog programs
by Christoph Beierle, Manfred Widera, Praktische Informatik — 2004 — Applications of Declarative Programming and Knowledge Management. 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004
…A Pragmatic Approach to Pre-Testing Prolog Programs Christoph Beierle, Marija Kulaˇs, Manfred…
Cited by 2 (1 self) – Add To MetaCart

A pragmatic type concept for Prolog supporting polymorphism, subtyping, and meta-programming
by Christoph Beierle, Reinhold Kloos, Gregor Meyer — 1999
… Christoph Beierle a , Reinhold Kloos a , Gregor Meyer b a FernUniversit"at Hagen, FB Informatik…
Add To MetaCart

Specification and correctness proof of a WAM extension with type constraints
by Christoph Beierle, Egon Börger, Fachbereich Informatik, Fernuniversitat Hagen, D- Hagen — 1996
… Specification and correctness proof of a WAM extension with abstract type constraints Christoph Beierle 1…
Cited by 8 (4 self) – Add To MetaCart

Refinement of a typed WAM extension by polymorphic order-sorted types
by Christoph Beierle, Egon Börger, Fachbereich Informatik, Fernuniversitat Hagen, D- Hagen — 1996
… Refinement of a typed WAM extension by polymorphic order-sorted types Christoph Beierle 1 and Egon Borger…
Cited by 7 (3 self) – Add To MetaCart

Chapter 14
by Detecting Common Elements, Manfred Widera, Christoph Beierle — 2000 — Trends in Functional Programming, volume 2. Intellect
…Chapter 14 Detecting Common Elements of Types Manfred Widera 1 and Christoph Beierle 2…
Add To MetaCart

Showing 1 through 10. Next 10 →

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB