16190 search results - page 397 / 3238 » Applicative programming with effects |
182
click to vote
JFP
2007
15 years 4 months ago
2007
Software engineering courses offer one of many opportunities for providing students with a significant experience in declarative programming. This report discusses some results fr...
184
Voted
ASPLOS
2011
ACM
14 years 8 months ago
2011
ACM
Concurrency bugs are caused by non-deterministic interleavings between shared memory accesses. Their effects propagate through data and control dependences until they cause softwa...
149
click to vote
KBSE
2007
IEEE
15 years 11 months ago
2007
IEEE
Programmers have long used assertions to characterize properties of code. An assertion violation signals a corruption in the program state. At such a state, it is standard to term...
130
click to vote
CC
2002
Springer
15 years 4 months ago
2002
Springer
We present an efficient online subpath profiling algorithm, OSP, that reports hot subpaths executed by a program in a given run. The hot subpaths can start at arbitrary basic block...
288
click to vote
PADL
2009
Springer
16 years 5 months ago
2009
Springer
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...