1159 search results - page 60 / 232 » On The Next Move in Programming |
229
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood. In ...
132
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
Most mainstream system programming languages provide support for builtin types, and extension mechanisms through userdeļ¬ned types. They also come with a notion of constant expre...
134
click to vote
SIGSOFT
2004
ACM
15 years 9 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...
162
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
Parallelizing compiler technology has improved in recent years. One area in which compilers have made progress is in handling DOACROSS loops, where crossprocessor data dependencie...
254
click to vote
POPL
2009
ACM
16 years 5 months ago
2009
ACM
This paper describes an inter-procedural technique for computing symbolic bounds on the number of statements a procedure executes in terms of its scalar inputs and user-defined qu...