101 search results - page 3 / 21 » Quotient Types: A Modular Approach |
121
Voted
IANDC
2006
15 years 2 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...
117
Voted
NAACL
2010
15 years 21 days 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...
103
Voted
RTA
2010
Springer
15 years 6 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ļ...
178
Voted
TR
2010
14 years 9 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...
100
Voted
HICSS
2003
IEEE
15 years 8 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-...