15792 search results - page 16 / 3159 » Computational Abstraction Steps |
IPPS
2010
IEEE
13 years 5 months ago
2010
IEEE
HCI
2009
13 years 5 months ago
2009
LICS
2012
IEEE
11 years 10 months ago
2012
IEEE
—We propose a mathematical framework for step indexed realizability semantics of a call-by-value polymorphic lambda calculus with recursion, existential types and recursive types...
STEP
2005
IEEE
14 years 1 months ago
2005
IEEE
ICECCS
2007
IEEE
14 years 2 months ago
2007
IEEE
We present first steps in the construction of formal models of NAND Flash memory, based on a recently emerged open standard for such devices. The model is at a level of abstracti...