2672 search results - page 224 / 535 » Hybridizing Concept Languages |
FLOPS
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. We present the meta-theory behind the code generation facilities of Isabelle/HOL. To bridge the gap between the source (higherorder logic with type classes) and the many ...
ACSC
2007
IEEE
14 years 4 months ago
2007
IEEE
Measuring "reuse" and "reusability" is difficult because there are so many different facets to these concepts. Before we can effectively measure reuse and reus...
LCPC
2007
Springer
14 years 3 months ago
2007
Springer
Massively parallel SIMD array architectures are making their way into embedded processors. In these architectures, a number of identical processing elements having small private st...
ICSM
2006
IEEE
14 years 3 months ago
2006
IEEE
— Software maintenance tools for program analysis and refactoring rely on a meta-model capturing the relevant properties of programs. However, what is considered relevant may cha...
TARK
2005
Springer
14 years 3 months ago
2005
Springer
This paper addresses two closely related aspects of subjective information. First, no two agents necessarily see the same thing when they observe the same object. Second, no two a...