4258 search results - page 406 / 852 » Languages and Interactive Software Development |
142
Voted
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
290
Voted
POPL
2006
ACM
16 years 6 months ago
2006
ACM
This paper reports on the development and formal certification (proof of semantic preservation) of a compiler from Cminor (a Clike imperative language) to PowerPC assembly code, u...
180
click to vote
PPPJ
2009
ACM
16 years 28 days ago
2009
ACM
Continuations, or ’the rest of the computation’, are a concept that is most often used in the context of functional and dynamic programming languages. Implementations of such ...
179
click to vote
EPEW
2005
Springer
15 years 11 months ago
2005
Springer
Software composition via workflow specifications has received a great deal of attention recently. One reason is the high degree of fit with the encapsulation of software modules...
177
Voted
OOPSLA
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents the design of G, a new language specifically created for generic programming. We review and identify important language features of C++ and Haskell in light o...