Soggetti all'interno della tua ricerca.
Soggetti all'interno della tua ricerca.
Cerca anche:
functionality based » functional based, functionality needs, functionality business
https functionality » its functionality, bags functionality, cross functionality
programs type » programs types, programs t.e, programs time
based https » based http
functionality based » functional based, functionality needs, functionality business
https functionality » its functionality, bags functionality, cross functionality
programs type » programs types, programs t.e, programs time
based https » based http
1
Pubblicazione 2006
Sommario:
“... Few Constructions on Constructors -- Tactic-Based Optimized Compilation of Functional Programs...”Testo
Elettronico
eBook
2
Pubblicazione 2008
Sommario:
“...Invited Papers -- Model-Based Knowledge Representation and Reasoning Via Answer Set Programming...”Testo
Elettronico
eBook
3
Pubblicazione 2006
Sommario:
“... Termination and Bound Analysis -- Typed Contracts for Functional Programming -- Contracts as Pairs...”Testo
Elettronico
eBook
4
Pubblicazione 2010
Sommario:
“...Invited Papers -- Programming with Multiple Paradigms in Lua -- Constraint Based Strategies...”Testo
Elettronico
eBook
5
Pubblicazione 2006
Sommario:
“... Versions in Polyvariant Specialization of Prolog Programs -- Extension of Type-Based Approach to Generation...”Testo
Elettronico
eBook
6
Pubblicazione 2005
Sommario:
“... -- Determinacy Analysis for Logic Programs Using Mode and Type Information -- Mechanical Verification...”Testo
Elettronico
eBook
7
Pubblicazione 2008
Sommario:
“... of Logic Programs Based on Dependency Graphs -- Type-Based Homeomorphic Embedding and Its Applications...”Testo
Elettronico
eBook
8
Pubblicazione 2015
Sommario:
“...Semantics of Logic Languages -- Ecient compilation of functional logic programs -- Types...”Testo
Elettronico
eBook
9
Pubblicazione 2005
Sommario:
“... Feasible Algorithm for Typing in Elementary Affine Logic -- Practical Inference for Type-Based Termination...”Testo
Elettronico
eBook
10
Pubblicazione 2007
Sommario:
“... Types -- Extensional Rewriting with Sums -- Higher-Order Logic Programming Languages with Constraints: A...”Testo
Elettronico
eBook
11
Pubblicazione 2007
Sommario:
“... Elimination – Making Index Vectors Affordable -- Functional–Based Synthesis of a Systolic Array for GCD...”Testo
Elettronico
eBook
12
Pubblicazione 2005
Sommario:
“... Functional Programming Technique for Forms in Graphical User Interfaces -- A Rational Deconstruction...”Testo
Elettronico
eBook
13
Pubblicazione 2008
Sommario:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”Testo
Elettronico
eBook
14
Pubblicazione 2013
Sommario:
“... -- Optimisation of Generic Programs through Inlining -- A Type-and Control-Flow Analysis for System F...”Testo
Elettronico
eBook
15
Pubblicazione 2012
Sommario:
“...01.Prevention of Type 2 Diabetes; from Science to Therapies: Introduction -- 02.Pathophysiology...”Testo
Elettronico
eBook
16
Sommario:
“... -- Activation detection: model free and model based methods -- Models for hemodynamic response function...”
Testo
Testo
Elettronico
eBook
17
Pubblicazione 2015
Sommario:
“... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...”Testo
Elettronico
eBook
18
Pubblicazione 2005
Sommario:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”Testo
Elettronico
eBook
19
Pubblicazione 2008
Sommario:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”Testo
Elettronico
eBook
20
Pubblicazione 2013
Sommario:
“... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...”Testo
Elettronico
eBook