2000 search results - page 318 / 400 » Program Transformation and Proof Transformation |
131
Voted
TGC
2007
Springer
15 years 9 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...
137
Voted
PLDI
2003
ACM
15 years 8 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...
122
Voted
FCCM
2000
IEEE
15 years 8 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...
153
Voted
POPL
1997
ACM
15 years 7 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...
150
Voted
DAGSTUHL
1996
15 years 4 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...