1127 search results - page 147 / 226 » The XIS Generative Programming Techniques |
TYPES
2004
Springer
15 years 4 months ago
2004
Springer
We present four constructions for standard equipment which can be generated for every inductive datatype: case analysis, structural recursion, no confusion, acyclicity. Our constru...
VMCAI
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. We study the type system introduced by Boyapati and Rinard in their paper “A Parameterized Type System for Race-Free Java Programs” and try to infer the type annotati...
ACISICIS
2009
IEEE
15 years 4 months ago
2009
IEEE
Grammars, especially context-free grammars, are widely used within and even outside the field of computer science. In this paper, we present a systematic framework for grammar te...
TOOLS
2000
IEEE
15 years 3 months ago
2000
IEEE
Many data objects in the real world have attributes about location and time. Such spatiotemporal objects can be found in applications such Geographic Information Systems (GIS), env...
DATE
2010
IEEE
15 years 4 months ago
2010
IEEE
—This paper suggests a new approach for bitstream processing of embedded systems, using a combination of C++ metaprogramming combined with architecture extensions of an customiza...