Sciweavers

Share
PADL
2011
Springer
10 years 2 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
PADL
2011
Springer
10 years 2 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
Programming Languages
Top of PageReset Settings
books