Trends in Functional Programming

1. Front Matter

   PDF

2. Total Functional Software Engineering

   • Baltasar Trancón y Widemann

   Pages 1-16

3. Using Rewriting to Synthesize Functional Languages to Digital Circuits

   • Christiaan Baaij, Jan Kuper

   Pages 17-33

4. Distributed Places

   • Kevin Tew, James Swaine, Matthew Flatt, Robert Bruce Findler, Peter Dinda

   Pages 34-57

5. Bytecode and Memoized Closure Performance

   • Marco T. Morazán

   Pages 58-75

6. Towards Efficient Abstractions for Concurrent Consensus

   • Carlo Spaccasassi, Vasileios Koutavas

   Pages 76-90

7. Blame Prediction

   • Dries Harnie, Christophe Scholliers, Wolfgang De Meuter

   Pages 91-106

8. Model-Based Shrinking for State-Based Testing

   • Pieter Koopman, Peter Achten, Rinus Plasmeijer

   Pages 107-124

9. Control-Flow Analysis with SAT Solvers

   • Steven Lyde, Matthew Might

   Pages 125-133

10. A Survey of Polyvariance in Abstract Interpretations

    • Thomas Gilray, Matthew Might

    Pages 134-148

11. Functional Video Games in CS1 III

    • Marco T. Morazán

    Pages 149-167

12. Back Matter

    PDF

This book constitutes the thoroughly refereed revised selected papers of the 14th International Symposium on Trends in Functional Programming, TFP 2013, held in Provo, UT, USA in May 2013. The 10 revised full papers included in this volume were carefully and selected from 27 submissions. They cover topics such as distributed systems, education, functional language implementation, hardware synthesis, static analysis, testing and total programming.

• SAT solvers
• abstraction
• concurrency
• digital circuits
• software engineering

• Computer Science Department, Brigham Young University, Provo, USA

  Jay McCarthy

Policies and ethics