Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
integration computer » international computer, interactive computer
program function » programme function, programs functional, program foundation
program program » programs program, programming program
function https » functions https, fiction https
integration computer » international computer, interactive computer
program function » programme function, programs functional, program foundation
program program » programs program, programming program
function https » functions https, fiction https
1
Published 2008
Table of Contents:
“... for Program Analysis -- Refereed Papers -- Integrating Answer Set Reasoning with Constraint Solving Techniques...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”View full text
Electronic
eBook
3
Published 2011
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
4
Published 2011
Subjects:
“...Programming languages (Electronic computers)....”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Programming -- A Simple Region Inference Algorithm for a First-Order Functional Language -- A Theoretical...”View full text
Electronic
eBook
6
Table of Contents:
“... Programming with Ruby -- Functional Programming in Standard ML -- Language Implementation in Standard ML...”
View full text
View full text
Electronic
eBook
7
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text
View full text
Electronic
eBook
8
Published 2008
Table of Contents:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
10
Published 2007
Table of Contents:
“... Programs -- Logic Programs with Abstract Constraint Atoms: The Role of Computations -- Resource-Oriented...”View full text
Electronic
eBook
11
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
12
Published 2007
Table of Contents:
“... with Integer Programming -- Hybrid Local Search for Constrained Financial Portfolio Selection Problems...”View full text
Electronic
eBook
13
Published 2008
Table of Contents:
“... -- Exposing the Programming Process -- Apprentice-Based Learning Via Integrated Lectures and Assignments...”View full text
Electronic
eBook
14
Published 2013
Table of Contents:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”View full text
Electronic
eBook
15
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- Higher-Order Processes, Functions, and Sessions: A Monadic Integration -- Concurrent Flexible...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... on Call Patterns Semantics -- On a Tighter Integration of Functional and Logic Programming -- Invited Talk...”View full text
Electronic
eBook
17
Published 2005
Table of Contents:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”View full text
Electronic
eBook
18
Published 2006
Table of Contents:
“... Fine-Grained Join Point Model for More Reusable Aspects -- Automatic Testing of Higher Order Functions...”View full text
Electronic
eBook
19
Published 2007
Table of Contents:
“... Approach -- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function...”View full text
Electronic
eBook
20
Programming Languages and Systems 17th European Symposium on Programming, ESOP 2008, Held as Part...
Published 2008
Table of Contents:
“... Encodings and Dependent Types -- Functional and Logic Programming -- Programming in JoCaml (Tool...”View full text
Electronic
eBook