Sciweavers

Share
2 search results - page 1 / 1
» padl 2011
Sort
View
PADL
2011
Springer
9 years 5 months ago
Plato: A Compiler for Interactive Web Forms
Abstract. Modern web forms interact with the user in real-time by detecting errors and ļ¬lling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...
Timothy L. Hinrichs
PADL
2011
Springer
9 years 5 months ago
Joinads: A Retargetable Control-Flow Construct for Reactive, Parallel and Concurrent Programming
Modern challenges led to a design of a wide range of programming models for reactive, parallel and concurrent programming, but these are often t to encode in general purpose langua...
Tomas Petricek, Don Syme
books