{"title":"作为数据对象的程序分析方法","authors":"O. Danvy","doi":"10.7146/AUL.214.152","DOIUrl":null,"url":null,"abstract":"This essay accompanies a selection of 32 articles (referred to in bold face in the text and marginally marked in the bibliographic references) submitted to Aarhus University towards a Doctor Scientiarum degree in Computer Science. The author's previous academic degree, beyond a doctoral degree in June 1986, is an \"Habilitation a diriger les recherches\" from the Universite Pierre et Marie Curie (Paris VI) in France; the corresponding material was submitted in September 1992 and the degree was obtained in January 1993. The present 32 articles have all been written since 1993 and while at DAIMI. Except for one other PhD student, all co-authors are or have been the author's students here in Aarhus.","PeriodicalId":126978,"journal":{"name":"AU Library Scholarly Publishing Services","volume":"23 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2017-07-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"10","resultStr":"{\"title\":\"Analytical Approach to Programs as Data Objects\",\"authors\":\"O. Danvy\",\"doi\":\"10.7146/AUL.214.152\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This essay accompanies a selection of 32 articles (referred to in bold face in the text and marginally marked in the bibliographic references) submitted to Aarhus University towards a Doctor Scientiarum degree in Computer Science. The author's previous academic degree, beyond a doctoral degree in June 1986, is an \\\"Habilitation a diriger les recherches\\\" from the Universite Pierre et Marie Curie (Paris VI) in France; the corresponding material was submitted in September 1992 and the degree was obtained in January 1993. The present 32 articles have all been written since 1993 and while at DAIMI. Except for one other PhD student, all co-authors are or have been the author's students here in Aarhus.\",\"PeriodicalId\":126978,\"journal\":{\"name\":\"AU Library Scholarly Publishing Services\",\"volume\":\"23 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2017-07-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"10\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"AU Library Scholarly Publishing Services\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.7146/AUL.214.152\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"AU Library Scholarly Publishing Services","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.7146/AUL.214.152","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 10
摘要
这篇文章附有32篇文章的选集(在正文中用粗体字表示，参考书目中有边缘标记)，提交给奥胡斯大学攻读计算机科学博士学位。作者于1986年6月获得博士学位，此前在法国皮埃尔和玛丽居里大学(巴黎第六大学)获得“Habilitation a diriger les research”学位;1992年9月提交了相应材料，1993年1月获得学位。目前的32篇文章都是1993年以后在DAIMI期间写的。除了另一名博士生外，所有合著者都是或曾经是作者在奥胡斯的学生。
This essay accompanies a selection of 32 articles (referred to in bold face in the text and marginally marked in the bibliographic references) submitted to Aarhus University towards a Doctor Scientiarum degree in Computer Science. The author's previous academic degree, beyond a doctoral degree in June 1986, is an "Habilitation a diriger les recherches" from the Universite Pierre et Marie Curie (Paris VI) in France; the corresponding material was submitted in September 1992 and the degree was obtained in January 1993. The present 32 articles have all been written since 1993 and while at DAIMI. Except for one other PhD student, all co-authors are or have been the author's students here in Aarhus.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
