Sciweavers

10575 search results - page 341 / 2115
» T2Script Programming Language
Sort
View
POPL
1996
ACM
15 years 9 months ago
A Practical and Flexible Flow Analysis for Higher-Order Languages
operators. The analysis is abstract interpretation-based and is parameterized over two polyvariance operators and a projection operator. These operators are used to regulate the sp...
J. Michael Ashley
ECOOP
1987
Springer
15 years 8 months ago
Deltatalk: An Empirically and Aesthetically Motivated Simplification of the Smalltalk-80 Language
The Smalltalk-80 system offers a language with a small and elegant conceptual core, and a highly interactive programming environment. We believe, however, that it could be made mor...
Alan Borning, Tim O'Shea
ESOP
2003
Springer
15 years 10 months ago
Type Error Slicing in Implicitly Typed Higher-Order Languages
Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. We present a new approach that ...
Christian Haack, J. B. Wells
LICS
1993
IEEE
15 years 9 months ago
Full Abstraction for a Shared Variable Parallel Language
traction for a Shared Variable Parallel Language Stephen Brookes∗ School of Computer Science Carnegie Mellon University Pittsburgh, Pa 15213 We give a new denotational semantics...
Stephen D. Brookes
ANLP
1992
81views more  ANLP 1992»
15 years 6 months ago
Portable Natural Language Generation using SPOKESMAN
1 This paper reports on the SPOKESMAN natural language generation system, which is a domain independent text generator designed to incrementally produce text for an underlying appl...
Marie Meteer