4211 search results - page 284 / 843 » Types as Abstract Interpretations |
179
click to vote
PPDP
2007
Springer
16 years 24 days ago
2007
Springer
We give a denotational semantics to a region-based effect system tracking reading, writing and allocation in a higher-order language with dynamically allocated integer references....
171
click to vote
ICLP
2005
Springer
16 years 5 days ago
2005
Springer
Any finite tree automaton (or regular type) can be used to construct act interpretation of a logic program, by first determinising and completing the automaton to get a pre-inter...
193
click to vote
RTA
2004
Springer
16 years 17 hour ago
2004
Springer
Logical systems in natural deduction style are usually presented in the Gentzen style. A different definition of natural deduction, that corresponds more closely to proofs in ord...
180
click to vote
GREC
2003
Springer
15 years 12 months ago
2003
Springer
In this paper, we introduce a system that aims at recognizing chart images using a model-based approach. First of all, basic chart models are designed for four different chart typ...
166
click to vote
ECHT
1992
15 years 10 months ago
1992
Aquanet is a collaborative hypertext tool that combines elements of frame-based knowledge representation and graphical presentation. In this paper, we examine the first major appl...