Sciweavers

27119 search results - page 234 / 5424
» Languages
Sort
View
CICLING
2007
Springer
15 years 11 months ago
Latent Variable Models for Causal Knowledge Acquisition
Takashi Inui, Hiroya Takamura, Manabu Okumura
ECOOP
2007
Springer
15 years 11 months ago
Joinpoint Inference from Behavioral Specification to Implementation
Thomas Cottenier, Aswin van den Berg, Tzilla Elrad
ESOP
2007
Springer
15 years 11 months ago
Abstract Predicates and Mutable ADTs in Hoare Type Theory
Aleksandar Nanevski, Amal Ahmed, Greg Morrisett, L...
ESOP
2007
Springer
15 years 11 months ago
A Concurrent Calculus with Atomic Transactions
Lucia Acciai, Michele Boreale, Silvano Dal-Zilio