7124 search results - page 1024 / 1425 » Programming Languages and Operating Systems |
176
click to vote
AMKM
2003
Springer
15 years 10 months ago
2003
Springer
The semantic web is becoming a realizable technology due to the efforts of researchers to develop semantic markup languages such as the DARPA Agent Markup Language (DAML). A major...
134
Voted
GCC
2003
Springer
15 years 10 months ago
2003
Springer
This paper introduces a method for automatic composition of semantic web services using linear logic theorem proving. The method uses semantic web service language (DAML-S) for ext...
146
Voted
LICS
1994
IEEE
15 years 9 months ago
1994
IEEE
In this paper we study the interaction of subtyping and parametricity. We describe a logic for a programming language with parametric polymorphism and subtyping. The logic support...
136
Voted
CSL
2004
Springer
15 years 8 months ago
2004
Springer
We consider a scenario where (functional) programs in pre-compiled form are exchanged among untrusted parties. Our contribution is a system of annotations for the code that can be ...
182
click to vote
AADEBUG
2005
Springer
15 years 6 months ago
2005
Springer
Increased reuse of software components has led to a software mishmash as existing packages are used as building blocks for new systems. Current debuggers cannot cope with the intr...