1724 search results - page 100 / 345 » Abstract Interpreters for Free |
169
click to vote
CORR
2007
Springer
15 years 5 months ago
2007
Springer
We study the existence of automatic presentations for various algebraic structures. An automatic presentation of a structure is a description of the universe of the structure by a...
150
Voted
JSYML
2006
15 years 5 months ago
2006
The quantified relevant logic RQ is given a new semantics in which a formula xA is true when there is some true proposition that implies all x-instantiations of A. Formulae are mo...
171
click to vote
ACL
2010
15 years 3 months ago
2010
For languages with (semi-) free word order (such as German), labelling grammatical functions on top of phrase-structural constituent analyses is crucial for making them interpreta...
168
click to vote
POPL
2012
ACM
14 years 1 months ago
2012
ACM
This paper describes an executable formal semantics of C. Being executable, the semantics has been thoroughly tested against the GCC torture test suite and successfully passes 99....
163
click to vote
DAGSTUHL
2006
15 years 7 months ago
2006
Abstract. The talk focused on a grammar-based technique for identifying redundancy in program code and taking advantage of that redundancy to reduce the memory required to store an...