1
Pubblicazione 2013
Sommario: ... Programming Matters to Me -- Clocks for Functional Programs -- Declarative Natural Language Specifications...
Testo
Elettronico eBook
2
Pubblicazione 2010
Sommario: ... Computation -- Propositional Interpolation and Abstract Interpretation -- Functional Programming in Sublinear...
Testo
Elettronico eBook
3
Pubblicazione 2015
Sommario: ... Processing To Extract poly(A) Sites -- Analysis of poly(A) Site Choice Using A Java-Based Clustering...
Testo
Elettronico eBook
4
Pubblicazione 2007
Sommario: ...Invited Papers -- Refactoring Using Type Constraints -- Programming Language Design and Analysis...
Testo
Elettronico eBook
5
Pubblicazione 2010
Sommario: ... -- Fast Multi-objective Reschulding of Grid Jobs by Heuristics and Evolution -- Comparison of Program Task...
Testo
Elettronico eBook
6
Pubblicazione 2015
Sommario: ...A Trusted Mechanised Specification of JavaScript: One Year On -- Model Checking and Refinements...
Testo
Elettronico eBook
7
Pubblicazione 2010
Sommario: ... Development and Programming of Multi-core SoC -- HPPC 2009 Panel: Are Many-Core Computer Vendors on Track...
Testo
Elettronico eBook