285 search results - page 44 / 57 » Game Semantics and Subtyping |
VL
2010
IEEE
13 years 7 months ago
2010
IEEE
Visual programming languages can be used to make computer science more accessible to a broad range of students. The evaluative focus of current research in the area of visual lang...
IEEECGIV
2009
IEEE
13 years 6 months ago
2009
IEEE
Social tagging systems provide users with the ability to share information and extend their field of knowledge. The purpose of this paper is to explore the tag relations of user in...
FOSSACS
2005
Springer
14 years 2 months ago
2005
Springer
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
MICRO
1999
IEEE
14 years 29 days ago
1999
IEEE
3D graphics performance is increasing faster than any other computing application. Almost all PC systems now include 3D graphics accelerators for games, CAD, or visualization appl...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
traction Problem for PCF Hyland-Ong games model Concrete Representation Compositional Semantics? A Concrete Representation of Observational Equivalence for PCF Martin Churchill, Ji...