1452 search results - page 141 / 291 » Algorithmic Analysis of Array-Accessing Programs |
83
Voted
ENTCS
2007
15 years 16 days ago
2007
We give a uniform type-systematic account of a number of optimizations and the underlying analyses for a bytecode-like stack-based low-level language, including analysis soundness...
119
click to vote
POPL
2011
ACM
14 years 3 months ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...
100
Voted
DAC
2003
ACM
16 years 1 months ago
2003
ACM
In this paper, we describe a set of compiler analyses and an implementation that automatically map a sequential and un-annotated C program into a pipelined implementation, targete...
103
click to vote
PPDP
2001
Springer
15 years 5 months ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...
100
Voted
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...