{"title":"Proof Based Computation","authors":"M. Newey","doi":"10.1109/HOL.1991.596302","DOIUrl":null,"url":null,"abstract":"We coin a term for a novel paradigm for the communication of a method of computation of a function from a researcher who knows the mathematics of the function to the user who does not want to know the details of algorithm. An example, the one which motivated this research, as presented an suficient detail to show that the paradigm is the only sensible approach, in at least one case. It is suggested that for a range of problems involving heuristic search, the paradigm would be very suitable.","PeriodicalId":213603,"journal":{"name":"1991., International Workshop on the HOL Theorem Proving System and Its Applications","volume":"49 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1991-08-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"1991., International Workshop on the HOL Theorem Proving System and Its Applications","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HOL.1991.596302","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
We coin a term for a novel paradigm for the communication of a method of computation of a function from a researcher who knows the mathematics of the function to the user who does not want to know the details of algorithm. An example, the one which motivated this research, as presented an suficient detail to show that the paradigm is the only sensible approach, in at least one case. It is suggested that for a range of problems involving heuristic search, the paradigm would be very suitable.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
