Control flow semantics

このページのQRコード

種類:

図書

責任表示:

Jaco de Bakker and Erik de Vink

出版情報:

Cambridge, Mass. : MIT Press, c1996

著者名:

シリーズ名:

Foundations of computing <BA07248970>

ISBN:

9780262041546 [0262041545]

注記:

Includes bibliographical references and index

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

主題:	Programming languages (Electronic computers)--Semantics
分類・件名:	LCC : QA76.7 DDC : 005.13/1 LCSH : Programming languages (Electronic computers) -- Semantics
LCCN:	95047439
TTLL:	eng
言語:	英語
形態:	xvii, 564 p. : ill. ; 24 cm
書誌ID:	BA27508950

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Ten years of concurrency semantics : selected papers of the Amsterdam Concurrency Group Bakker, Jacobus Willem de, 1939-, Rutten, J. J. M. M., Amsterdam Concurrency Group World Scientific	7 図書 Semantics of programming languages : structures and techniques Gunter, Carl A MIT Press
2 図書 Formal syntax and semantics of Java Alves-Foss, James, 1964- Springer	8 図書 The formal semantics of programming languages : an introduction Winskel, Glynn MIT Press
3 図書 Algebraic approaches to program semantics Manes, Ernest G., 1943-, Arbib, Michael A. Springer-Verlag	9 図書 Semantics : foundations and applications : REX Workshop, Beekbergen, the Netherlands, June 1-4, 1992 : proceedings REX Workshop, Bakker, Jacobus Willem de, 1939-, Roever, W.-P. de, 1943-, Rozenberg, Grzegorz Springer-Verlag
4 図書 Algebraic semantics of imperative programs Goguen, Joseph, Malcolm, Grant MIT Press	10 図書 Semantics of parallelism : non-interleaving representation of behaviour Shields, M. W. (Michael William), 1950- Springer
5 図書 Predicate transformer semantics Manes, Ernest G., 1943- Cambridge University Press	11 図書 Computer semantics; studies of algorithms, processors, and languages Lee, John A. N. Van Nostrand Reinhold
6 図書 Semantics of programming languages Tennent, R. D. Prentice Hall International	12 図書 MetaSoft primer : towards a metalanguage for applied denotational semantics Blikle, Andrzej Springer-Verlag