Algebraic semantics of imperative programs

このページのQRコード

種類:

図書

責任表示:

Joseph A. Goguen and Grant Malcolm

出版情報:

Cambridge, Mass. : MIT Press, c1996

著者名:

シリーズ名:

Foundations of computing <BA07248970>

ISBN:

9780262071727 [026207172X]

注記:

Includes bibliographical references and index

所蔵情報

子書誌情報

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

詳細

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

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Algebraic approaches to program semantics Manes, Ernest G., 1943-, Arbib, Michael A. Springer-Verlag	7 図書 Control flow semantics Bakker, Jacobus Willem de, 1939-, Vink, Erik de MIT Press
2 図書 Denotational semantics : the Scott-Strachey approach to programming language theory Stoy, Joseph MIT Press	8 図書 Predicate transformer semantics Manes, Ernest G., 1943- Cambridge University Press
3 図書 Semantics of programming languages Tennent, R. D. Prentice Hall International	9 図書 Semantics of parallelism : non-interleaving representation of behaviour Shields, M. W. (Michael William), 1950- Springer
4 図書 Semantics of programming languages : structures and techniques Gunter, Carl A MIT Press	10 図書 Computer semantics; studies of algorithms, processors, and languages Lee, John A. N. Van Nostrand Reinhold
5 図書 The formal semantics of programming languages : an introduction Winskel, Glynn MIT Press	11 図書 MetaSoft primer : towards a metalanguage for applied denotational semantics Blikle, Andrzej Springer-Verlag
6 図書 Formal syntax and semantics of Java Alves-Foss, James, 1964- Springer	12 図書 Semantics of type theory : correctness, completeness, and independence results Streicher, Thomas, 1958- Birkhäuser