289 search results - page 39 / 58 » Algebraic results for structured operational semantics |
181
click to vote
AAAI
2011
14 years 5 months ago
2011
A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the game description language GDL...
190
click to vote
CALCO
2009
Springer
16 years 14 days ago
2009
Springer
Abstract. Monads are a well-established tool for modelling various computational effects. They form the semantic basis of Moggi’s computational metalanguage, the metalanguage of ...
183
click to vote
CORR
2004
Springer
15 years 5 months ago
2004
Springer
Data structures often use an integer variable to keep track of the number of elements they store. An invariant of such data structure is that the value of the integer variable is ...
156
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
We propose a mathematical framework for a unification of the distributional theory of meaning in terms of vector space models, and a compositional theory for grammatical types, fo...
182
click to vote
SIGCSE
2009
ACM
16 years 6 months ago
2009
ACM
commonly stated definition of abstract data type (ADT) is that it is a domain of values and the operations over that domain. So, for example, a language's built-in types, lik...