Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
service specification » service specifications, interface specification, service application
specification program » specifications program, verification program, purification program
construction https » instruction https, conservation https, construction history
constructs https » constructs loops, constructs arti, constructs steve
program program » programs program, programming program
service specification » service specifications, interface specification, service application
specification program » specifications program, verification program, purification program
construction https » instruction https, conservation https, construction history
constructs https » constructs loops, constructs arti, constructs steve
program program » programs program, programming program
1
Published 2015
Table of Contents:
“... and Compiling Techniques A Refactoring Library for Scala Compiler Extensions -- Feature-Specific Profiling -- A...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... framework -- Code generators for jABC -- Verification and validation of code generators -- Domain-specific...”View full text
Electronic
eBook
3
Table of Contents:
“...Preliminaries -- The Technical Background -- On Programming -- Fundamentals -- Algorithm Extraction...”
View full text
View full text
Electronic
eBook
4
Published 2013
Table of Contents:
“... -- Analysis of Boolean Programs -- Weighted Pushdown Systems with Indexed Weight Domains -- Underapproximation...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... Side-Channel Attacks -- Detecting Unrealizable Specifications of Distributed Systems -- Synthesizing...”View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“... Objectives -- syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications...”View full text
Electronic
eBook
7
Published 2012
Table of Contents:
“... Constituent Order -- A Formal Deconstruction of Fluid Construction Grammar -- A Logic Programming Approach...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... Specification Using the B Method....”View full text
Electronic
eBook
9
Table of Contents:
“... -- Programming Units: Processes -- Extended Constructs -- Design in P: First Steps -- Formal properties of SIGNAL...”
View full text
View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... Transformation Invariants Under Retiming and Resynthesis -- Specification, Program Synthesis -- Compositional...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Probabilistic Model Checking -- Static Analysis -- Causal Dataflow Analysis for Concurrent Programs -- Type...”View full text
Electronic
eBook
12
Published 2006
Table of Contents:
“... the Effectiveness of Slicing for Model Reduction of Concurrent Object-Oriented Programs -- Symbolic Techniques...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“...Markowitz for the Masses: Portfolio Construction Techniques -- Markowitz for the Masses: The Risk...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“...Construction Contracts -- Contracting: Minefield of Construction Disputes -- Analyzing Construction...”View full text
Electronic
eBook
15
Table of Contents:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
View full text
View full text
Electronic
eBook
16
Published 2015
Table of Contents:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”View full text
Electronic
eBook
17
Table of Contents:
“... Specifications -- Structured Program Synthesis -- Epilogue -- Conclusions: Toward Constructive Logic as a...”
View full text
View full text
Electronic
eBook
18
Published 2012
Table of Contents:
“... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“... -- ML Modules and Haskell Type Classes: A Constructive Comparison -- The Essence of Form Abstraction...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“...Separating Concerns with Domain Specific Languages -- Event-Based Programming Without Inversion...”View full text
Electronic
eBook