54 search results - page 6 / 11 » Abstract Interpretation with Alien Expressions and Heap Stru... |
116
click to vote
TSD
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Rhetorical structuring is field approached mostly by research in natural language (pragmatic) interpretation. However, in natural language generation (NLG) the rhetorica...
120
click to vote
ENTCS
2006
15 years 1 months ago
2006
Rewriting logic is a flexible and expressive logical framework that unifies algebraic denotational semantics and structural operational semantics (SOS) in a novel way, avoiding th...
79
Voted
ACL
1998
15 years 3 months ago
1998
Abstract Resource adaptlvity" Because the sets of strucNatural language parsing is conceived to be a procedure of disambiguation, which successively reduces an initially total...
110
click to vote
DAGSTUHL
1996
15 years 3 months ago
1996
Abstract. Two-level -calculi have been heavily utilised for applications such as partial evaluation, abstract interpretation and code generation. Each of these applications pose di...
126
click to vote
TLCA
2007
Springer
15 years 8 months ago
2007
Springer
We propose type systems that abstractly interpret small-step rather than big-step operational semantics. We treat an expression or evaluation context as a structure in a linear log...