1286 search results - page 199 / 258 » From System F to Typed Assembly Language |
122
Voted
AMAI
2004
Springer
15 years 9 months ago
2004
Springer
We introduce a general formalism of production inference relations that posses both a standard monotonic semantics and a natural nonmonotonic semantics. The resulting nonmonotonic...
127
Voted
OOPSLA
2004
Springer
15 years 9 months ago
2004
Springer
This demonstration will feature overviews of the C-SAW and GenAWeave projects. The first half of the presentation will introduce the concept of two-level aspect weaving, which uni...
116
Voted
LDTA
2010
15 years 3 months ago
2010
Real programming languages are often defined using ambiguous context-free grammars. Some ambiguity is intentional while other ambiguity is accidental. A good grammar development e...
151
Voted
BMCBI
2005
15 years 3 months ago
2005
Background: We present a biological data warehouse called Atlas that locally stores and integrates biological sequences, molecular interactions, homology information, functional a...
119
Voted
HICSS
2002
IEEE
15 years 8 months ago
2002
IEEE
The disorientation problem has been known to exist on hypertext and hypermedia systems. Various approaches have also been recommended and implemented in order to eliminate or redu...