3564 search results - page 545 / 713 » Evaluating a Formal Modelling Language |
77
Voted
PLDI
2010
ACM
15 years 3 months ago
2010
ACM
Self-adjusting computation provides an evaluation model where computations can respond automatically to modifications to their data by using a mechanism for propagating modifica...
114
Voted
ICDT
2011
ACM
14 years 1 months ago
2011
ACM
The goal of Knowledge Compilation is to represent a Boolean expression in a format in which it can answer a range of online-queries in PTIME. The online-query of main interest to ...
POPL
1999
ACM
15 years 2 months ago
1999
ACM
Notions of program dependency arise in many settings: security, partial evaluation, program slicing, and call-tracking. We argue that there is a central notion of dependency commo...
111
Voted
HASKELL
2007
ACM
15 years 2 months ago
2007
ACM
This paper describes the design and construction of a Haskell source-level debugger built into the GHCi interactive environment. We have taken a pragmatic approach: the debugger i...
88
Voted
ACL
1998
14 years 11 months ago
1998
In this paper we present results on developing robust natural language interfaces by combining shallowand partialinterpretationwith dialoguemanagement. The key issue is to reduce ...