975 search results - page 143 / 195 » Declarative Aspect-Oriented Programming |
GLOBE
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. We show how to specify and use the metadata for a virtual and relational data integration system under the local-as-view (LAV) approach. We use XML and RuleML for represe...
IWPC
1999
IEEE
14 years 3 months ago
1999
IEEE
In a typical COBOL program, the data division consists of 50% of the lines of code. Automatic type inference can help to understand the large collections of variable declarations ...
COMPASS
1994
14 years 2 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
SIGGRAPH
1994
ACM
14 years 2 months ago
1994
ACM
We present a paradigm and toolkit for rapid prototyping of interactive, animated 3D graphics programs. The paradigm has its roots in declarative programming, emphasizing immutable...
CTCS
1987
Springer
14 years 2 months ago
1987
Springer
A typed lambda calculus with categorical type constructors is introduced. It has a uniform category theoretic mechanism to declare new types. Its type structure includes categoric...