5748 search results - page 798 / 1150 » Contexts for the Semantic Web |
167
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
This paper studies specific language level abstractions for component-based programming. We propose a simple model which captures some basic ingredients — like explicit context ...
190
click to vote
CCS
1998
ACM
15 years 11 months ago
1998
ACM
This paper gives a mathematical specification the Java Virtual Machine (JVM) bytecode verifier. The specification is an axiomatic description of the verifier that makes precise su...
159
Voted
IUI
1997
ACM
15 years 11 months ago
1997
ACM
We are developing an Intelligent Network News Reader which extracts news articles for users. In contrast to ordinary information retrieval and abstract generation, this method uti...
199
click to vote
RTA
2000
Springer
15 years 10 months ago
2000
Springer
Parallelism constraints are logical descriptions of trees. Parallelism constraints subsume dominance constraints and are equal in expressive power to context unification. Paralleli...
196
Voted
JFP
2006
15 years 6 months ago
2006
This paper introduces reFLect, a functional programming language with reflection features intended for applications in hardware design and verification. The reFLect language is st...