1888 search results - page 70 / 378 » Proof theory and computational analysis |
100
Voted
TLDI
2009
ACM
15 years 9 months ago
2009
ACM
Type-and-effect systems are a natural approach for statically reasoning about a program’s execution. They have been used to track a variety of computational effects, for example...
103
click to vote
KER
2008
15 years 12 days ago
2008
Computational social choice is a new discipline currently emerging at the interface of social choice theory and computer science. It is concerned with the application of computati...
186
Voted
POPL
2003
ACM
16 years 23 days ago
2003
ACM
Given a program and two variables p and q, the goal of points-to analysis is to check if p can point to q in some execution of the program. This well-studied problem plays a cruci...
107
click to vote
SAC
2006
ACM
15 years 6 months ago
2006
ACM
: In chip design, one of the main objectives is to decrease its clock cycle; however, the existing approaches to timing analysis under uncertainty are based on fundamentally restri...
140
click to vote
CCA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. In this paper we study a new approach to classify mathematical theorems according to their computational content. Basically, we are asking the question which theorems can...