Search Results - program java https functional state https

1

by Resig, John., Resig, John.
Published 2007

Table of Contents: “...Introducing Modern JavaScript -- Modern JavaScript Programming -- Professional Java...”
View full text

Electronic eBook

2

The Beauty of Functional Code Essays Dedicated to Rinus Plasmeijer on the Occasion of His 61st Birthday /

Published 2013

Table of Contents: “...Beautiful Code, Beautiful Proof? -- Beauty and Code -- An Ontology of States -- Functional Type...”
View full text

Electronic eBook

3

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Published 2008

Table of Contents: “...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”
View full text

Electronic eBook

4

Dynamic Programming A Computational Tool /

by Lew, Art., Lew, Art., Mauch, Holger.
Published 2007

Table of Contents: “...Dynamic Programming -- to Dynamic Programming -- Applications of Dynamic Programming -- Modeling...”
View full text

Electronic eBook

5

Distributed, Embedded and Real-time Java Systems

Published 2012

Table of Contents: “...Supporting Multiprocessors in the Real-time Specification for Java Version -- Using Real-time Java...”
View full text

Electronic eBook

6

Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...

Published 2010

Table of Contents: “... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”
View full text

Electronic eBook

7

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Published 2013

Table of Contents: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
View full text

Electronic eBook

8

Logic for Programming, Artificial Intelligence, and Reasoning 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings /

Published 2005

Table of Contents: “... Programs -- Model Checking Abstract State Machines with Answer Set Programming -- Characterizing...”
View full text

Electronic eBook

9

Pro Spring Batch

by Minella, Michael., Minella, Michael.
Published 2011

Subjects: “...Java (Computer program language)....”
View full text

Electronic eBook

10

Agile Processes in Software Engineering and Extreme Programming 15th International Conference, XP 2014, Rome, Italy, May 26-30, 2014, Proceedings /

Published 2014

Table of Contents: “...-Driven Methods be Meshed in Practice? -- Contracting in Agile Software Projects: State of Art and How...”
View full text

Electronic eBook

11

Component-Based Software Engineering 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005 /

Published 2005

Table of Contents: “... Applications Using Messaging Protocols -- EJBMemProf – A Memory Profiling Framework for Enterprise Java...”
View full text

Electronic eBook

12

Scala Design Patterns Patterns for Practical Reuse and Design /

by Hunt, John., Hunt, John.
Published 2013

Table of Contents: “... -- Mediator -- Observer -- State -- Visitor -- Memento -- Part V – Functional Design Patterns -- Functor...”
View full text

Electronic eBook

13

Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers /

Published 2010

Table of Contents: “... Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules -- A Java...”
View full text

Electronic eBook

14

Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /

Published 2010

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

15

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Published 2012

Table of Contents: “... -- Program Specialization Via a Software Verification Tool -- Model–Based Analysis Tools for Component...”
View full text

Electronic eBook

16

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Published 2008

Table of Contents: “... Programming (SOP) Platforms -- Component-Level Energy Consumption Estimation for Distributed Java-Based...”
View full text

Electronic eBook

17

Fundamental Approaches to Software Engineering 10th International Conference, FASE 2007 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2007...

Published 2007

Table of Contents: “...-Functional MDA Framework -- Information Preserving Bidirectional Model Transformations -- Activity-Driven...”
View full text

Electronic eBook

18

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”
View full text

Electronic eBook

19

Practical Clojure

by VanderHart, Luke., VanderHart, Luke., Sierra, Stuart.
Published 2010

Table of Contents: “... -- Java Interoperability -- Parallel Programming -- Macros and Metaprogramming -- Datatypes and Protocols...”
View full text

Electronic eBook

20

MATLAB Optimization Techniques

by Lopez, Cesar., Lopez, Cesar.
Published 2014

Subjects: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
View full text

Electronic eBook

Narrow Search