811 search results - page 123 / 163 » Probabilistic Semantics and Program Analysis |
152
Voted
PLDI
2005
ACM
15 years 10 months ago
2005
ACM
We present a multi-lingual type inference system for checking type safety across a foreign function interface. The goal of our system is to prevent foreign function calls from int...
149
click to vote
EMSOFT
2007
Springer
15 years 11 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
187
click to vote
PEPM
1995
ACM
15 years 8 months ago
1995
ACM
Interpretation and Low-Level Code Optimization Saumya Debray Department of Computer Science University of Arizona Tucson, AZ 85715 Abstract interpretation is widely accepted as a ...
129
click to vote
FASE
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Nested if-then-else statements is the most common programming schema in applications like data transformation or data analysis. In most cases, these can be replaced by hi...
123
click to vote
EACL
2006
ACL Anthology
15 years 6 months ago
2006
ACL Anthology
We report work1 in progress on adding affect-detection to an existing program for virtual dramatic improvisation, monitored by a human director. To partially automate the director...