Blank Cover Image

On the safe termination of PROLOG programs

著者名:
  • Apt, K.R. ( Centre for Mathematics and Computer Science )
  • Bol, R.N. ( Centre for Mathematics and Computer Science )
  • Klop, J.W. ( Centre for Mathematics and Computer Science )
掲載資料名:
NASA Technical Reports
発行年:
1989
通号:
N90-13978
ペーパー番号:
N90-13978
開始ページ:
1
終了ページ:
19
総ページ数:
19
出版情報:
National Aeronautics and Space Adminstration
言語:
英語
資料種別:
テクニカルペーパー

類似資料:

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

National Aeronautics and Space Adminstration

7 テクニカルペーパー Proving termination of parallel programs

Apt, K.R., Boer. F.S., Olderog, E.R.

National Aeronautics and Space Adminstration

Apt, K.R., Pedreschi, D.

National Aeronautics and Space Adminstration

8 テクニカルペーパー A theery of first-order buik-ins of Prolog

Apt, K.R., Marchiori, E., Palamideaai, C.

National Aeronautics and Space Adminstration

3 テクニカルペーパー Studies in pure Prolog: termination

Apt, K.R., Pedreschi, D.

National Aeronautics and Space Adminstration

Apt, K.R., Marchiori, E., Palamidessi, C.

National Aeronautics and Space Adminstration

4 テクニカルペーパー On the occur-check free Prolog programs

Apt, K.R., Pellegrini, A.

National Aeronautics and Space Adminstration

10 テクニカルペーパー Introduction to program verification

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

National Aeronautics and Space Adminstration

5 テクニカルペーパー Proving temination of general Prolog programs

Apt, K.R., Pedreschi, D.

National Aeronautics and Space Adminstration

11 テクニカルペーパー Using transformations to verity parallel programs

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

National Aeronautics and Space Adminstration

6 テクニカルペーパー REASONING ABOUT TERMINATIOn OF PROLOG PROGRAMS

Apt, Krzysztof R.

National Aeronautics and Space Adminstration

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

National Aeronautics and Space Adminstration

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12