{"title":"C-MIX: Specialization of C Programs","authors":"A. Glenstrup, Henning Makholm, Jens P. Secher","doi":"10.1007/3-540-47018-2_4","DOIUrl":"https://doi.org/10.1007/3-540-47018-2_4","url":null,"abstract":"","PeriodicalId":324844,"journal":{"name":"Partial Evaluation","volume":"253 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122733968","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Partial Evaluation of Hardware","authors":"Satnam Singh, N. McKay","doi":"10.1007/3-540-47018-2_8","DOIUrl":"https://doi.org/10.1007/3-540-47018-2_8","url":null,"abstract":"","PeriodicalId":324844,"journal":{"name":"Partial Evaluation","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131476930","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Partial Evaluation for the Lambda Calculus","authors":"N. Jones, C. K. Gomard, P. Sestoft","doi":"10.1007/3-540-47018-2_7","DOIUrl":"https://doi.org/10.1007/3-540-47018-2_7","url":null,"abstract":"","PeriodicalId":324844,"journal":{"name":"Partial Evaluation","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1998-06-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131342635","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Partial evaluation in aircraft crew planning","authors":"L. Augustsson","doi":"10.1145/258993.259012","DOIUrl":"https://doi.org/10.1145/258993.259012","url":null,"abstract":"In this paper we investigate how partial evaluation and program transformations can be used on a real problem, namely that of speeding up airline crew scheduling.Scheduling of crews is subject to many rules and restrictions. These restrictions are expressed in a rule language. However, in a given planning situation much is known to be fixed, so the rule set can be partially evaluated with respect to this known input.The approach is somewhat novel in that it uses truly static input data as well as static input data where the values are known only to belong to a set of values.The results of the partial evaluation is quite satisfactory: both compilation and running times have decreased by using it. The partial evaluator is now part of the crew scheduling system that Carmen Systems AB markets and which is in use at most of the major European airlines and in daily production.","PeriodicalId":324844,"journal":{"name":"Partial Evaluation","volume":"85 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129014459","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
求助内容：
应助结果提醒方式：