Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
programs semantic » programs semantics, program semantics, problems semantic
semantic function » semantic functions, semantics function, semantics functions
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
java programs » java programming
programs semantic » programs semantics, program semantics, problems semantic
semantic function » semantic functions, semantics function, semantics functions
function https » functions https, fiction https
parallel java » parallel data, parallel scara, parallel a
java programs » java programming
1
Published 2013
Table of Contents:
“... Functional Formalizations – A Type-Theoretical Case Study in PVS -- Functional Semantics -- Why Functional...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”View full text
Electronic
eBook
3
Published 2013
Table of Contents:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”View full text
Electronic
eBook
4
Published 2005
Table of Contents:
“... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...”View full text
Electronic
eBook
5
Published 2015
Table of Contents:
“... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”View full text
Electronic
eBook
6
Published 2014
Table of Contents:
“... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... Framework for Modeling Automatic Offloading of Mobile Applications Using Genetic Programming -- Solving...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Oriented Approach -- Kreios: Towards Semantic Interoperable Systems -- Adaptive Architecture for Web Server...”View full text
Electronic
eBook
9
Published 2007
Table of Contents:
“... -- Application of Safety Analyses in Model Driven Development -- Mission Modes for Safety Critical Java -- Safety...”View full text
Electronic
eBook
10
Published 2008
Table of Contents:
“... -- Probabilistically Guided Prefix Gene Expression Programming -- Flocking-based Document Clustering on the Graphics...”View full text
Electronic
eBook