Blank Cover Image

SEMANTICS FOR LOGIC PROGRAMS WITHOUT OCCUR CHECKS.

Author(s):
WEIJLAND, W. P. ( CENTRE FOR MATH. AND COMPUTER SCI., AMSTERDAM )  
Publication title:
NASA Technical Reports(N88-)
Pub. Year:
1987
Issue:
CWI-CS-R8740
Paper no.:
N88-23429
Page(from):
1
Page(to):
28
Pages:
28
Pub. info.:
National Aeronautics and Space Administration
Language:
English
Type:
Technical Paper

Similar Items:

1 Technical Paper An analysis of loop checking mechanisms for logic programs

Bol, R.N., Apt, K.R., Klop, J.W.

National Aeronautics and Space Adminstration
7 Technical Paper Branching time and abstraction in bisimulation semartics

van Glabbeek, R.J., Weijland, W.P.

National Aeronautics and Space Adminstration
2 Technical Paper CORRECTNESS PROOFS FOR SYSTOLIC ALGORITHMS: PALINDROME RECOGNIZER

WEIJLAND, W. P.

National Aeronautics and Space Administration
8 Technical Paper PROGRAMMING WITH PROCESS Groups: Group and Multicast Semantics

Birman, Kenneth.P., Cooper, Robert., Gleeson, Barry.

National Aeronautics and Space Adminstration
3 Technical Paper Synchrony with ernpty process

Weijland, W.P.

National Aeronautics and Space Adminstration
9 Technical Paper A COURSE ON FIELD PROGRAMMABLE LOGIC

van den Eijnden, P. M. C.M.

National Aeronautics and Space Administration
4 Technical Paper On the occur-check free Prolog programs

Apt, K.R., Pellegrini, A.

National Aeronautics and Space Adminstration
10 Technical Paper Bisimulation semantics for concurrency with atomicity and action refinement

de Bakke, J.W., de Vink, E.P.

National Aeronautics and Space Adminstration
5 Technical Paper On Axiomatizations for Propositional Logics of Programs

Knijnenburg, P.M.W.

National Aeronautics and Space Adminstration
11 Technical Paper The French program PREPHA : experimental analysis of aerodynamical interactions occuring on a hypersonic spacecraft

Reijasse, P., Bur, R., Chanetz, B.

American Institute of Aeronautics and Astronautics
6 Technical Paper On logic programming and the refinement calculus: semantics based program transformations

Kok, Joost N.

National Aeronautics and Space Adminstration
12 Technical Paper The French Program PREPHA: Experimental Analysis of Aerodynamical Interactions Occurring on a Hypersonic Spacecraft

Reijasse, P., Bur, R., Chanetz, B.

American Institute of Aeronautics and Astronautics
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12