Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function function » function functional, functions functional, function dysfunction
program verifier » program series
https function » its function, sites function, ups function
function https » functions https, fiction https
function function » function functional, functions functional, function dysfunction
program verifier » program series
https function » its function, sites function, ups function
function https » functions https, fiction https
1
Published 2013
Table of Contents:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”View full text
Electronic
eBook
2
Published 2008
Table of Contents:
“... Drivers -- Verified Process-Context Switch for C-Programmed Kernels -- Paper from VSTTE 2005 -- Where...”View full text
Electronic
eBook
3
by Clavel, Manuel., Clavel, Manuel., Durán, Francisco., Eker, Steven., Lincoln, Patrick., Martí-Oliet, Narciso., Meseguer, José., Talcott, Carolyn.
Published 2007
Table of Contents:
“...I: Core Maude -- Using Maude -- Syntax and Basic Parsing -- Functional Modules -- A Hierarchy...”Published 2007
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
Published 2008
Table of Contents:
“... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...”View full text
Electronic
eBook
6
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
7
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
8
Published 2006
Table of Contents:
“... into Universal Designated Verifier Signatures -- Cryptographic Protocols -- Corrupting One vs. Corrupting Many...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
10
Published 2012
Table of Contents:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”View full text
Electronic
eBook
11
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
12
Published 2014
Table of Contents:
“...Invited Talks -- Sporadic Solutions to Zero-One Exclusion Tasks -- Verifying and Synthesizing...”View full text
Electronic
eBook
13
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”View full text
Electronic
eBook
14
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
15
Published 2007
Table of Contents:
“... Programs with Function Symbols -- The Complexity of Temporal Logic with Until and Since over Ordinals...”View full text
Electronic
eBook
16
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
17
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
18
Published 2007
Table of Contents:
“... Strategies -- A Program Transformation for Tracing Functional Logic Computations -- Termination and Analysis...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“...Verifying Temporal Properties of CommUnity Designs -- Precise Scenarios – A Customer-Friendly...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... and Refinement-Preserving Logic -- Slicing Abstractions -- Nuovo DRM Paradiso: Towards a Verified Fair DRM Scheme...”View full text
Electronic
eBook