101 search results - page 3 / 21 » Quotient Types: A Modular Approach |
IANDC
2006
13 years 7 months ago
2006
We propose a modular approach to defining notions of simulation, and modal logics which characterise them. We use coalgebras to model state-based systems, relators to define notio...
NAACL
2010
13 years 5 months ago
2010
Coreference resolution is governed by syntactic, semantic, and discourse constraints. We present a generative, model-based approach in which each of these factors is modularly enc...
RTA
2010
Springer
13 years 11 months ago
2010
Springer
The K framework, based on rewriting logic semantics, provides a powerful logic for deļ¬ning the semantics of programming languages. While most work in this area has focused on deļ...
TR
2010
13 years 2 months ago
2010
Software testing is an important issue in software engineering. As software systems become increasingly large and complex, the problem of how to optimally allocate the limited test...
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
Abstract. This paper describes a practical approach for implementing certain types of domain-speciļ¬c languages with extensible compilers. Given a compiler with one or more front-...