{"title":"Charms of programming (requirements for a theory of . . .)","authors":"J. Durieux","doi":"10.1109/CMPEUR.1988.4949","DOIUrl":null,"url":null,"abstract":"The author identifies a unifying concept, called charm, for the substitution and binding mechanisms of logics, lambda-calculi, and programming languages. A survey of the algebraic properties of compositions of usual binding mechanisms shows that there is a common algebraic structure, from simple binding mechanisms like memories and environments to more complex ones like recursive systems or algebraic specifications. This common algebraic structure provides an outline for an unifying theory of charms of programming.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"47 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPEUR.1988.4949","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
The author identifies a unifying concept, called charm, for the substitution and binding mechanisms of logics, lambda-calculi, and programming languages. A survey of the algebraic properties of compositions of usual binding mechanisms shows that there is a common algebraic structure, from simple binding mechanisms like memories and environments to more complex ones like recursive systems or algebraic specifications. This common algebraic structure provides an outline for an unifying theory of charms of programming.<>
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
![[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools](/Content/css/sci/img/zetp.jpg)
求助内容：
应助结果提醒方式：
扫码关注我们
