Sciweavers

Share
15 search results - page 1 / 3
» Blame for all
Sort
View
APLAS
2015
ACM
4 years 3 months ago
Shifting the Blame - A Blame Calculus with Delimited Control
We study integration of static and dynamic typing in the presence of delimited-control operators. In a program where typed and untyped parts coexist, the run-time system has to mon...
Taro Sekiyama, Soichiro Ueda, Atsushi Igarashi
POPL
2011
ACM
8 years 10 months ago
Blame for all
Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, ...
FAC
2010
121views more  FAC 2010»
9 years 5 months ago
Blaming the client: on data refinement in the presence of pointers
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
Ivana Filipovic, Peter W. O'Hearn, Noah Torp-Smith...
ESOP
2009
Springer
10 years 2 months ago
Well-Typed Programs Can't Be Blamed
We show how contracts with blame fit naturally with recent work on hybrid types and gradual types. Unlike hybrid types or gradual types, we require casts in the source code, in o...
Philip Wadler, Robert Bruce Findler
POPL
2010
ACM
10 years 5 months ago
Threesomes, With and Without Blame
Abstract. The blame calculus of Wadler and Findler gives a high-level semantics to casts in higher-order languages. The coercion calculus of Henglein, on the other hand, provides a...
Jeremy G. Siek, Philip Wadler
books