1
Pubblicazione 2015
Sommario: ... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...
Testo
Elettronico eBook
2
Pubblicazione 2011
Soggetti: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
Testo
Elettronico eBook
3
Pubblicazione 2008
Sommario: ... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...
Testo
Elettronico eBook
4
Pubblicazione 2013
Sommario: ... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...
Testo
Elettronico eBook
5
Pubblicazione 2013
Sommario: ... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...
Testo
Elettronico eBook
6
Pubblicazione 2006
Sommario: ... for Predicate Abstraction of Heap-Manipulating Programs -- Monitoring Off-the-Shelf Components -- Parallel...
Testo
Elettronico eBook
7
di Fischer, Robert., Fischer, Robert.
Pubblicazione 2015
Soggetti: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
Testo
Elettronico eBook
8
Pubblicazione 2008
Sommario: ... Alias to Detect Null Pointer Dereference -- A Partial Order Reduction Technique for Parallel Timed...
Testo
Elettronico eBook
9
Pubblicazione 2010
Sommario: ... Approach -- Taming the Complexity of Inductive Logic Programming -- Regular Papers -- A Rule Format...
Testo
Elettronico eBook