114 search results - page 10 / 23 » The Formal Consequences of using Variables in CCG Categories |
PLDI
2010
ACM
14 years 1 months ago
2010
ACM
Multi-stage programming (MSP) provides a disciplined approach to run-time code generation. In the purely functional setting, it has been shown how MSP can be used to reduce the ov...
ISSTA
2009
ACM
14 years 3 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
INFOSCALE
2007
ACM
13 years 10 months ago
2007
ACM
In this paper, we propose a new method of citation data clustering for author name disambiguation. Most citation data appearing in the reference section of scientific papers incl...
ISEMANTICS
2010
13 years 10 months ago
2010
In this paper, when we use the term ontology, we are primarily referring to linked data in the form of RDF(S). The problem of ontology mapping has attracted considerable attention...
LCTRTS
2009
Springer
14 years 3 months ago
2009
Springer
Most programming languages support a call stack in the programming model and also in the runtime system. We show that for applications targeting low-power embedded microcontroller...