Trends in Functional Programming, 2014 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers Theoretical Computer Science and General Issues Series
Coordonnateur : McCarthy Jay
Total Functional Software Engineering: Overview Paper.- Using Rewriting to Synthesize Functional Languages to Digital Circuits.- Distributed Places.- Bytecode and Memoized Closure Performance.- Towards Efficient Abstractions for Concurrent Consensus.- Blame Prediction.- Model-Based Shrinking for State-Based Testing.- Control-Flow Analysis with SAT Solvers.- A Survey of Polyvariance in Abstract Interpretations.- Functional Video Games in CS1 III: Distributed Programming for Beginners.
Date de parution : 12-2013
Ouvrage de 169 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 48,53 €
Ajouter au panierThème de Trends in Functional Programming :
Mots-clés :
SAT solvers; abstraction; concurrency; digital circuits; software engineering