1286 search results - page 71 / 258 » From System F to Typed Assembly Language |
ICFP
2010
ACM
13 years 7 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
BMCBI
2005
13 years 7 months ago
2005
Background: In expressed sequence tag (EST) sequencing, we are often interested in how many genes we can capture in an EST sample of a targeted size. This information provides ins...
ENGL
2007
13 years 7 months ago
2007
Nowadays, fly ash is a common ingredient of concrete and may constitute up to 50% by weight of the total binder material. Incorporation of fly ash in Portland-cement concrete is hi...
CL
2002
Springer
13 years 7 months ago
2002
Springer
We introduce a typed variant of Safe Ambients, named Secure Safe Ambients (SSA), whose type system allows behavioral invariants of ambients to be expressed and verified. The most ...
IAT
2009
IEEE
14 years 2 months ago
2009
IEEE
—We describe the design of an autonomous agent that can teach itself how to translate from a foreign language, by first assembling its own training set, then using it to improve...