76 search results - page 5 / 16 » Subtyping Recursive Games |
149
click to vote
TACS
1997
Springer
15 years 10 months ago
1997
Springer
d Abstract) Alexander Aiken1 and Edward L. Wimmers2 and Jens Palsberg3 1 EECS Department, University of California at Berkeley, Berkeley, CA 94720-1776. 2 IBM Almaden Research Cent...
156
click to vote
LICS
2000
IEEE
15 years 10 months ago
2000
IEEE
Equality and subtyping of recursive types have been studied in the 1990s by Amadio and Cardelli; Kozen, Palsberg, and Schwartzbach; Brandt and Henglein; and others. Potential appl...
164
click to vote
CG
2006
Springer
15 years 6 months ago
2006
Springer
on games are a recent genre of abstract board games with some interesting geometrical properties. We introduce a recursive metarule with which existing connection games can be exp...
189
click to vote
FMOODS
2003
15 years 7 months ago
2003
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...
182
Voted
ATVA
2009
Springer
16 years 28 days ago
2009
Springer
Parity games are 2-player games of perfect information and infinite duration that have important applications in automata theory and decision procedures (validity as well as model...