148 search results - page 3 / 30 » Semantic issues in the design of languages for debugging |
AADEBUG
2005
Springer
14 years 1 months ago
2005
Springer
Jockey is an execution record/replay tool for debugging Linux programs. It records invocations of system calls and CPU instructions with timing-dependent effects and later replays...
ICMAS
1998
13 years 9 months ago
1998
This paper examines the issue of developing semantics for agent communication languages. In particular, it considers the problem of giving a verifiable semantics for such language...
POPL
2007
ACM
14 years 8 months ago
2007
ACM
We propose a new technique for hardware synthesis from higherorder functional languages with imperative features based on Reynolds's Syntactic Control of Interference. The re...
LREC
2008
13 years 9 months ago
2008
In this paper we present a novel approach to the incremental incorporation of semantic information in natural language processing which does not fall victim to the notorious probl...
ANLP
1992
13 years 9 months ago
1992
We describe the lexical knowledge base system (LKB) which has been designed and implemented as part of the ACQUILEX project1 to allow the representation of multilinguM syntactic a...