2373 search results - page 59 / 475 » On the Theory of Structural Subtyping |
JFP
2006
14 years 9 months ago
2006
The Theory of Contexts is a type-theoretic axiomatization aiming to give a metalogical account of the fundamental notions of variable and context as they appear in Higher stract S...
AMAI
2002
Springer
14 years 9 months ago
2002
Springer
Blocks World (BW) has been one of the most popular model domains in AI history. However, there has not been serious work on axiomatizing the state constraints of BW and giving jus...
DIGRA
2005
Springer
15 years 3 months ago
2005
Springer
For a player to enter the game-world of EverQuest, they must choose a character. Each character fulfills a particular, functional role within the game that defines the game-play e...
VMCAI
2007
Springer
15 years 3 months ago
2007
Springer
We present a constraint-based algorithm for the synthesis of invariants expressed in the combined theory of linear arithmetic and uninterpreted function symbols. Given a set of pro...
67
Voted
BIRTHDAY
2009
Springer
15 years 2 months ago
2009
Springer
For many aspects of memory theoretical treatment already exists, in particular for: simple cache construction, store buers and store buer forwarding, cache coherence protocols, o...