ridm@nrct.go.th   ระบบคลังข้อมูลงานวิจัยไทย   รายการโปรดที่คุณเลือกไว้

Threesomes, With and Without Blame

หน่วยงาน Edinburgh Research Archive, United Kingdom

รายละเอียด

ชื่อเรื่อง : Threesomes, With and Without Blame
นักวิจัย : Siek, Jeremy , Wadler, Philip
คำค้น : Informatics , Computer Science , Programming Languages
หน่วยงาน : Edinburgh Research Archive, United Kingdom
ผู้ร่วมงาน : -
ปีพิมพ์ : 2552
อ้างอิง : 978-1-60558-543-7 , http://portal.acm.org/citation.cfm?doid=1570506.1570511 , http://hdl.handle.net/1842/3684 , 10.1145/1570506.1570511
ที่มา : -
ความเชี่ยวชาญ : -
ความสัมพันธ์ : -
ขอบเขตของเนื้อหา : -
บทคัดย่อ/คำอธิบาย :

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 an instruction set for casts whose normal forms ensure space efficiency. In this paper we address two questions: 1) can space efficiency be obtained in a high-level semantics? and 2) can we precisely characterize the relationship between the high and low-level semantics of casts? Towards answering both of these questions, we design a cast calculus that summarizes a sequence of casts as a threesome cast that contains a source type, a target type, and a third middle type that is the greatest lower bound of all the types in the sequence. We show that the threesome calculus is equivalent to the blame calculus and to one of the coercion-based, blame-tracking calculi of Siek, Garcia, and Taha. We also show that the threesome calculus is space efficient and obtain a tighter bound than that of Herman, Tomb, and Flanagan.

บรรณานุกรม :
Siek, Jeremy , Wadler, Philip . (2552). Threesomes, With and Without Blame.
    กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom .
Siek, Jeremy , Wadler, Philip . 2552. "Threesomes, With and Without Blame".
    กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom .
Siek, Jeremy , Wadler, Philip . "Threesomes, With and Without Blame."
    กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2552. Print.
Siek, Jeremy , Wadler, Philip . Threesomes, With and Without Blame. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2552.