5377 search results - page 249 / 1076 » Programming Languages For Interactive Computing |
157
click to vote
PLDI
2000
ACM
15 years 10 months ago
2000
ACM
This paper describes the implementation of a purely functional programming language for building software systems. In this language, external tools like compilers and linkers are ...
156
click to vote
COLING
2002
15 years 6 months ago
2002
A methodology is proposed for taking queries and requests expressed in natural language as input and answering them in charts through organizing that interaction into felicitous d...
129
Voted
CIE
2007
Springer
16 years 13 days ago
2007
Springer
The interest is in characterizing insightfully the power of program self-reference in effective programming systems (epses), the computability-theoretic analogs of programming lan...
161
click to vote
BIRTHDAY
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. State-of-the-art proof presentation systems suffer from several deficiencies. First, they simply present the proofs without motivating why the proof is done as it is do...
161
click to vote
ECOOP
2010
Springer
15 years 11 months ago
2010
Springer
ncy Abstractions on x86-TSO Scott Owens University of Cambridge Abstract. With the rise of multi-core processors, shared-memory concurrency has become a widespread feature of compu...