1781 search results - page 137 / 357 » Visualizing program execution using user abstractions |
111
click to vote
CICLING
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. In order to extend the application domain of natural language interfaces to more realistic tasks without the decrease of user’s performance, it is desirable for users t...
127
click to vote
IFL
2003
Springer
15 years 7 months ago
2003
Springer
Abstract This paper presents a type-based analysis for inferring sizeand cost-equations for recursive, higher-order and polymorphic functional programs without requiring user annot...
140
click to vote
ERSHOV
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Debugging virtual machines (VMs) presents unique challenges, especially meta-circular VMs, which are written in the same language they implement. Making sense of runtime ...
116
click to vote
TACAS
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
113
click to vote
COLING
1992
15 years 3 months ago
1992
he more abstract term "relational morphology" in place of tile usual "two-level morphology" in order to emphasize an aspect of Koskenniemi's work which ha...