5377 search results - page 145 / 1076 » Programming Languages For Interactive Computing |
LCPC
2005
Springer
14 years 2 months ago
2005
Springer
Eden is a parallel extension of the functional language Haskell. Eden inherits from Haskell its laziness, which allows it to avoid unnecessary computations. However, in order to en...
ECOOPW
1997
Springer
14 years 1 months ago
1997
Springer
This report investigates the relationships between design patterns and programming languages. A comparison is carried out between the usual track of programming languages developme...
LPAR
2012
Springer
12 years 4 months ago
2012
Springer
Abstract. We present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programmi...
SPIN
2000
Springer
14 years 26 days ago
2000
Springer
Research on how to reason about correctness properties of software systems using model checking is advancing rapidly. Work on exnite-state models from program source code and on ab...
POPL
2007
ACM
14 years 9 months ago
2007
ACM
We present an overview of our ongoing work on parallelizing self-adjusting-computation techniques. In self-adjusting computation, programs can respond to changes to their data (e....