4211 search results - page 57 / 843 » Types as Abstract Interpretations |
198
click to vote
POPL
2007
ACM
16 years 5 days ago
2007
ACM
This work presents a framework for fusing flow analysis and theorem proving called logic-flow analysis (LFA). The framework itthe reduced product of two abstract interpretations: ...
101
click to vote
AMTA
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. We present an approach to semantic interpretation of syntactically parsed Japanese sentences that works largely parser-independent. The approach relies on a standardized ...
ACL
1994
15 years 1 months ago
1994
It is claimed that a variety of facts concerning ellipsis, event reference, and interclausal coherence can be explained by two features of the linguistic form in question: (1) whe...
101
click to vote
JAPLL
2006
14 years 12 months ago
2006
This paper presents Automath encodings (which also are valid in LF/P) of various kinds of foundations of mathematics. Then it compares these encodings according to their size, to f...
110
click to vote
ENTCS
2002
14 years 11 months ago
2002
By using intersection types and filter models we formulate a theory of types for a -calculus with record subtyping via a finitary programming logic. Types are interpreted as space...