3844 search results - page 83 / 769 » Modular interpreted systems |
125
click to vote
POPL
1996
ACM
15 years 6 months ago
1996
ACM
Module systems are a powerful, practical tool for managing the complexity of large software systems. Previous attempts to formulate a type-theoretic foundation for modular program...
105
click to vote
ICSM
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper provides an experience report on the use of aspect-oriented technology as a means to modularize the implementation of business rules in an object-oriented, large scale ...
125
click to vote
RTA
2010
Springer
15 years 6 months ago
2010
Springer
We show that, contrary to the situation in first-order term rewriting, almost none of the usual properties of rewriting are modular for higher-order rewriting, irrespective of the...
113
Voted
RTA
1991
Springer
15 years 6 months ago
1991
Springer
A term rewriting system is called complete if it is both confluent and strongly norrealizing. Barendregt and Klop showed that the disjoint union of complete term rewriting systems...
LREC
2010
15 years 4 months ago
2010
This paper summarizes our work on creating a full-scale coreference resolution (CR) system for Italian, using BART