Unifying Theories for Logic Programming

著者名:

掲載資料名:

Engineering theories of software construction

シリーズ名:

NATO science series. Series 3, Computer and systems sciences

シリーズ巻号:

180

発行年:

2001

開始ページ:

21

終了ページ:

46

総ページ数:

26

出版情報:

Amsterdam: IOS Press

ISSN:

13876694

ISBN:

9781586031725 [1586031724]

言語:

英語

請求記号:

N17060/180

資料種別:

国際会議録

詳細

TDL書誌ID:	ZA00012291
シリーズID:	PA00000026
会議名:	NATO Advanced Study Institute on Engineering Theories of Software Construction
回次:	2000
会議開催地:	Marktoberdorf, Germany
会議開催年:	2000.07.25-2000.08.06

1 国際会議録 Unified Theories of Programming Hoare R. A. C. Springer	7 国際会議録 Logic Based on Programming Hehner E. C. R. Springer-Verlag
2 国際会議録 Refinement Algebra Proves Correctness of Compilation Hoare R. A. C., Jifeng He Springer-Verlag	8 国際会議録 Unifying Theories of Parallel Programming Woodcock, Jim IOS Press
3 国際会議録 Laws of Programming Hoare R. A. C., Hayes J. I., Jifeng He, Morgan C. C., Roscoe W. A., Sanders W. J., Sorenson H. I., Spivey M. J., Sufrin … Springer-Verlag	9 国際会議録 Notes on Communicating Sequential Processes Hoare R. A. C. Springer-Verlag
4 国際会議録 A Trace Model for Pointers and Objects Hoare R. C. C., Jifeng H. IOS Press	10 国際会議録 Evoi at Marktoberdorf 1996 Hoare R. A. C. Springer
5 国際会議録 Notes on an Approach to Category Theory for Computer Scientists Hoare R. A. C. Springer-Verlag	11 国際会議録 Algebra and Models Hoare C. A. R. Springer-Verlag
6 国際会議録 Process Algebra: a Unifying Approach Hoare, Tony Springer	12 国際会議録 Algebraic Specifications and Proofs for Communicating Sequential Processes Hoare C. A. R. Springer-Verlag

1

2

3

4

5

6

7

8

9

10

11

12