Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program selection » program section, program collection, program execution
selection https » selection hatcs, exertion https, infection https
https function » its function, sites function, ups function
function java » function jane, function jason, function james
program selection » program section, program collection, program execution
selection https » selection hatcs, exertion https, infection https
https function » its function, sites function, ups function
function java » function jane, function jason, function james
1
Published 2013
Table of Contents:
“... JavaScript Applications with Haskell -- Advances in Lazy SmallCheck -- OCaml-Java: from OCaml sources to Java...”View full text
Electronic
eBook
2
3
Table of Contents:
“... -- Fundamentals of the JavaScript Language -- Using Arrays in HTML/JavaScript -- JavaScript Functions -- Creating...”
View full text
View full text
Electronic
eBook
4
Published 2014
Table of Contents:
“... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...”View full text
Electronic
eBook
5
Table of Contents:
“...Creating a Server-Side Environment for PHP -- Working with PHP -- PHP Arrays -- Summary of Selected...”
View full text
View full text
Electronic
eBook
6
Published 2015
Table of Contents:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”View full text
Electronic
eBook
8
Published 2012
Table of Contents:
“... Atomicity for Java -- Ownership Types for Object Synchronisation -- A Functional View of Imperative...”View full text
Electronic
eBook
9
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
10
Published 2013
Table of Contents:
“... -- This Java: An Extension of Java with Exact Types -- Semantics of Probabilistic Programs: A Weak Limit...”View full text
Electronic
eBook
11
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...”View full text
Electronic
eBook
12
Table of Contents:
“... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...”
View full text
View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”View full text
Electronic
eBook
14
Published 2014
Table of Contents:
“... and Agile Values among Software Developers -- Part Short Papers -- Agile Methodologies in Web Programming: A...”View full text
Electronic
eBook
15
Published 2010
Subjects:
“...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”View full text
Electronic
eBook
17
Published 2006
Table of Contents:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”View full text
Electronic
eBook
18
Published 2015
Table of Contents:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“... -- Integration of a Text Search Engine with a Java Messaging Service -- A Common Conceptual Basis for Analyzing...”View full text
Electronic
eBook
20
Published 2006
Table of Contents:
“... Developing a Dynamic OCL Constraint Enforcement Tool for Java -- OCL and Graph-Transformations – A Symbiotic...”View full text
Electronic
eBook