Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program computing » program comparing, programs compiling, problem computing
https functionals » type functionals, data functionals, flaps functional
functionals time » functions time, functional tissue, functionals _
time https » crime https
program computing » program comparing, programs compiling, problem computing
https functionals » type functionals, data functionals, flaps functional
functionals time » functions time, functional tissue, functionals _
time https » crime https
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 2008
Table of Contents:
“... Systems -- Complexity Analysis by Rewriting -- Rewriting and Call-Time Choice: The HO Case -- Program...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...”View full text
Electronic
eBook
4
Table of Contents:
“... with a Real-Time C++ Program on a Board -- 3 An Easy Jump-Start in Real-Time C++ -- 4 Object-Oriented...”
View full text
View full text
Electronic
eBook
5
Published 2007
Table of Contents:
“... Computation -- Comparing Alternative Evaluation Strategies for Stream-Based Parallel Functional Languages...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
7
Published 2008
Table of Contents:
“... -- Session 3. Case Studies -- A Framework for Distributing Real-Time Functions -- Formal Modeling...”View full text
Electronic
eBook
8
Published 2012
Table of Contents:
“...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”View full text
Electronic
eBook
9
by Clarkson, Douglas B., Clarkson, Douglas B., Fraley, Chris., Gu, Charles., Ramsay, James.
Published 2005
Table of Contents:
“...Basis Objects and Operations -- Functional Data Objects and Operations -- Linear Differential...”Published 2005
View full text
Electronic
eBook
10
Table of Contents:
“... Chapters) -- Ch2 Time Series Analysis through AR Modeling (2.1 Univariate Time Series Analysis through AR...”
View full text
View full text
Electronic
eBook
11
Published 2013
Table of Contents:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
13
Table of Contents:
“... -- Chap. 9, Introduction to Matlab -- Chap. 10, Exploring ODEs with Matlab -- Chap. 11, Exploring Time...”
View full text
View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
16
Published 2006
Table of Contents:
“...Invited Papers -- Differential Privacy -- The One Way to Quantum Computation -- Zero-Knowledge...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”View full text
Electronic
eBook
19
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
20
Published 2015
Table of Contents:
“... Circuits for Trees and Treelike Instances -- Language Emptiness of Continuous-Time Parametric Timed...”View full text
Electronic
eBook