Work Assignments for “Modal Logics” lectures L. Caires Abstract I suggest two alternative topics. One is related to an application of modal logic to objectoriented program analysis, while the other investigates the d

First Page		Document Content
Date: 2006-08-25 03:35:46		Work Assignments for “Modal Logics” lectures L. Caires Abstract I suggest two alternative topics. One is related to an application of modal logic to objectoriented program analysis, while the other investigates the d Add to Reading List Source URL: www2.imm.dtu.dk Download Document from Source Website File Size: 75,10 KB Share Document on Facebook