Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program verifier » program series
https function » its function, sites function, ups function
function java » function jane, function jason, function james
program verifier » program series
https function » its function, sites function, ups function
function java » function jane, function jason, function james
1
Published 2008
Table of Contents:
“... Drivers -- Verified Process-Context Switch for C-Programmed Kernels -- Paper from VSTTE 2005 -- Where...”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
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... Based Security -- A Certified Lightweight Non-interference Java Bytecode Verifier -- Controlling...”View full text
Electronic
eBook
4
Published 2010
Table of Contents:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”View full text
Electronic
eBook
5
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Published 2010
Table of Contents:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”View full text
Electronic
eBook
6
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... and Verification of GPU Kernels -- Verifying Concurrent Programs against Sequential Specifications...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... for the Validation of Numerical Programs -- Invited Talk -- The Verifying Compiler, a Grand Challenge for Computing...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Modelling in User Performed Authentication -- Access with Fast Batch Verifiable Anonymous Credentials...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... cminor -- Formalising Java’s Data Race Free Guarantee -- Finding Lexicographic Orders for Termination...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Processes -- jMoped: A Test Environment for Java Programs -- Hector: Software Model Checking...”View full text
Electronic
eBook
15
Published 2005
Table of Contents:
“... in Isabelle/HOLCF -- Meta Reasoning in ACL2 -- Reasoning About Java Programs with Aliasing and Frame...”View full text
Electronic
eBook
16
Published 2014
Table of Contents:
“... -- Computation of Genus 0 Belyi Functions -- On Computation of the First Baues–Wirsching Cohomology of a Freely...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“...-device Web Applications with Database Access -- Enriching Hypermedia Application Interfaces -- Functional...”View full text
Electronic
eBook