7124 search results - page 175 / 1425 » Programming Languages and Operating Systems |
175
click to vote
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Wildcards are a complex and subtle part of the Java type system, present since version 5.0. Although there have been various formalisations and partial type soundness results conce...
192
click to vote
FLOPS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. This article is a brief and subjective survey of quantum programming language research. 1 Quantum Computation Quantum computing is a relatively young subject. It has its ...
215
click to vote
RR
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we argue the case for integrating the distinctive functionalities of logic programs and production systems within an abductive logic programming agent framework. In t...
195
click to vote
SOSP
2007
ACM
16 years 3 months ago
2007
ACM
Commenting source code has long been a common practice in software development. Compared to source code, comments are more direct, descriptive and easy-to-understand. Comments and...
221
click to vote
FP
1991
15 years 10 months ago
1991
The notion of functionality is not cast in stone, but depends upon what we have as types in our language. With partial equivalence relations (pers) as types we show that the funct...