1096 search results - page 50 / 220 » Type inference for atomicity |
TPHOL
2000
IEEE
14 years 1 months ago
2000
IEEE
We verify within the Coq proof assistant that ML typing is sound with respect to the dynamic semantics. We prove this property in the framework of a big step semantics and also in ...
CPHYSICS
2007
13 years 9 months ago
2007
The adsorption of mixtures of alkyl thiol surfactants on the Au(111) surface as well as on icosahedral gold nanocrystals (NCs) was investigated by molecular simulation. We compare...
POPL
2007
ACM
14 years 9 months ago
2007
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
ACL
2010
13 years 7 months ago
2010
Event extraction is a particularly challenging type of information extraction (IE). Most current event extraction systems rely on local information at the phrase or sentence level...