16190 search results - page 380 / 3238 » Applicative programming with effects |
227
click to vote
ICDE
1997
IEEE
16 years 6 months ago
1997
IEEE
We demonstrate the use of a hyper-programming system in building persistent applications. This allows program representations to contain type-safe links to persistent objects embe...
125
click to vote
PARELEC
2002
IEEE
15 years 9 months ago
2002
IEEE
Integration of P-GRADE with Condor and parallel check-pointing results in an environment under which both interactive parallel program development and batch mode execution is poss...
167
click to vote
COCO
1993
Springer
15 years 9 months ago
1993
Springer
We introduce a linear algebraic model of computation, the Span Program, and prove several upper and lower bounds on it. These results yield the following applications in complexit...
125
click to vote
OPODIS
2008
15 years 6 months ago
2008
We focus on automated revision techniques for adding Unity properties to distributed programs. We show that unlike centralized programs, where multiple safety properties along with...
146
click to vote
KBSE
2009
IEEE
15 years 11 months ago
2009
IEEE
—The widely used C preprocessor (CPP) is generally considered a source of difficulty for understanding and maintaining C/C++ programs. The main reason for this difficulty is CP...