1913 search results - page 241 / 383 » Architectural Concepts in Programming Languages |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
Sized types are a modular and theoretically well-understood tool for checking termination of recursive and productivity of corecursive definitions. The essential idea is to track ...
SEKE
2007
Springer
14 years 4 months ago
2007
Springer
With the growing interest in rule languages in the Semantic Web and the Business Rule community it is time to look again at the issue of debugging rule bases. New challenges have ...
ICALT
2003
IEEE
14 years 3 months ago
2003
IEEE
Algorithms and Programming Languages is a core subject in the BS Degree in Mathematics at the authors’ university. Some of the students are very interested in computer programmi...
ICDCS
1998
IEEE
14 years 2 months ago
1998
IEEE
Exceptions are one of the most pervasive problems in process support systems. In installations expected to handle a large number of processes, having exceptions is bound to be a n...
ACSC
2004
IEEE
14 years 2 months ago
2004
IEEE
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...