Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs specification » programs specifications, program specification, programs verification
specification https » specification matter, modification https, specification aes
function computing » education computing, generation computing
https function » its function, sites function, ups function
programs specification » programs specifications, program specification, programs verification
specification https » specification matter, modification https, specification aes
function computing » education computing, generation computing
https function » its function, sites function, ups function
1
Published 2011
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
2
Published 2015
Table of Contents:
“...Functional Programming for Domain-Specific Languages -- DSL in C++ Template Metaprogram...”View full text
Electronic
eBook
3
Table of Contents:
“...Generic Editors for the World Wide Web -- Fully Automatic Testing with Functions as Specifications...”
View full text
View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Language -- The Specification Language TLA+ -- The Typed Logic of Partial Functions and the Vienna...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... of Termination, Confluence and Sufficient Completeness of OBJ Specifications -- The Versatile Synchronous...”View full text
Electronic
eBook
6
Published 2013
Table of Contents:
“... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...”View full text
Electronic
eBook
7
Table of Contents:
“...Opening -- Specification Facets -- Hierarchies and Compositions -- Denotations and Computations...”
View full text
View full text
Electronic
eBook
8
Table of Contents:
“...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
View full text
View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... of Widgets, User Applications and Servers Compliant with ARINC 661 Specification -- Usability Requirements...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“... -- Mechatronics Design and Verification -- Modeling and Specification -- Pattern-based Analysis in Distributed...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Information Overload -- Multi-fidelity User Interface Specifications -- HOPS: A Prototypical Specification...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”View full text
Electronic
eBook
14
Table of Contents:
“... Within an Arbitrary Logical System -- Structured Specifications -- Parameterisation -- Formal Program...”
View full text
View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
16
Table of Contents:
“... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
View full text
View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... Algebraic Specifications for Pointer Programs: A Case Study -- Modeling Permutations in Coq for Coccinelle....”View full text
Electronic
eBook
18
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
19
Published 2015
Table of Contents:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... I -- Routing (Un-) Splittable Flow in Games with Player-Specific Linear Latency Functions...”View full text
Electronic
eBook