4355 search results - page 236 / 871 » From Interpretation to Compilation |
170
click to vote
ECOOP
2004
Springer
16 years 5 hour ago
2004
Springer
Today’s mainstream object-oriented compilers and tools do not support declaring and statically checking simple pre- and postconditions on methods and invariants on object represe...
184
click to vote
IEEEAMS
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
150
click to vote
LCPC
2001
Springer
15 years 11 months ago
2001
Springer
This paper deals with the problem of statically inferring the shape of an array in languages such as MATLAB. Inferring an array’s shape is desirable because it empowers better co...
157
click to vote
EP
1998
Springer
15 years 10 months ago
1998
Springer
Two complementary de facto standards for the publication of electronic documents are HTML on the World Wide Web and Adobe's PDF (Portable Document Format) language for use wi...
237
click to vote
CONCUR
1993
Springer
15 years 10 months ago
1993
Springer
During the course of the last decade, a mathematical model for the parallelization of FOR-loops has become increasingly popular. In this model, a (perfect) nest of r FOR-loops is r...