Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs function » programs functional, programme function, programs fiction
java programs » java programming
program java » program jarak, program a, program jom
based https » based http
programs function » programs functional, programme function, programs fiction
java programs » java programming
program java » program jarak, program a, program jom
based https » based http
1
Published 2015
Table of Contents:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”View full text
Electronic
eBook
2
Table of Contents:
“...to RIA -- to JavaFX -- Data Types -- Operators and Expressions -- Functions -- Class Definitions...”
View full text
View full text
Electronic
eBook
3
4
by Dea, Carl., Dea, Carl., Beaty, Mark., Guime, Freddy., OConner, John., Juneau, Josh.
Published 2014
Subjects:
“...Java (Computer program language)....”Published 2014
View full text
Electronic
eBook
5
Table of Contents:
“... -- Fundamentals of the JavaScript Language -- Using Arrays in HTML/JavaScript -- JavaScript Functions -- Creating...”
View full text
View full text
Electronic
eBook
6
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Published 2005
Table of Contents:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”View full text
Electronic
eBook
7
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... Based Security -- A Certified Lightweight Non-interference Java Bytecode Verifier -- Controlling...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... and Customizable Profiling Framework for Java Based on Bytecode Instruction Counting -- Race Conditions in Message...”View full text
Electronic
eBook
9
Published 2012
Table of Contents:
“... Atomicity for Java -- Ownership Types for Object Synchronisation -- A Functional View of Imperative...”View full text
Electronic
eBook
10
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Published 2010
Table of Contents:
“... for Java Threads -- A Grammar-Based Approach to Invertible Programs -- Faulty Logic: Reasoning about Fault...”View full text
Electronic
eBook
11
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
12
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Published 2013
Table of Contents:
“... -- A Discipline for Program Verification Based on Backpointers and Its Use in Observational...”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
Table of Contents:
“... -- A First-Order Functional Language -- High-Order Functions -- Polymorphic Types -- Imperative...”
View full text
View full text
Electronic
eBook
15
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
16
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
17
Published 2005
Table of Contents:
“... for Ranking Matches Between Components -- Extra-Functional System Properties of Components and Component-Based...”View full text
Electronic
eBook
18
Published 2013
Table of Contents:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... Complexity of Constraint Satisfaction and Reasoning -- Translating Nondeterministic Functional Language based...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook