4281 search results - page 146 / 857 » How to Disembed a Program |
113
click to vote
COMPASS
1994
15 years 6 months ago
1994
ASL+ is a formalism for speci cation and programming in-the-large, based on an arbitrary institution. It has rules for proving the satisfaction and re nement of speci cations, whic...
114
Voted
POPL
1993
ACM
15 years 6 months ago
1993
ACM
Static scoping embodies a strong encapsulation mechanism for hiding the details of program units. Yet, it does not allow the sharing of variable bindings locations across indepe...
116
Voted
SIGCOMM
1994
ACM
15 years 6 months ago
1994
ACM
This paper describes our experiences, from a software perspective, with the OSIRIS network adaptor. It first identifies the problems we encountered while programming OSIRIS and op...
105
Voted
CAV
2010
Springer
15 years 6 months ago
2010
Springer
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...
114
Voted
FPL
2006
Springer
15 years 6 months ago
2006
Springer
Multi-processor architectures have gained interest recently because of their ability to exploit programmable silicon parallelism at acceptable power-efficiency figures. Despite th...