1054 search results - page 35 / 211 » Using Component Abstraction for Automatic Generation of Macr... |
139
Voted
IJFCS
2007
15 years 3 months ago
2007
Ranking Abstraction Ittai Balaban Computer Science Department, New York University, 251 Mercer St., New York, New York 10012, United States and Amir Pnueli Computer Science Departm...
120
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
ly correct bijection between higher-order abstract syntax (HOAS) and the natural numbers enables one to define a "not equals" relationship between terms and also to have ...
140
Voted
SPLC
2004
15 years 5 months ago
2004
Abstract. This paper considers the use of a state-of-the-art, generalpurpose, component programming language, specifically ArchJava, to implement software product lines. Component ...
124
Voted
CAISE
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The increasing need for device independence and personalization forces organizations to automatically adapt their Web Information Systems (WISs) to individual users and t...
150
Voted
EMSOFT
2010
Springer
15 years 1 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...