Sciweavers

339 search results - page 24 / 68
» Can we refactor conditional compilation into aspects
Sort
View
CORR
1999
Springer
69views Education» more  CORR 1999»
13 years 7 months ago
Selective Magic HPSG Parsing
We propose a parser for constraintlogic grammars implementing HPSG that combines the advantages of dynamic bottom-up and advanced topdown control. The parser allows the user to ap...
Guido Minnen
ENTCS
2007
124views more  ENTCS 2007»
13 years 7 months ago
Structuring Optimizing Transformations and Proving Them Sound
A compiler optimization is sound if the optimized program that it produces is semantically equivalent to the input program. The proofs of semantic equivalence are usually tedious....
Aditya Kanade, Amitabha Sanyal, Uday P. Khedker
CORR
2011
Springer
179views Education» more  CORR 2011»
13 years 2 months ago
An overview of Ciao and its design philosophy
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...
Manuel V. Hermenegildo, Francisco Bueno, Manuel Ca...
BCSHCI
2007
13 years 9 months ago
Erotic life as a new frontier in HCI
In this paper we discuss how information technology impacts erotic life. This has been a neglected issue in most of the literature, even the literature on IT in the home. We argue...
Olav W. Bertelsen, Marianne Graves Petersen
IPPS
2006
IEEE
14 years 1 months ago
An automated development framework for a RISC processor with reconfigurable instruction set extensions
By coupling a reconfigurable hardware to a standard processor, high levels of flexibility and adaptability are achieved. However, this approach requires modifications to the compi...
Nikolaos Vassiliadis, George Theodoridis, Spiridon...