Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
programming abstraction » programming abstract, programming introduction
abstraction https » instruction https, arbitration https, extraction https
https function » its function, sites function, ups function
function java » function jane, function jason, function james
programming abstraction » programming abstract, programming introduction
abstraction https » instruction https, arbitration https, extraction https
https function » its function, sites function, ups function
function java » function jane, function jason, function james
1
2
Publié 2005
Table des matières:
“... for Singly-Linked Lists -- Purity and Side Effect Analysis for Java Programs -- Abstract Model Checking...”Accéder au texte intégral
Électronique
eBook
3
Publié 2008
Table des matières:
“...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”Accéder au texte intégral
Électronique
eBook
4
Table des matières:
“... Oriented System -- Functional Programming -- Scala Background -- A Little Scala -- Scala Building Blocks...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
5
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Publié 2005
Table des matières:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”Accéder au texte intégral
Électronique
eBook
6
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Publié 2007
Table des matières:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”Accéder au texte intégral
Électronique
eBook
7
Publié 2005
Table des matières:
“...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”Accéder au texte intégral
Électronique
eBook
8
Publié 2012
Table des matières:
“... Atomicity for Java -- Ownership Types for Object Synchronisation -- A Functional View of Imperative...”Accéder au texte intégral
Électronique
eBook
9
Publié 2010
Table des matières:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”Accéder au texte intégral
Électronique
eBook
10
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Publié 2010
Table des matières:
“... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...”Accéder au texte intégral
Électronique
eBook
11
Programming Languages and Systems 22nd European Symposium on Programming, ESOP 2013, Held as Part...
Publié 2013
Table des matières:
“...Distributed Electronic Rights in JavaScript -- The Compiler Forest -- Pretty-Big-Step Semantics...”Accéder au texte intégral
Électronique
eBook
12
Publié 2013
Table des matières:
“... -- This Java: An Extension of Java with Exact Types -- Semantics of Probabilistic Programs: A Weak Limit...”Accéder au texte intégral
Électronique
eBook
13
Table des matières:
“... of Functional Languages -- General Features of Logic Programming Languages -- Operational Semantics of Prolog...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
14
Table des matières:
“...Preface -- Introduction -- Interpreters and Compilers -- From Concrete Syntax to Abstract Syntax...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
15
Publié 2013
Table des matières:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”Accéder au texte intégral
Électronique
eBook
16
Publié 2005
Table des matières:
“... Programs -- Model Checking Abstract State Machines with Answer Set Programming -- Characterizing...”Accéder au texte intégral
Électronique
eBook
17
Publié 2013
Table des matières:
“... for Computing Ordinal Conditional Functions Using Constraint Logic Programming -- A Descriptive Approach...”Accéder au texte intégral
Électronique
eBook
18
Publié 2006
Table des matières:
“...Keynote -- Design Patterns – 15 Years Later -- Program Query and Persistence -- codeQuest: Scalable...”Accéder au texte intégral
Électronique
eBook
19
Publié 2015
Table des matières:
“... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”Accéder au texte intégral
Électronique
eBook
20
Publié 2006
Table des matières:
“... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...”Accéder au texte intégral
Électronique
eBook