1159 search results - page 60 / 232 » On The Next Move in Programming |
192
Voted
POPL
2008
ACM
16 years 25 days 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 ...
99
Voted
SAC
2010
ACM
15 years 7 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...
100
Voted
SIGSOFT
2004
ACM
15 years 6 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ļ¬...
124
Voted
IPPS
1999
IEEE
15 years 4 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...
210
Voted
POPL
2009
ACM
16 years 1 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...