Sciweavers

10935 search results - page 379 / 2187
» Neural Programming Language
Sort
View
ECOOP
1987
Springer
15 years 10 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
16 years 2 days 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 11 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 8 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
ICFP
2012
ACM
13 years 9 months ago
Propositions as sessions
Continuing a line of work by Abramsky (1994), by Bellin and Scott (1994), and by Caires and Pfenning (2010), among others, this paper presents CP, a calculus in which propositions...
Philip Wadler