6054 search results - page 282 / 1211 » Implementation of Andorra-based Languages |
160
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
188
click to vote
EUROMICRO
1999
IEEE
15 years 11 months ago
1999
IEEE
Experience has shown that prototypingis a valuabletechnique in the validation of designs. However, the prototype(s) can be too far semantically removed from the design. Animation ...
175
click to vote
FTDCS
1999
IEEE
15 years 11 months ago
1999
IEEE
We describe a distributed system architecture that supports the integration of different front-office trading systems with middle and back-office systems, each of which have been ...
163
Voted
SC
1993
ACM
15 years 10 months ago
1993
ACM
Vienna Fortran is a machine-independent language extension of Fortran, which is based upon the Single-Program-Multiple-Data SPMD paradigm and allows the user to write programs f...
201
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
We introduce calling context graphs and various static and theorem proving based analyses that together provide a powerful method for proving termination of programs written in fea...