MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "A stable programming language." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

A stable programming language
by Luca Paolini — I&C
…Abstract A Stable Programming Language Luca Paolini 1 Dipartimento di Informatica Università degli…
Cited by 1 (1 self) – Add To MetaCart

Language Independence and Language Tolerance in Logic Programs
by Norman McCain, Hudson Turner — 1994 — In Proc. of the Eleventh Intl. Conference on Logic Programming
… that a stable program is language tolerant if, for every language L that is permissible for P , every…
Cited by 4 (0 self) – Add To MetaCart

vorgelegt von Diplom-Informatiker
by Von Der Fakultät Für Mathematik, Informatik Und Naturwissenschaften Der Rheinisch, Westfälischen Technischen Hochschule, Frank Günter Huch, Aus Neuss, Universitätsprofessor Dr, Klaus Indermark, Universitätsprofessor Dr, Michael Hanus — 2001
… verification using abstraction and model checking. It is a stable programming language used in practice. Large…
Add To MetaCart

Showing 1 through 3.

ATOM

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