Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program certification » program verification, programs verification, produce certification
certification https » certification paths, certification step, certification gets
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
program certification » program verification, programs verification, produce certification
certification https » certification paths, certification step, certification gets
function function » function functional, functions functional, function dysfunction
https function » its function, sites function, ups function
function https » functions https, fiction https
1
Published 2006
Table of Contents:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
3
Published 2012
Table of Contents:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”View full text
Electronic
eBook
4
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Published 2008
Table of Contents:
“... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”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:
“... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”View full text
Electronic
eBook
6
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Published 2005
Table of Contents:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
9
Published 2011
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...”View full text
Electronic
eBook
11
Published 2008
Table of Contents:
“..., and Neither Are Testers -- Contract-Based Reasoning for Verification and Certification of Secure Information...”View full text
Electronic
eBook
12
Published 2011
Subjects:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”View full text
Electronic
eBook
13
Published 2005
Table of Contents:
“... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Study -- Model-Checking Temporal Properties of Real-Time HTL Programs -- CONNECT: Status and Plans...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Challenges in the Development of Critical Embedded Systems—An “aeromotive” Perspective -- Certification...”View full text
Electronic
eBook
16
Table of Contents:
“... -- Indexes -- Full-Text Search -- Views -- SQL Server Functions -- Conditional Processing, Control-of-Flow...”
View full text
View full text
Electronic
eBook
17
Table of Contents:
“... Logarithm Problem -- Elliptic Curve Cryptosystems -- Digital Signatures -- Hash Functions -- Message...”
View full text
View full text
Electronic
eBook
18
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... Management in Distributed Systems -- Semantic Methods for P2P Query Routing -- Programming Cognitive Agents...”View full text
Electronic
eBook
20
by Muller, Jean-Michel., Muller, Jean-Michel., Brisebarre, Nicolas., de Dinechin, Florent., Jeannerod, Claude-Pierre., Lefèvre, Vincent., Melquiond, Guillaume., Revol, Nathalie., Stehlé, Damien., Torres, Serge.
Published 2010
Table of Contents:
“... Arithmetic -- Elementary Functions -- Evaluating Floating-Point Elementary Functions -- Solving the Table...”Published 2010
View full text
Electronic
eBook