578 search results - page 59 / 116 » Analysis of Programs with Exception-Handling Constructs |
199
click to vote
POPL
2006
ACM
16 years 26 days ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
85
Voted
MICRO
2002
IEEE
15 years 5 months ago
2002
IEEE
To find the best designs, architects must rapidly simulate many design alternatives and have confidence in the results. Unfortunately, the most prevalent simulator construction ...
97
Voted
ICSM
2009
IEEE
15 years 7 months ago
2009
IEEE
Program call graph representation can be used to support many tasks in compiler optimization, program comprehension, and software maintenance. During software evolution, the call ...
111
Voted
CCS
2011
ACM
14 years 16 days ago
2011
ACM
On the one hand, compilers for secure computation protocols, such as FairPlay or FairPlayMP, have significantly simplified the development of such protocols. On the other hand, ...
97
Voted
CORR
2008
Springer
15 years 19 days ago
2008
Springer
We provide a computer verified exact monadic functional implementation of the Riemann integral in type theory. Together with previous work by O'Connor, this may be seen as the...