3825 search results - page 430 / 765 » The Language of Time: A Reader |
184
click to vote
PLDI
1998
ACM
15 years 11 months ago
1998
ACM
This paper evaluates three alias analyses based on programming language types. The first analysis uses type compatibility to determine aliases. The second extends the first by u...
211
click to vote
POPL
1997
ACM
15 years 11 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
260
click to vote
DISCO
1993
15 years 11 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...
163
click to vote
IUI
1993
ACM
15 years 11 months ago
1993
ACM
We discuss current approaches to the development of natural language dialogue systems, and claim that they do not sufficiently consider the unique qualities of man-machine intera...
212
click to vote
EDBT
2010
ACM
15 years 10 months ago
2010
ACM
A key advantage of scientific workflow systems over traditional scripting approaches is their ability to automatically record data and process dependencies introduced during workf...