From failure to success: comparing a denotational and a declarative semantics for Horn clause logic

From failure to success: comparing a denotational and a declarative semantics for Horn clause logic

Author(s):

de Boer, F.S. ( Centre for Mathematics and Computer Science )
Kok, J.N.
Palamidessi, C.
Rutten, J.J.M.M.

Publication title:

NASA Technical Reports

Pub. Year:

1990

No.:

N91-18649

Paper no.:

N91-18649

Page(from):

1

Page(to):

23

Pages:

23

Pub. info.:

National Aeronautics and Space Adminstration

Language:

English

Type:

Technical Paper

Details

TDL ID:

ZA00001427

Similar Items:

1 Technical Paper The failure of failures: towards a paradigm for asychronous communication de Boer, F.S., Kok, J.N., Palamidessi, C., Rutten, J.J.M.M. National Aeronautics and Space Adminstration	7 Technical Paper A fully abstract model for concurrent constrasint programming de Boer, F.S., Palamidessi, C. National Aeronautics and Space Adminstration
2 Technical Paper Control flow wersus logic: a denotational and a eclarative model for guarded horn clauses de Boer, F.S., Kok, J.N., Palarnklessi, C., Rusten, J.J.M.M. National Aeronautics and Space Adminstration	8 Technical Paper Norwellfounded sets and programming language semantics Rutten, J.J.M.M. National Aeronautics and Space Adminstration
3 Technical Paper Semantic models for a version of Parlog de Boer, F.S., Kek, J.N., P, C., Rutten, J.J.M.M. National Aeronautics and Space Adminstration	9 Technical Paper CONTRACTIONS IN COMPARING CONCURRENCY SEMANTICS. KOK, J. N. et al. National Aeronautics and Space Administration
4 Technical Paper Derving denotational models for bisimulation from structured operational semantics Rutten, J.J.M.M. National Aeronautics and Space Adminstration	10 Technical Paper Semantics, orderings and recursion in the weakest precondition calculus Bonsangue, M., Kok, J.N. National Aeronautics and Space Adminstration
5 Technical Paper DENOTATIONAL SEMANTICS OF NETS WITH NONDETERMINISM. KOK, J.N. National Aeronautics and Space Administration	11 Technical Paper Fully abstract denotational models for nonumitorm concurrent languages Horita, E., de Bakker, J.W., Rutten, J.J.M.M. National Aeronautics and Space Adminstration
6 Technical Paper A fully abstract model for concurrent logic languages de Boer, F.S., Palamidessi, C. National Aeronautics and Space Adminstration	12 Technical Paper Conceurrency semantics based on metric domain equations de Bakker, J.W., Rutten, J.J.M.M. National Aeronautics and Space Adminstration

1

2

3

4

5

6

7

8

9

10

11

12