479 search results - page 48 / 96 » On Static Properties of Specialized Programs |
84
Voted
ATVA
2009
Springer
15 years 7 months ago
2009
Springer
We present a data symmetry reduction approach for model temporal-epistemic logic. The technique abstracts the epistemic indistinguishably relation for the knowledge operators, and ...
130
click to vote
PLDI
2000
ACM
15 years 5 months ago
2000
ACM
Dynamic class loading during program execution in the JavaTM Programming Language is an impediment for generating code that is as e cient as code generated using static wholeprogr...
155
Voted
POPL
2003
ACM
16 years 29 days ago
2003
ACM
We present a framework for applying memoization selectively. The framework provides programmer control over equality, space usage, and identification of precise dependences so tha...
126
click to vote
ICALP
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. Congestion games model several interesting applications, including routing and network formation games, and also possess attractive theoretical properties, including the ...
147
click to vote
HIPEAC
2011
Springer
14 years 8 days ago
2011
Springer
Dynamic typing is a barrier for JavaScript applications to achieve high performance. Compared with statically typed languages, the major overhead of dynamic typing comes from runt...