Sciweavers

4211 search results - page 49 / 843
» Types as Abstract Interpretations
Sort
View
DAGSTUHL
2008
15 years 1 months ago
08061 Abstracts Collection -- Types, Logics and Semantics for State
Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morr...
BIOCOMP
2006
15 years 1 months ago
Abstracted Stochastic Analysis of Type 1 Pili Expression in E.coli
Hiroyuki Kuwahara, Chris J. Myers, Michael S. Samo...
CORR
2010
Springer
47views Education» more  CORR 2010»
14 years 12 months ago
Tuple-based abstract data types: full parallelism
José Martinez, Carmelo Malta
ACTA
2006
78views more  ACTA 2006»
14 years 12 months ago
Abstractions of data types
Ferucio Laurentiu Tiplea, Constantin Enea