Search records | 東京工業大学附属図書館文献データベース

Sort order

4 results

Technical Paper

1. Using transformations to verity parallel programs

Olderog, E.-R. ; Apt, K.R.

Pub. info.:

NASA Technical Reports. pp.1-30, 1989. National Aeronautics and Space Adminstration

Technical Paper

2. An analysis of loop checking mechanisms for logic programs

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

Pub. info.:

NASA Technical Reports. pp.1-59, 1989. National Aeronautics and Space Adminstration

Technical Paper

3. On the safe termination of PROLOG programs

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

Pub. info.:

NASA Technical Reports. pp.1-19, 1989. National Aeronautics and Space Adminstration

Technical Paper

4. Arithmetic classification of perfect models of stratifled programs (Extended version)

Apt, K.R. ; Blair, H.A.

Pub. info.:

NASA Technical Reports. pp.1-20, 1989. National Aeronautics and Space Adminstration