305 search results - page 8 / 61 » An Extension of System F with Subtyping |
NSDI
2007
14 years 11 months ago
2007
Byzantine fault tolerant systems behave correctly when no more than f out of 3f + 1 replicas fail. When there are more than f failures, traditional BFT protocols make no guarantee...
CADE
1990
Springer
15 years 1 months ago
1990
Springer
imps is an Interactive Mathematical Proof System intended as a general purpose tool for formulating and applying mathematics in a familiar fashion. The logic of imps is based on a...
RTAS
1997
IEEE
15 years 1 months ago
1997
IEEE
ÐThis paper describes MTSim, an extensible, customizable simulation platform for the Modechart toolset (MT). MTSim provides support for ªplugging inº user-defined viewers useful...
WETICE
1999
IEEE
15 years 1 months ago
1999
IEEE
XML, as "the next generation ASCII", can play several roles in a distributed object system; one of the more exciting ones is as the basis for serialized data representat...
ICFP
2000
ACM
15 years 1 months ago
2000
ACM
We show that standard formulations of intersection type systems are unsound in the presence of computational effects, and propose a solution similar to the value restriction for ...