4690 search results - page 59 / 938 » An operational semantics for Scheme |
108
click to vote
ITS
2000
Springer
15 years 3 months ago
2000
Springer
To meet the needs for large-scale, high-quality learning contents, needless to say, we have to sharpen authoring tools. Authoring process can be roughly divided into two phases, a ...
CIE
2008
Springer
15 years 1 months ago
2008
Springer
d abstract) John Longley Laboratory for Foundations of Computer Science School of Informatics, University of Edinburgh The King's Buildings, Mayfield Road Edinburgh EH9 3JZ, U...
115
click to vote
LICS
2010
IEEE
14 years 10 months ago
2010
IEEE
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
IJCAI
2001
15 years 1 months ago
2001
We propose to extend the temporal causal graph formalisms used in model-based diagnosis in order to deal with non trivial interactions like (partial) cancellation of fault effects...
121
click to vote
SEMCO
2009
IEEE
15 years 6 months ago
2009
IEEE
—CSML is a semantic markup language created for the publishing and sharing of conceptual spaces, which are geometric structures that represent semantics at the conceptual level. ...