| ชื่อเรื่อง | : | Towards a Mathematical Operational Semantics |
| นักวิจัย | : | Plotkin, Gordon , Turi, Daniele |
| คำค้น | : | Laboratory for Foundations of Computer Science |
| หน่วยงาน | : | Edinburgh Research Archive, United Kingdom |
| ผู้ร่วมงาน | : | - |
| ปีพิมพ์ | : | 2546 |
| อ้างอิง | : | http://hdl.handle.net/1842/215 |
| ที่มา | : | - |
| ความเชี่ยวชาญ | : | - |
| ความสัมพันธ์ | : | - |
| ขอบเขตของเนื้อหา | : | 12 |
| บทคัดย่อ/คำอธิบาย | : | We present a categorical theory of ‘well-behaved’ operational semantics which aims at complementing the established theory of domains and denotational semantics to form a coherent whole. It is shown that, if the operational rules of a programming language can be modelled as a natural transformation of a suitable general form, depending on functorial notions of syntax and behaviour, then one gets the following for free: an operational model satisfying the rules and a canonical, internally fully abstract denotational model which satisfies the operational rules. The theory is based on distributive laws and bialgebras; it specialises to the known classes of well-behaved rules for structural operational semantics, such as GSOS. |
| บรรณานุกรม | : |
Plotkin, Gordon , Turi, Daniele . (2546). Towards a Mathematical Operational Semantics.
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Plotkin, Gordon , Turi, Daniele . 2546. "Towards a Mathematical Operational Semantics".
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom . Plotkin, Gordon , Turi, Daniele . "Towards a Mathematical Operational Semantics."
กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom , 2546. Print. Plotkin, Gordon , Turi, Daniele . Towards a Mathematical Operational Semantics. กรุงเทพมหานคร : Edinburgh Research Archive, United Kingdom ; 2546.
|
ridm@nrct.go.th ระบบคลังข้อมูลงานวิจัยไทย รายการโปรดที่คุณเลือกไว้
