4722 search results - page 458 / 945 » Encoding Program Executions |
162
click to vote
POPL
1997
ACM
15 years 10 months ago
1997
ACM
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...
165
click to vote
PSLS
1995
15 years 10 months ago
1995
Abstract. Lazy task creation (LTC) is an e cient approach for executing divide and conquer parallel programs that has been used in the implementation of Multilisp's future con...
199
click to vote
ECOOP
2010
Springer
15 years 8 months ago
2010
Springer
Developers using statically typed languages such as C and Java are increasingly having to interoperate with APIs and object models defined in dynamic languages. This impedance mis...
144
click to vote
APLAS
2005
ACM
15 years 8 months ago
2005
ACM
This paper describes a sound technique that combines the precision em proving with the loop-invariant inference of abstract interpretation. The loop-invariant computations are invo...
154
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
The purpose of this paper is to present the required tools for the development, testing and verification of DSP software in Matlab. The paper motivates a DSP Simulator concept tha...