8706 search results - page 1082 / 1742 » Learning Subjective Language |
189
click to vote
OOPSLA
2004
Springer
16 years 25 days ago
2004
Springer
This demonstration will feature overviews of the C-SAW and GenAWeave projects. The first half of the presentation will introduce the concept of two-level aspect weaving, which uni...
207
click to vote
PEPM
2004
ACM
16 years 25 days ago
2004
ACM
Tracing computations is a widely used methodology for program debugging. Lazy languages, in particular, pose new demands on tracing techniques since following the actual trace of ...
221
click to vote
PPDP
2004
Springer
16 years 25 days ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
180
click to vote
SAS
2004
Springer
16 years 25 days ago
2004
Springer
Program generation is among the most promising techniques in the effort to increase the automation of programming tasks. In this paper, we discuss the potential impact and resear...
192
click to vote
UML
2004
Springer
16 years 24 days ago
2004
Springer
Precise modeling is essential to the success of the OMG’s Model Driven Architecture initiative. At the modeling level (M1) OCL allows for the precision needed to write executable...