A Trace Model for Pointers and Objects

A Trace Model for Pointers and Objects

著者名:

掲載資料名:

Calculational system design

シリーズ名:

NATO ASI series. Series F, Computer and systems sciences

シリーズ巻号:

173

発行年:

1999

開始ページ:

3

終了ページ:

23

総ページ数:

21

出版情報:

Amsterdam: IOS Press

ISSN:

13876694

ISBN:

9789051994599 [9051994591]

言語:

英語

請求記号:

N11483/173

資料種別:

国際会議録

詳細

TDL書誌ID:	ZA00018740
シリーズID:	PA00000019
会議名:	NATO Advanced Study Institute on calculational system design
回次:	1998
会議開催地:	Marktoberdorf, Germany
会議開催年:	1998.07.28-1998.08.09

類似資料:

1 国際会議録 Refinement Algebra Proves Correctness of Compilation Hoare R. A. C., Jifeng He Springer-Verlag	7 国際会議録 Notes on Communicating Sequential Processes Hoare R. A. C. Springer-Verlag
2 国際会議録 Unifying Theories for Logic Programming Hoare,C.A.R., Jifeng,He IOS Press	8 国際会議録 Evoi at Marktoberdorf 1996 Hoare R. A. C. Springer
3 国際会議録 Algebra and Models Hoare C. A. R. Springer-Verlag	9 国際会議録 Unified Theories of Programming Hoare R. A. C. Springer
4 国際会議録 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	10 国際会議録 Notes on an Approach to Category Theory for Computer Scientists Hoare R. A. C. Springer-Verlag
5 国際会議録 DISCRETE EVENT SIMULATION BASED ON COMMUNICATING SEQUENTIAL PROCESSES Kaubisch H. W., Hoare R. A. C. D. Reidel	11 国際会議録 Algebraic Specifications and Proofs for Communicating Sequential Processes Hoare C. A. R. Springer-Verlag
6 国際会議録 Quantum laser pointer and other applications of squeezed light Bachor, H.-A., Bowen, W.P., Grosse, N., Buchler, B., Andersen, U., Schnabel, R., Lam, P.K., Treps, N., Fabre, C., … SPIE - The International Society of Optical Engineering	12 国際会議録 Risley prism beam pointer [6304-06] Ostaszewski, M., Harford, S., Doughty, N., Hoffman, C., Sanchez, C., Gutow, D., Pierce, R. SPIE - The International Society of Optical Engineering

1

2

3

4

5

6

7

8

9

10

11

12