1
Publicado 2013
Tabla de Contenidos: ... JavaScript Applications with Haskell -- Advances in Lazy SmallCheck -- OCaml-Java: from OCaml sources to Java...
Enlace del recurso
Electrónico eBook
2
por Obcena, Mark., Obcena, Mark.
Publicado 2010
Tabla de Contenidos: ...Exploring JavaScript and MooTools -- JavaScript and MooTools -- Functions -- Objects -- Classes...
Enlace del recurso
Electrónico eBook
3
por Hunt, John., Hunt, John.
Publicado 2014
Tabla de Contenidos: ... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...
Enlace del recurso
Electrónico eBook
4
Publicado 2013
Tabla de Contenidos: ... -- This Java: An Extension of Java with Exact Types -- Semantics of Probabilistic Programs: A Weak Limit...
Enlace del recurso
Electrónico eBook
5
Publicado 2005
Tabla de Contenidos: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
Enlace del recurso
Electrónico eBook
6
Publicado 2015
Tabla de Contenidos: ... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...
Enlace del recurso
Electrónico eBook
7
por Lew, Art., Lew, Art., Mauch, Holger.
Publicado 2007
Tabla de Contenidos: ...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...
Enlace del recurso
Electrónico eBook
8
Publicado 2013
Tabla de Contenidos: ... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...
Enlace del recurso
Electrónico eBook
9
Publicado 2014
Tabla de Contenidos: ... and Agile Values among Software Developers -- Part Short Papers -- Agile Methodologies in Web Programming: A...
Enlace del recurso
Electrónico eBook
10
Materias: ...Computer programming....
Enlace del recurso
Electrónico eBook
11
Publicado 2014
Tabla de Contenidos: ... Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley -- Heuristic Search Over...
Enlace del recurso
Electrónico eBook
12
Publicado 2013
Tabla de Contenidos: ... History with Database Supported Haskell -- LogicObjects: Enabling Logic Programming in Java through...
Enlace del recurso
Electrónico eBook
13
Publicado 2006
Tabla de Contenidos: ...Using CHRs to Generate Functional Test Cases for the Java Card Virtual Machine -- Generic Cut...
Enlace del recurso
Electrónico eBook
14
Publicado 2010
Tabla de Contenidos: ... Functionality and Usage -- Loosely-Coupled Distributed Reactive Programming in Mobile Ad Hoc Networks...
Enlace del recurso
Electrónico eBook
15
Publicado 2014
Tabla de Contenidos: ... JavaScript -- Compiling DNA Strand Displacement Reactions Using a Functional Programming Language -- Two...
Enlace del recurso
Electrónico eBook
16
Publicado 2007
Tabla de Contenidos: ...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...
Enlace del recurso
Electrónico eBook
17
Publicado 2008
Tabla de Contenidos: ... Engineering -- Verification of Java Programs with Generics -- Domain Axioms for a Family of Near-Semirings...
Enlace del recurso
Electrónico eBook
18
Publicado 2010
Tabla de Contenidos: ... Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules -- A Java...
Enlace del recurso
Electrónico eBook
19
Publicado 2008
Tabla de Contenidos: ... Systems -- Tools -- JML4: Towards an Industrial Grade IVE for Java and Next Generation Research Platform...
Enlace del recurso
Electrónico eBook
20
Publicado 2010
Tabla de Contenidos: ... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...
Enlace del recurso
Electrónico eBook