1210 search results - page 8 / 242 » Formal Techniques for Java Programs |
SAC
2000
ACM
14 years 1 months ago
2000
ACM
Abstract. Formal grammars are well established for specifying the syntax of programming languages. However, the formal specification of programming language semantics has proven mo...
GPCE
2007
Springer
14 years 4 months ago
2007
Springer
Embedded systems can be viewed as scaled-down versions of their one counterparts. In many cases, the software abstractions and libraries for embedded systems can be derived from l...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...
CAV
2007
Springer
14 years 4 months ago
2007
Springer
IPPS
2000
IEEE
14 years 2 months ago
2000
IEEE
This paper presents a new approach to improve performance of Java programs by extending the superthreaded speculative execution model [14, 15] to exploit coarsegrained parallelism...