504 search results - page 100 / 101 » Observational Logic |
121
click to vote
CORR
2002
Springer
15 years 1 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...
120
click to vote
JFP
2000
15 years 1 months ago
2000
In this paper we present two type inference systems for detecting useless-code in higher-order typed functional programs. Type inference can be performed in an efficient and compl...
107
click to vote
ICCAD
2010
IEEE
14 years 11 months ago
2010
IEEE
Reducing circuit's peak current plays an important role in circuit reliability in deep sub-micron era. For sequential circuits, it is observed that the peak current has a str...
158
click to vote
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
137
Voted
IEEEPACT
2009
IEEE
14 years 11 months ago
2009
IEEE
Transactional memory is being advanced as an alternative to traditional lock-based synchronization for concurrent programming. Transactional memory simplifies the programming mode...