10622 search results - page 1714 / 2125 » Python Programming Language |
199
click to vote
ER
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. XML is rapidly emerging as a dominant standard for representing and exchanging information. The ability to transform and present data in XML is crucial and XSLT is a rela...
167
click to vote
IWMM
2004
Springer
16 years 5 days ago
2004
Springer
We document the design and implementation of a “production” incremental garbage collector for GHC 6.2. It builds on our earlier work (Non-stop Haskell) that exploited GHC’s ...
197
click to vote
PPDP
2004
Springer
16 years 4 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...
194
click to vote
SPIN
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. In the classic approach to logic model checking, software verification requires a manually constructed artifact (the model) to be written in the language that is accepted...
193
Voted
UML
2004
Springer
16 years 4 days ago
2004
Springer
The need for querying software artifacts is a new emerging design issue in modern software development. Novel techniques such as Model-Driven Architecture or Aspect-Oriented Softwa...