1154 search results - page 137 / 231 » Implementing Typed Intermediate Languages |
109
click to vote
SEFM
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper presents an implicitly-typed functional, aspect-oriented programming language: λ AOP. The main contribution of the paper is a semantics for λ AOP advice weaving. The ...
POPL
1996
ACM
15 years 2 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...
131
click to vote
ECOOP
1998
Springer
15 years 2 months ago
1998
Springer
Many problems require recursively speci ed types ofdata and a collection of tools that operate on those data. Over time, these problems evolve so that the programmer must extend t...
CGI
1998
IEEE
15 years 2 months ago
1998
IEEE
This paper presents a new architecture of a database management system intended to be used together with existing graphics software. In the first place, a system with this archite...
106
click to vote
WOA
2010
14 years 7 months ago
2010
In this paper, we present a software framework, called HDS (Heterogeneous Distributed System), that tries to simplify the realization of distributed applications and, in particular...