语言原型:代数规范方法

AMAST Series in Computing Pub Date : 1996-09-01 DOI:10.1142/3163

A. Deursen, J. Heering, P. Klint

{"title":"语言原型:代数规范方法","authors":"A. Deursen, J. Heering, P. Klint","doi":"10.1142/3163","DOIUrl":null,"url":null,"abstract":"From the Publisher: \nLanguage prototyping provides a means to generate language implementations automatically from high-level language definitions. This volume presents an algebraic specification approach to language prototyping; and is centered around the ASF+SDF formalism and Meta-Environment. The volume is an integrated collection of articles covering a number of case studies, and includes several chapters proposing new techniques for deriving advanced language implementations. The accompanying software is freely available.","PeriodicalId":440882,"journal":{"name":"AMAST Series in Computing","volume":"67 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"209","resultStr":"{\"title\":\"Language Prototyping: An Algebraic Specification Approach\",\"authors\":\"A. Deursen, J. Heering, P. Klint\",\"doi\":\"10.1142/3163\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"From the Publisher: \\nLanguage prototyping provides a means to generate language implementations automatically from high-level language definitions. This volume presents an algebraic specification approach to language prototyping; and is centered around the ASF+SDF formalism and Meta-Environment. The volume is an integrated collection of articles covering a number of case studies, and includes several chapters proposing new techniques for deriving advanced language implementations. The accompanying software is freely available.\",\"PeriodicalId\":440882,\"journal\":{\"name\":\"AMAST Series in Computing\",\"volume\":\"67 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1996-09-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"209\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"AMAST Series in Computing\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1142/3163\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"AMAST Series in Computing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1142/3163","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 209

摘要

来自发布者:语言原型提供了一种从高级语言定义自动生成语言实现的方法。本卷介绍了语言原型的代数规范方法;并以ASF+SDF形式主义和元环境为中心。该卷是涵盖许多案例研究的文章的集成集合，并包括几个章节，提出了派生高级语言实现的新技术。附带的软件是免费提供的。

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

查看原文本刊更多论文

Language Prototyping: An Algebraic Specification Approach

From the Publisher: Language prototyping provides a means to generate language implementations automatically from high-level language definitions. This volume presents an algebraic specification approach to language prototyping; and is centered around the ASF+SDF formalism and Meta-Environment. The volume is an integrated collection of articles covering a number of case studies, and includes several chapters proposing new techniques for deriving advanced language implementations. The accompanying software is freely available.

求助全文

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

来源期刊

AMAST Series in Computing

自引率

0.00%

发文量