24 search results - page 3 / 5 » A Theory of Hygienic Macros |
TYPES
1994
Springer
13 years 9 months ago
1994
Springer
A special final coalgebra theorem, in the style of Aczel's [2], is proved within standard Zermelo-Fraenkel set theory. Aczel's AntiFoundation Axiom is replaced by a varia...
JOT
2006
13 years 5 months ago
2006
For software engineering to meet today's challenges, well designed reuse and composition mechanisms must be established in both theory and practice. Starting roughly ten year...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
Authoring documents in MKM formats like OMDoc is a very tedious task. After years of working on a semantically annotated corpus of STEX documents (GenCS), we identified a set of co...
ICC
2011
IEEE
12 years 5 months ago
2011
IEEE
—Femtocells have been considered by the wireless industry as a promising solution not only to improve indoor coverage, but also to unload traffic from already overburdened macroc...
HICSS
2005
IEEE
13 years 11 months ago
2005
IEEE
In recent years, the development of software in open source communities has attracted immense attention from research and practice. The idea of commercial quality, free software, ...