797 search results - page 13 / 160 » MODULA-2 and Its Compilation |
HCI
2007
13 years 8 months ago
2007
Various researches have proved that cultural differences affect the process and results of user research, emphasizing that should cultural attention be given in order to obtain suf...
ITS
2004
Springer
14 years 2 days ago
2004
Springer
The HomeWork project is building an exemplar system to provide individualised experiences for individual and groups of children aged 6-7 years, their parents, teachers and classmat...
CC
2003
Springer
13 years 12 months ago
2003
Springer
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...
AAAI
2010
13 years 8 months ago
2010
In this paper, we study the knowledge compilation task for propositional epistemic logic S5. We first extend many of the queries and transformations considered in the classical kn...
IEEEPACT
2005
IEEE
14 years 9 days ago
2005
IEEE
Feedback-directed Optimization has become an increasingly important tool in designing and building optimizing compilers as itprovides a means to analyze complexprogram behavior th...