183 search results - page 25 / 37 » A new method for compiling schizophrenic synchronous program... |
130
click to vote
ICFP
2003
ACM
16 years 4 months ago
2003
ACM
Program analysis is the heart of modern compilers. Most control flow analyses are reduced to the problem of finding a fixed point in a certain transition system, and such fixed po...
151
Voted
SAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Silicon chip design has passed a threshold whereby exponentially increasing transistor density (Moore’s Law) no longer translates into increased processing power for si...
128
click to vote
SPIN
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. We present a new decision procedure for detecting property violations in pushdown models for concurrent programs that use lock-based synchronization, where each thread’...
145
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
This paper describes wildcards, a new language construct designed to increase the flexibility of object-oriented type systems with parameterized classes. Based on the notion of v...
154
click to vote
HOTOS
2007
IEEE
15 years 8 months ago
2007
IEEE
Program comments have long been used as a common practice for improving inter-programmer communication and code readability, by explicitly specifying programmers' intentions ...