Sciweavers

Share
22 search results - page 1 / 5
» aplas 2007
Sort
View
APLAS
2007
ACM
9 years 6 months ago
The Nuggetizer: Abstracting Away Higher-Orderness for Program Verification
Paritosh Shroff, Christian Skalka, Scott F. Smith
ICDE
2007
IEEE
192views Database» more  ICDE 2007»
10 years 3 months ago
APLA: Indexing Arbitrary Probability Distributions
The ability to store and query uncertain information is of great benefit to databases that infer values from a set of observations, including databases of moving objects, sensor r...
Vebjorn Ljosa, Ambuj K. Singh
APLAS
2007
ACM
9 years 6 months ago
Call-by-Name and Call-by-Value in Normal Modal Logic
Abstract. This paper provides a call-by-name and a call-by-value calculus, both of which have a Curry-Howard correspondence to the minimal normal logic K. The calculi are extension...
Yoshihiko Kakutani
APLAS
2007
ACM
9 years 6 months ago
A Probabilistic Applied Pi-Calculus
Abstract. We propose an extension of the Applied Pi
Jean Goubault-Larrecq, Catuscia Palamidessi, Angel...
books