1143 search results - page 91 / 229 » Abstract Syntax and Logic Programming |
114
click to vote
CIE
2010
Springer
15 years 7 months ago
2010
Springer
Containers are a semantic way to talk about strictly positive types. In previous work it was shown that containers are closed under various constructions including products, coprod...
COLING
1992
15 years 3 months ago
1992
We report on the initial stages of development of a robust parsing system, to be used as part of The Editor's Assistant, a program that detects and corrects textual errors an...
105
click to vote
JCSS
2010
15 years 28 days ago
2010
Nominal techniques were introduced to represent in a simple and natural way that involve binders. The syntax includes an abstraction operator and a primitive notion of name swappin...
CAV
2006
Springer
15 years 6 months ago
2006
Springer
We describe a new program termination analysis designed to handle imperative programs whose termination depends on the mutation rogram's heap. We first describe how an abstrac...
140
click to vote
SIGCSE
1992
ACM
15 years 6 months ago
1992
ACM
on through abstract instructions which approximate, but do not duplicate, the behavior of actual machines. Because they are designed for use in a variety of educational settings, C...