4139 search results - page 115 / 828 » Designing and Implementing Combinator Languages |
111
click to vote
DKE
2008
14 years 11 months ago
2008
In this work, we present the design and implementation of a system for proof explanation in the Semantic Web, based on defeasible reasoning. Trust is a vital feature for Semantic ...
FIW
2009
14 years 9 months ago
2009
One of the most difficult tasks in software development is that features are implemented by changing the code of other features. This problem cannot be solved with existing general...
192
click to vote
POPL
2007
ACM
15 years 11 months ago
2007
ACM
Massive amounts of useful data are stored and processed in ad hoc formats for which common tools like parsers, printers, query engines and format converters are not readily availa...
AOSD
2003
ACM
15 years 4 months ago
2003
ACM
Aspect-oriented software design will need to support languages with first-class and higher-order procedures, such as Python, Perl, ML and Scheme. These language features present ...
GPCE
2009
Springer
15 years 3 months ago
2009
Springer
This paper describes a language and framework that allow coordinated transformations driven by invariants to be specified declaratively, as invariant rules, and applied automatic...