973 search results - page 8 / 195 » Construction of a Semantic Model for a Typed Assembly Langua... |
WADT
2004
Springer
14 years 25 days ago
2004
Springer
Higher-order logic with shallow type class polymorphism is widely used as a specification formalism. Its polymorphic entities (types, operators, axioms) can easily be equipped wit...
INFORMS
1998
13 years 7 months ago
1998
TOCL
2012
11 years 10 months ago
2012
racting these leads us to introduce the notion of a path object category. This is a relatively simple axiomatic framework, which is nonetheless sufficiently strong to allow the con...
CEAS
2006
Springer
13 years 11 months ago
2006
Springer
Motivated by current efforts to construct more realistic spam filtering experimental corpora, we present a newly assembled, publicly available corpus of genuine and unsolicited (s...
ESOP
1999
Springer
13 years 11 months ago
1999
Springer
Safety of interoperation of program fragments written in different safe languages may fail when the languages have different systems of computational effects: an exception raised b...