3827 search results - page 236 / 766 » The Epsilon Generation Language |
146
click to vote
PASTE
2005
ACM
16 years 2 days ago
2005
ACM
When library APIs change, client code should change in response, in order to avoid erroneous behavior, compilation failures, or warnings. Previous research has introduced techniqu...
179
click to vote
GPCE
2005
Springer
16 years 1 days ago
2005
Springer
One of the themes in building reusable and maintainable software is identifying similarities and designing generic solutions to unify similarity patterns. In this paper, we analyze...
161
click to vote
ICFCA
2005
Springer
16 years 1 days ago
2005
Springer
Minimal generators (or mingen) constitute a remarkable part of the closure space landscape since they are the antipodes of the closures, i.e., minimal sets in the underlying equiva...
197
click to vote
ISSAC
2004
Springer
15 years 12 months ago
2004
Springer
In [17], an abstract framework for automatically generating loop invariants of imperative programs was proposed. This framework was then instantiated for the language of conjuncti...
155
click to vote
CP
2003
Springer
15 years 11 months ago
2003
Springer
This work introduces a combinatorial optimization problem called Mars Express Memory Dumping Problem (Mex-Mdp), which arises in the European Space Agency program Mars Express. It c...