2943 search results - page 384 / 589 » Software Implementation of Synchronous Programs |
149
Voted
ECLIPSE
2005
ACM
15 years 4 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
231
Voted
POPL
2004
ACM
16 years 3 months ago
2004
ACM
We present a framework for the certification of compilation and of compiled programs. Our approach uses a symbolic transfer functions-based representation of programs, so as to ch...
132
Voted
ICFP
2005
ACM
16 years 2 months ago
2005
ACM
Implementing first-class continuations can pose a challenge if the target machine makes no provisions for accessing and re-installing the run-time stack. In this paper, we present...
119
Voted
FCCM
2000
IEEE
15 years 7 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...
140
Voted
CSMR
2002
IEEE
15 years 7 months ago
2002
IEEE
The evolution of complex software systems is promoted by software engineering principles and techniques like separation of concerns, encapsulation, stepwise refinement, and reusab...