1821 search results - page 252 / 365 » Security-Aware Program Transformations |
110
click to vote
TGC
2007
Springer
15 years 7 months ago
2007
Springer
Distributed applications can be structured using sessions that specify flows of messages between roles. We design a small specific language to declare sessions. We then build a c...
111
click to vote
PLDI
2003
ACM
15 years 6 months ago
2003
ACM
Speculative execution, such as control speculation and data speculation, is an effective way to improve program performance. Using edge/path profile information or simple heuristi...
100
click to vote
FCCM
2000
IEEE
15 years 5 months ago
2000
IEEE
Hardware compilation techniques which use highlevel programming languages to describe and synthesize hardware are gaining popularity. They are especially useful for reconfigurable...
130
click to vote
POPL
1997
ACM
15 years 5 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
119
click to vote
DAGSTUHL
1996
15 years 2 months ago
1996
As partial evaluation gets more mature, it is now possible to use this program transformation technique to tackle realistic languages and real-size application programs. However, t...