2496 search results - page 105 / 500 » Error-detecting properties of languages |
132
click to vote
AC
2000
Springer
15 years 5 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...
95
Voted
PLDI
2012
ACM
13 years 3 months ago
2012
ACM
In this article we present a general method for achieving global static analyzers that are precise, sound, yet also scalable. Our method generalizes the sparse analysis techniques...
107
Voted
ISSTA
2006
ACM
15 years 6 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
124
click to vote
FLOPS
2004
Springer
15 years 6 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 ...
CIVR
2008
Springer
15 years 2 months ago
2008
Springer
In this paper, we propose two ways of improving image classification based on bag-of-words representation [25]. Two shortcomings of this representation are the loss of the spatial...