10871 search results - page 382 / 2175 » A stable programming language |
154
click to vote
ECOOP
1987
Springer
15 years 10 months ago
1987
Springer
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...
155
click to vote
ESOP
2003
Springer
15 years 12 months ago
2003
Springer
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 ...
186
click to vote
LICS
1993
IEEE
15 years 11 months ago
1993
IEEE
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...
166
click to vote
ANLP
1992
15 years 8 months ago
1992
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...
167
click to vote
COMPSAC
2005
IEEE
16 years 11 days ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...