Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programming imperative » programming interactive, programming integrating, programming operations
imperative computing » interactive computing, cooperative computing, perasive computing
java programming » c programming
parallel java » parallel data, parallel scara, parallel a
https » http
programming imperative » programming interactive, programming integrating, programming operations
imperative computing » interactive computing, cooperative computing, perasive computing
java programming » c programming
parallel java » parallel data, parallel scara, parallel a
https » http
1
Published 2006
Table of Contents:
“... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... Assignment for Featherweight Java: (To Rinus Plasmeijer, in Honour of His 61st Birthday) -- Verifying...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... -- Program Transformations -- JReq: Database Queries in Imperative Languages -- Verifying Local...”View full text
Electronic
eBook
4
Table of Contents:
“...Review -- Analysis -- Formalisms and Distributed Calculi -- ASP Calculus -- An Imperative...”
View full text
View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Decomposition for Parallel Programs -- Z Papers -- Communication Systems in ClawZ -- Formalising and Validating...”View full text
Electronic
eBook