Lecture Notes in Computer Science - Trends in Functional Programming
Latest Publications

TOTAL DOCUMENTS

10

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642453397, 9783642453403

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Model-Based Shrinking for State-Based Testing

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-642-45340-3_7 ◽

2014 ◽

pp. 107-124 ◽

Author(s):

Pieter Koopman ◽

Peter Achten ◽

Rinus Plasmeijer

Keyword(s):

Download Full-text

Using Rewriting to Synthesize Functional Languages to Digital Circuits

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-642-45340-3_2 ◽

2014 ◽

pp. 17-33 ◽

Author(s):

Christiaan Baaij ◽

Jan Kuper

Keyword(s):

Digital Circuits ◽

Functional Languages

Download Full-text

Blame Prediction

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-642-45340-3_6 ◽

2014 ◽

pp. 91-106

Author(s):

Dries Harnie ◽

Christophe Scholliers ◽

Wolfgang De Meuter

Download Full-text

A Survey of Polyvariance in Abstract Interpretations

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-642-45340-3_9 ◽

2014 ◽

pp. 134-148 ◽

Author(s):

Thomas Gilray ◽

Matthew Might

Download Full-text

Functional Video Games in CS1 III

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-642-45340-3_10 ◽

2014 ◽

pp. 149-167 ◽

Author(s):

Marco T. Morazán

Keyword(s):

Download Full-text

Total Functional Software Engineering

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-642-45340-3_1 ◽

2014 ◽

pp. 1-16 ◽

Author(s):

Baltasar Trancón y Widemann

Keyword(s):

Software Engineering ◽

Functional Software

Download Full-text

Control-Flow Analysis with SAT Solvers

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-642-45340-3_8 ◽

2014 ◽

pp. 125-133

Author(s):

Steven Lyde ◽

Matthew Might

Keyword(s):

Flow Analysis ◽

Control Flow ◽

Sat Solvers ◽

Control Flow Analysis

Download Full-text

Bytecode and Memoized Closure Performance

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-642-45340-3_4 ◽

2014 ◽

pp. 58-75 ◽

Author(s):

Marco T. Morazán

Download Full-text

Distributed Places

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-642-45340-3_3 ◽

2014 ◽

pp. 34-57 ◽

Author(s):

Kevin Tew ◽

James Swaine ◽

Matthew Flatt ◽

Robert Bruce Findler ◽

Peter Dinda

Download Full-text

Towards Efficient Abstractions for Concurrent Consensus

Lecture Notes in Computer Science - Trends in Functional Programming ◽

10.1007/978-3-642-45340-3_5 ◽

2014 ◽

pp. 76-90 ◽

Author(s):

Carlo Spaccasassi ◽

Vasileios Koutavas

Download Full-text