Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
program certification » program verification, programs verification, produce certification
certification https » certification paths, certification step, certification gets
function functional » functions functional, fractional functional, nutrition functional
functional https » functions https, function https, functional hop
https function » its function, sites function, ups function
program certification » program verification, programs verification, produce certification
certification https » certification paths, certification step, certification gets
function functional » functions functional, fractional functional, nutrition functional
functional https » functions https, function https, functional hop
https function » its function, sites function, ups function
1
Udgivet 2006
Indholdsfortegnelse:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Få fuldtekst
Electronisk
eBog
2
Udgivet 2006
Indholdsfortegnelse:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Få fuldtekst
Electronisk
eBog
3
Udgivet 2012
Indholdsfortegnelse:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”Få fuldtekst
Electronisk
eBog
4
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Udgivet 2008
Indholdsfortegnelse:
“... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”Få fuldtekst
Electronisk
eBog
5
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Udgivet 2010
Indholdsfortegnelse:
“... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2005
Indholdsfortegnelse:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Få fuldtekst
Electronisk
eBog
7
Udgivet 2011
Fag:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”Få fuldtekst
Electronisk
eBog
8
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Udgivet 2005
Indholdsfortegnelse:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2014
Indholdsfortegnelse:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2015
Indholdsfortegnelse:
“... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...”Få fuldtekst
Electronisk
eBog
11
Udgivet 2008
Indholdsfortegnelse:
“..., and Neither Are Testers -- Contract-Based Reasoning for Verification and Certification of Secure Information...”Få fuldtekst
Electronisk
eBog
12
Udgivet 2011
Fag:
“...Logics and Meanings of Programs. https://scigraph.springernature.com/ontologies/product-market...”Få fuldtekst
Electronisk
eBog
13
Udgivet 2005
Indholdsfortegnelse:
“... Verification with Quasar -- Proving Functional Equivalence for Program Slicing in SPARKTM -- Ada and Education...”Få fuldtekst
Electronisk
eBog
14
Indholdsfortegnelse:
“... Logarithm Problem -- Elliptic Curve Cryptosystems -- Digital Signatures -- Hash Functions -- Message...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
15
Udgivet 2010
Indholdsfortegnelse:
“... Study -- Model-Checking Temporal Properties of Real-Time HTL Programs -- CONNECT: Status and Plans...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2010
Indholdsfortegnelse:
“... Challenges in the Development of Critical Embedded Systems—An “aeromotive” Perspective -- Certification...”Få fuldtekst
Electronisk
eBog
17
Fag:
“...Statistics and Computing/Statistics Programs. https://scigraph.springernature.com/ontologies...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
18
Indholdsfortegnelse:
“... -- Indexes -- Full-Text Search -- Views -- SQL Server Functions -- Conditional Processing, Control-of-Flow...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
19
Udgivet 2005
Indholdsfortegnelse:
“... Management in Distributed Systems -- Semantic Methods for P2P Query Routing -- Programming Cognitive Agents...”Få fuldtekst
Electronisk
eBog
20
af 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.
Udgivet 2010
Indholdsfortegnelse:
“... Arithmetic -- Elementary Functions -- Evaluating Floating-Point Elementary Functions -- Solving the Table...”Udgivet 2010
Få fuldtekst
Electronisk
eBog