(2012): Volumes 7200–7249 - Index of files in - University of Utah

REFERENCES 148
Butterfield:2012:RAF
[749] Andrew Butterfield. Reasoning about I/O in functional programs. Lecture
Notes in Computer Science, 7241:93–141, 2012. CODEN LNCSD9. ISSN
0302-9743 (print), 1611-3349 (electronic). URL http://link.springer.
com/chapter/10.1007/978-3-642-32096-5_3/.
Loogen:2012:EPF
[750] Rita Loogen. Eden — parallel functional programming with Haskell. Lecture
Notes in Computer Science, 7241:142–206, 2012. CODEN LNCSD9.
ISSN 0302-9743 (print), 1611-3349 (electronic). URL http://link.
springer.com/chapter/10.1007/978-3-642-32096-5_4/.
Grelck:2012:SAC
[751] Clemens Grelck. Single Assignment C (SAC) high productivity meets
high performance. Lecture Notes in Computer Science, 7241:207–278,
2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic).
URL http://link.springer.com/chapter/10.1007/978-3-
642-32096-5_5/.
Michaelson:2012:RAM
[752] Greg Michaelson and Gudmund Grov. Reasoning about multi-process
systems with the box calculus. Lecture Notes in Computer Science, 7241:
279–338, 2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349
(electronic). URL http://link.springer.com/chapter/10.1007/978-
3-642-32096-5_6/.
Marlow:2012:PCP
[753] Simon Marlow. Parallel and concurrent programming in Haskell. Lecture
Notes in Computer Science, 7241:339–401, 2012. CODEN LNCSD9. ISSN
0302-9743 (print), 1611-3349 (electronic). URL http://link.springer.
com/chapter/10.1007/978-3-642-32096-5_7/.
Axelsson:2012:FAI
[754] Emil Axelsson and Mary Sheeran. Feldspar: Application and implementation.
Lecture Notes in Computer Science, 7241:402–439, 2012. CODEN
LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic). URL http://
link.springer.com/chapter/10.1007/978-3-642-32096-5_8/.
Toth:2012:SAC
[755] Melinda Tóth and István Bozó. Static analysis of complex software systems
implemented in Erlang. Lecture Notes in Computer Science, 7241:
440–498, 2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349