Thumbnail
Access Restriction
Open

Author Chen, Yifeng
Source CiteSeerX
Content type Text
Publisher Springer
File Format PDF
Language English
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Disjointness Combinators ♦ Compositional Manner ♦ Important Property ♦ Compositional Definition ♦ Object-oriented Program ♦ Paper Study ♦ Parameterised Binary Combinator ♦ Separation Logic ♦ Pointer Property ♦ Pointer Structure ♦ Hoare Logic ♦ J.s Anders ♦ Case Study
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study
Learning Resource Type Article
Publisher Date 2006-01-01
Publisher Institution In Proc. of 8th International Conference on Mathematics of Program Construction (MPC06