325 search results - page 31 / 65 » MIX Is Not a Tree-Adjoining Language |
APLAS
2009
ACM
15 years 2 months ago
2009
ACM
We study the resource calculus – the non-lazy version of Boudol’s λ-calculus with resources. In such a calculus arguments may be finitely available and mixed, giving rise to ...
65
Voted
IADIS
2004
14 years 11 months ago
2004
The paper discusses methods of enabling bi- or multi-lingual people to communicate effectively with each other within one virtual discussion space. The writer's own experimen...
LOGCOM
2006
14 years 9 months ago
2006
Comparative logics were introduced by Casari in the 1980s to treat aspects of comparative reasoning occurring in natural language. In this paper Gentzen systems are defined for the...
SAS
2010
Springer
14 years 8 months ago
2010
Springer
We describe Deskcheck, a parametric static analyzer that is able to establish properties of programs that manipulate dynamically allocated memory, arrays, and integers. Deskcheck c...
CSI
2007
14 years 9 months ago
2007
A number of languages exist that try to model the external visible behavior of services. However, they constitute incomplete solutions, either because, they do not include proper ...