Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program computing » program comparing, programs compiling, problem computing
https function » its function, sites function, ups function
function state » functional state, function status, function space
program computing » program comparing, programs compiling, problem computing
https function » its function, sites function, ups function
function state » functional state, function status, function space
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 2013
Table of Contents:
“...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”View full text
Electronic
eBook
3
Table of Contents:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
View full text
View full text
Electronic
eBook
4
Published 2012
Table of Contents:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”View full text
Electronic
eBook
5
Table of Contents:
“... Depth Circuits -- Part V Branching Programs -- Part VI Fragments of Proof Complexity -- A Epilog -- B...”
View full text
View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... -- Online Conflict-Free Colorings for Hypergraphs -- Distributed Computing with Advice: Information...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... for Computing Maximin Share Allocations -- Envy-Free Pricing in Large Markets: Approximating Revenue and Welfare...”View full text
Electronic
eBook
12
Published 2015
Table of Contents:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”View full text
Electronic
eBook
13
Published 2006
Table of Contents:
“... Acyclic Graphs -- Quantum Computing -- Fault-Tolerance Threshold for a Distance-Three Quantum Code...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... Zeta Function (D.M. Bradley and X. Zhou) -- 8. Fast Computation of Bernoulli, Tangent, and Secant...”View full text
Electronic
eBook
15
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Published 2014
Table of Contents:
“... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”View full text
Electronic
eBook
16
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Published 2010
Table of Contents:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“.... Semantics -- Game Semantics for Call-by-Value Polymorphism -- What Is a Pure Functional? -- Example-Guided...”View full text
Electronic
eBook
18
Table of Contents:
“... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
View full text
View full text
Electronic
eBook
19
Table of Contents:
“...Introduction -- Decision Making -- Repetitive Tasks -- Using Objects -- Defining Functions -- Event...”
View full text
View full text
Electronic
eBook
20
Published 2008
Table of Contents:
“... Functional Programs -- Synthesis of Optimal Control Policies for Some Infinite-State Transition Systems...”View full text
Electronic
eBook