Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function structures » functions structures, function structure, functional structures
program verifier » program series
https function » its function, sites function, ups function
function structures » functions structures, function structure, functional structures
program verifier » program series
https function » its function, sites function, ups function
1
Published 2006
Table of Contents:
“... into Universal Designated Verifier Signatures -- Cryptographic Protocols -- Corrupting One vs. Corrupting Many...”View full text
Electronic
eBook
2
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... Theory of Regular Languages -- Reversible Flowchart Languages and the Structured Reversible Program...”View full text
Electronic
eBook
4
by Clavel, Manuel., Clavel, Manuel., Durán, Francisco., Eker, Steven., Lincoln, Patrick., Martí-Oliet, Narciso., Meseguer, José., Talcott, Carolyn.
Published 2007
Table of Contents:
“... -- Predefined Data Modules -- Specifying Parameterized Data Structures in Maude -- Object-Based Programming...”Published 2007
View full text
Electronic
eBook
5
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
6
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“... for Type-Unsafe Operations Detection -- Running Probabilistic Programs Backwards -- A Verified Compiler...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“...Invited Talks -- Sporadic Solutions to Zero-One Exclusion Tasks -- Verifying and Synthesizing...”View full text
Electronic
eBook
8
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
9
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
10
Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...
Published 2013
Table of Contents:
“... Symmetry Breaking in Answer Set Programming -- HOL Based First-Order Modal Logic Provers -- Resourceful...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“... Modelling in User Performed Authentication -- Access with Fast Batch Verifiable Anonymous Credentials...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... -- Verified Methods in Stochastic Traffic Modelling -- Interval Arithmetic Using SSE-2 -- Worst Cases...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... Generation for Concurrent Systems Using Event Structures -- Fast Model-Based Fault Localisation with Test...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Flow Policies in Industrial Workflows -- Specification and Verification -- Specifying and Verifying...”View full text
Electronic
eBook
16
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
17
Published 2013
Table of Contents:
“... Functional Programs -- Tool Demonstrations Polyglot: Systematic Analysis for Multiple Statechart Formalisms...”View full text
Electronic
eBook
18
Published 2005
Table of Contents:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”View full text
Electronic
eBook
19
Published 2010
Table of Contents:
“... Automata with Structured Output and Functional Generative Description -- A Randomized Numerical Aligner...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... of Software Architectures -- Formal Design of Structural and Dynamic Features of Publish/Subscribe...”View full text
Electronic
eBook