Searching for "Steadfast Logic Programs." – sorted by Relevance.
6 documents found, showing 1 through 6.
-
Steadfast Logic Programs
- …J. LOGIC PROGRAMMING 1994:19, 20:1--679 1 STEADFAST LOGIC PROGRAMS KUNG-KIU LAU, MARIO ORNAGHI…
- Cited by 27 (20 self) – Add To MetaCart
-
Correct oo systems in computational logic
- …. Our formalisation is basedon steadfast logic programs in the context of open specification frameworks…
- Cited by 1 (0 self) – Add To MetaCart
-
Towards An Object-Oriented Methodology for Deductive Synthesis of Logic Programs
- … (corresponding to ADT's), and steadfast logic programs (corresponding to methods). Then, in Section 3, we discuss…
- Cited by 5 (5 self) – Add To MetaCart
-
' $ % ' $ %
- …. In particular, we describe frameworks (corresponding to ADT's), and steadfast logic programs (corresponding…
- Add To MetaCart
-
Formal Development of Correct Classes in Computational Logic
- … framework F with parameters \Pi; ffl steadfast (logic) programs prog 1 , prog 2 , with parameters 1 ; 2…
- Cited by 5 (5 self) – Add To MetaCart
-
Towards Correct Object-Oriented Systems in Computational Logic
- …]. These are modules that specify and implement collections of steadfast (logic) programs. In this abstract, we present…
- Cited by 2 (2 self) – Add To MetaCart
Showing 1 through 6.
