Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs specifications » programs verification
specifications https » specifications hops, specifications latest, specifications test
function structures » functions structures, function structure, functional structures
https function » its function, sites function, ups function
programs specifications » programs verification
specifications https » specifications hops, specifications latest, specifications test
function structures » functions structures, function structure, functional structures
https function » its function, sites function, ups function
1
Published 2010
Table of Contents:
“... and the Formation of the Earliest Cerebral Cortical Circuits -- Axonal Function -- Sodium Signals...”View full text
Electronic
eBook
2
Published 2006
Table of Contents:
“... I -- Routing (Un-) Splittable Flow in Games with Player-Specific Linear Latency Functions...”View full text
Electronic
eBook
3
Published 2008
Table of Contents:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”View full text
Electronic
eBook
4
Published 2007
Table of Contents:
“... of Widgets, User Applications and Servers Compliant with ARINC 661 Specification -- Usability Requirements...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... retinoids functions -- Complexity of the RAR‐Mediated Transcriptional Regulatory Programs -- Index....”View full text
Electronic
eBook
6
Table of Contents:
“... Within an Arbitrary Logical System -- Structured Specifications -- Parameterisation -- Formal Program...”
View full text
View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... Information Overload -- Multi-fidelity User Interface Specifications -- HOPS: A Prototypical Specification...”View full text
Electronic
eBook
8
Published 2007
Table of Contents:
“... Programming Method Based on Structural Analysis and Design Technique -- Approximating Horn Knowledge Bases...”View full text
Electronic
eBook
9
Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS...
Published 2013
Table of Contents:
“... of Second-Order Functionals -- Deconstructing General References via Game Semantics -- Separation Logic...”View full text
Electronic
eBook
10
Published 2013
Table of Contents:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“...Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification...”View full text
Electronic
eBook
12
Table of Contents:
“... Structured Specifications -- Proof-theoretic Properties of SSL -- Structured Proofs-as-Programs -- Generic...”
View full text
View full text
Electronic
eBook
13
Published 2012
Table of Contents:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”View full text
Electronic
eBook
14
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
15
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
16
Table of Contents:
“... -- The classic plasticity theory -- Plastic unit or Specific work -- Plastic loading surface. Plastic hardening...”
View full text
View full text
Electronic
eBook
17
Table of Contents:
“... -- Prolog -- Type Inference -- The CoCo Virtual Machine Specification -- The Standard ML Basis Library....”
View full text
View full text
Electronic
eBook
18
Table of Contents:
“... Abstraction -- The Object-Oriented Paradigm -- The Functional Paradigm -- The Logic Programming Paradigm -- A...”
View full text
View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... on Labeled Successor Structures -- Second-Order Principles in Specification Languages for Object-Oriented...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... Domain Specific Language on Network Processors -- Array Replication to Increase Parallelism...”View full text
Electronic
eBook