Theories Of Programming Languages

Author: John C. Reynolds
Publisher: Cambridge University Press
ISBN: 9780521106979
Size: 40.93 MB
Format: PDF, Mobi
View: 7442
Download Read Online
Assuming only knowledge of elementary programming and mathematics, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory and also will appeal to researchers and professionals in ...

Semantics Of Programming Languages

Author: Carl A. Gunter
Publisher: MIT Press
ISBN: 9780262570954
Size: 53.69 MB
Format: PDF, Mobi
View: 5923
Download Read Online
Semantics of Programming Languages exposes the basic motivations and philosophy underlying the applications of semantic techniques in computer science.

Concepts In Programming Languages

Author: John C. Mitchell
Publisher: Cambridge University Press
ISBN: 9780521780988
Size: 18.44 MB
Format: PDF, ePub, Mobi
View: 600
Download Read Online
A comprehensive undergraduate textbook covering both theory and practical design issues, with an emphasis on object-oriented languages.

A Practical Theory Of Programming

Author: Eric C.R. Hehner
Publisher: Springer Science & Business Media
ISBN: 1441985964
Size: 11.91 MB
Format: PDF, ePub, Mobi
View: 111
Download Read Online
Temporal Logic is yet another formalism that introduces some special operators and quantifiers to describe some aspects of computation. The theory in this book is simpler than any of those just mentioned.

Der Turing Omnibus

Author: A.K. Dewdney
Publisher: Springer-Verlag
ISBN: 3642788726
Size: 79.38 MB
Format: PDF, ePub, Mobi
View: 902
Download Read Online
Der Turing Omnibus macht in 66 exzellent geschriebenen Beitr├Ągen Station bei den interessantesten Themen aus der Informatik, der Computertechnologie und ihren Anwendungen.

Unifying Theories Of Programming

Author: Burkhard Wolff
Publisher: Springer
ISBN: 3642357059
Size: 62.61 MB
Format: PDF, Kindle
View: 6693
Download Read Online
Over the years, Circus has developed into a family of languages for specification,
programming and verification. Circus Time is an extension of a subset of Circus
with some time operators added to the notion of actions in Circus. The semantics
of Circus Time is defined using the UTP by introducing time observation variables
. The Circus Time UTP theory is a discrete time model, and time operators are
very similar to that in Timed CSP [11]. Compared to the original Circus Time [12]
and ...

Unifying Theories Of Programming

Author: David Naumann
Publisher: Springer
ISBN: 3319148060
Size: 28.62 MB
Format: PDF, Mobi
View: 5410
Download Read Online
5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised
Selected Papers David Naumann. A Formal Model for a Hybrid Programming
Language Longfei Zhu1( B), Qiwen Xu2, Jifeng He1( B), and Huibiao Zhu1 1
Shanghai Key Laboratory of Trustworthy Computing, East China Normal
University, Shanghai, People's Republic of China {lfzhu,jifeng ...