506 search results - page 73 / 102 » Constructor-based observational logic |
107
Voted
CORR
2002
Springer
15 years 10 days 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...
113
Voted
JFP
2000
15 years 9 days 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...
119
Voted
SAC
2002
ACM
15 years 5 days ago
2002
ACM
The theoretical price of a financial option is given by the expectation of its discounted expiry time payoff. The computation of this expectation depends on the density of the val...
95
Voted
ICCAD
2010
IEEE
14 years 10 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...
143
click to vote
OOPSLA
2010
Springer
14 years 10 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...