Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
program development » product development
function proofs » functions proofs, function proof, function pros
proofs program » proofs programs, process program, pro program
https » http
program development » product development
function proofs » functions proofs, function proof, function pros
proofs program » proofs programs, process program, pro program
https » http
1
Udgivet 2010
Indholdsfortegnelse:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”Få fuldtekst
Electronisk
eBog
2
Indholdsfortegnelse:
“...Prologue -- Generalizing Proofs-as-Programs -- Functional Program Synthesis -- The Curry-Howard...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
3
Udgivet 2013
Indholdsfortegnelse:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”Få fuldtekst
Electronisk
eBog
4
Udgivet 2008
Indholdsfortegnelse:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Få fuldtekst
Electronisk
eBog
5
Udgivet 2008
Indholdsfortegnelse:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”Få fuldtekst
Electronisk
eBog
6
Udgivet 2013
Indholdsfortegnelse:
“... -- The Proof Assistant as an Integrated Development Environment -- Sorting and Searching by Distribution: From...”Få fuldtekst
Electronisk
eBog
7
Indholdsfortegnelse:
“... Functions Revisited -- Correctness Proof -- Stalling Stall Engine -- Hazard Signals -- Correctness Statement...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
8
Udgivet 2005
Indholdsfortegnelse:
“... Environment for Interactive Proof Development -- A First Order Extension of Stålmarck’s Method -- Regular...”Få fuldtekst
Electronisk
eBog
9
Udgivet 2007
Indholdsfortegnelse:
“...: Systematic Stress Testing of Concurrent Software -- Program Development -- ARM: Automatic Rule Miner...”Få fuldtekst
Electronisk
eBog
10
Udgivet 2005
Indholdsfortegnelse:
“... Unfolding with Ancestor Stacks for Full Prolog -- Program Development -- Schema-Guided Synthesis...”Få fuldtekst
Electronisk
eBog
11
Indholdsfortegnelse:
“... with Multiple Connectives -- Tracing Program Execution -- Logical Truth -- Truth Functional Forms -- Truth...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
12
Indholdsfortegnelse:
“... Development -- Behavioural Specifications -- Proofs for Specifications -- Working with Multiple Logical...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
13
Udgivet 2010
Indholdsfortegnelse:
“... -- The Transformational Approach to Program Development -- Static Analysis, Abstract Interpretation and Verification...”Få fuldtekst
Electronisk
eBog
14
Indholdsfortegnelse:
“... Valued Functions of One Variable -- Continuity and Limits of Functions -- Various Important Classes...”
Få fuldtekst
Få fuldtekst
Electronisk
eBog
15
Udgivet 2013
Indholdsfortegnelse:
“... Dataflow Sensitive Specifications -- Proof -- A Proof Slicing Framework for Program Verification...”Få fuldtekst
Electronisk
eBog
16
Udgivet 2015
Indholdsfortegnelse:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”Få fuldtekst
Electronisk
eBog
17
Udgivet 2005
Indholdsfortegnelse:
“... -- Developments in Data Structure Research During the First 25 Years of FSTTCS -- Inference Systems for Logical...”Få fuldtekst
Electronisk
eBog
18
Udgivet 2010
Indholdsfortegnelse:
“... Synchronizing Automata and Digraphs -- Weights of Exact Threshold Functions -- Proof Systems and Transformation...”Få fuldtekst
Electronisk
eBog
19
Udgivet 2010
Indholdsfortegnelse:
“... of BPMN Models Using Event-B -- Developing Mode-Rich Satellite Software by Refinement in Event B...”Få fuldtekst
Electronisk
eBog
20
Udgivet 2008
Indholdsfortegnelse:
“...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”Få fuldtekst
Electronisk
eBog