1005 search results - page 53 / 201 » Operational Semantics and Program Equivalence |
126
click to vote
GPCE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Component-oriented programming yields a tension between higherorder features (deployment, reconfiguration, passivation), encapsulation, and component sharing. We propose...
102
Voted
IMPERIAL
1993
15 years 6 months ago
1993
The salient feature of the composition operators for Gamma programs is that for termination, the parallel composition operator demands that its operands must terminate synchronous...
118
click to vote
OOPSLA
2009
Springer
15 years 7 months ago
2009
Springer
In the multicore era, sequential programs need to be refactored for parallelism. The next version of Java provides ParallelArray, an array datastructure that supports parallel ope...
130
click to vote
TACS
2001
Springer
15 years 6 months ago
2001
Springer
Network programming is notoriously hard to understand: one has to deal with a variety of protocols (IP, ICMP, UDP, TCP etc), concurrency, packet loss, host failure, timeouts, the c...
PROMAS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We describe the design of an intermediate language (AIL) for BDIstyle programming languages. AIL is not intended as yet another programming language, but is meant to prov...