计划转型的历史视角与最新发展（特邀稿件）

Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation Pub Date : 2024-01-11 DOI:10.1145/3635800.3637446

A. Pettorossi, M. Proietti, F. Fioravanti, E. D. Angelis

{"title":"计划转型的历史视角与最新发展（特邀稿件）","authors":"A. Pettorossi, M. Proietti, F. Fioravanti, E. D. Angelis","doi":"10.1145/3635800.3637446","DOIUrl":null,"url":null,"abstract":"This paper presents some ideas concerning program manipulation and program transformation from the early days of their development. Particular emphasis will be given to program transformation techniques in the area of functional programming and constraint logic programming. We will also indicate current applications of program transformation techniques to the verification of program properties and program synthesis.","PeriodicalId":516782,"journal":{"name":"Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation","volume":"73 1","pages":""},"PeriodicalIF":0.0000,"publicationDate":"2024-01-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)\",\"authors\":\"A. Pettorossi, M. Proietti, F. Fioravanti, E. D. Angelis\",\"doi\":\"10.1145/3635800.3637446\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper presents some ideas concerning program manipulation and program transformation from the early days of their development. Particular emphasis will be given to program transformation techniques in the area of functional programming and constraint logic programming. We will also indicate current applications of program transformation techniques to the verification of program properties and program synthesis.\",\"PeriodicalId\":516782,\"journal\":{\"name\":\"Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation\",\"volume\":\"73 1\",\"pages\":\"\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2024-01-11\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/3635800.3637446\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/3635800.3637446","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 1

摘要

本文介绍了程序操作和程序转换在其发展初期的一些想法。我们将特别强调函数式编程和约束逻辑编程领域的程序转换技术。我们还将指出程序转换技术目前在程序属性验证和程序合成方面的应用。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)

This paper presents some ideas concerning program manipulation and program transformation from the early days of their development. Particular emphasis will be given to program transformation techniques in the area of functional programming and constraint logic programming. We will also indicate current applications of program transformation techniques to the verification of program properties and program synthesis.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation

自引率

0.00%

发文量

期刊最新文献

Complete Stream Fusion for Software-Defined Radio The 0'th PEPM Event: October 1987—and Andrei Petrovich Ershov: 1977–1988 (Invited Contribution) In memoriam Neil Deaton Jones A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution) The Genesis of Mix: Early Days of Self-Applicable Partial Evaluation (Invited Contribution)