Sciweavers

1724 search results - page 28 / 345
» Abstract Interpreters for Free
Sort
View
ASIAN
2004
Springer
112views Algorithms» more  ASIAN 2004»
14 years 3 months ago
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction
Daniel Cabeza, Manuel V. Hermenegildo, James Lipto...
IJAC
2006
53views more  IJAC 2006»
13 years 9 months ago
Subword Complexity of Profinite Words and Subgroups of Free Profinite Semigroups
Abstract. We study free profinite subgroups of free profinite semigroups of the same rank using, as main tools, iterated implicit operators, subword complexity and the associated e...
Jorge Almeida, Mikhail V. Volkov
DAGSTUHL
1996
13 years 11 months ago
Multi-Level Lambda-Calculi: An Algebraic Description
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...
Flemming Nielson, Hanne Riis Nielson
SIGIR
2010
ACM
14 years 1 months ago
SIGIR: scholar vs. scholars' interpretation
Google Scholar allows researchers to search through a free and extensive source of information on scientific publications. In this paper we show that within the limited context o...
James Lanagan, Alan F. Smeaton