4719 search results - page 671 / 944 » Newtonian program analysis |
252
click to vote
DISCO
1993
15 years 10 months ago
1993
ObjectMath is a high-level programming environment and modeling language for scientific computing which supports variants and graphical browsing in the environment and integrates o...
183
click to vote
IFIP
1994
Springer
15 years 10 months ago
1994
Springer
The concept of information landscapes has been a constant theme in the development of interactive multimedia packages. For the interface and access to this information to be effec...
186
click to vote
PLDI
1994
ACM
15 years 10 months ago
1994
ACM
As microprocessor speeds increase, memory bandwidth is increasing y the performance bottleneck for microprocessors. This has occurred because innovation and technological improvem...
181
click to vote
DBPL
1989
Springer
15 years 10 months ago
1989
Springer
In the process of developing an Information System, one passes through stages that include requirements gathering, design specification, and software implementation. The purpose ...
187
click to vote
FPCA
1989
15 years 10 months ago
1989
We give a framework for denotational semantics for the polymorphic “core” of the programming language ML. This framework requires no more semantic material than what is needed...