A LANGUAGE FOR SPECIFYING PROGRAM TRANSFORMATIONS

被引：3

作者：

HILDUM, D ^{[1
]}

COHEN, J ^{[1
]}

机构：

[1] BRANDEIS UNIV,MICHTOM SCH COMP SCI,DEPT COMP SCI,WALTHAM,MA 02254

来源：

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1990年 / 16卷 / 06期

基金：

美国国家科学基金会;

关键词：

Optimization; pattern matching; program transformation; specification language;

D O I：

10.1109/32.55091

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

This paper describes a language for specifying program transformations, from which programs can be generated to perform the transformations on sequences of code. The main objective of this work has been to develop a language that would allow the user to quickly and easily specify a wide range of transformations for a variety of programming languages. The rationale for the language constructs is given, as well as the details of an implementation which was prototyped using Prolog. Numerous examples of the language usage are provided. © 1990 IEEE

引用

页码：630 / 638

页数：9

共 50 条

[21] Carla: A rule language for specifying communications architectures
Citrin, W
Cockburn, A
[J]. COMPUTER LANGUAGES, 1995, 21 (3-4): : 165 - 189
[22] Towards a Qualitative Representation for Specifying Natural Language
Dapoigny, Richard
Barlatier, Patrick
[J]. 2017 IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND VIRTUAL ENVIRONMENTS FOR MEASUREMENT SYSTEMS AND APPLICATIONS (CIVEMSA), 2017, : 42 - 47
[23] A language for specifying the composition of reliable distributed applications
Ranno, F
Shrivastava, SK
Wheater, SM
[J]. 18TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 1998, : 534 - 543
[24] AN ABSTRACT LANGUAGE FOR SPECIFYING MARKOV RELIABILITY MODELS
BUTLER, RW
[J]. IEEE TRANSACTIONS ON RELIABILITY, 1986, 35 (05) : 595 - 601
[25] ASTRAL - AN ASSERTION LANGUAGE FOR SPECIFYING REALTIME SYSTEMS
GHEZZI, C
KEMMERER, RA
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 550 : 122 - 146
[26] A language for specifying recursive traversals of object structures
Ovlinger, J
Wand, M
[J]. ACM SIGPLAN NOTICES, 1999, 34 (10) : 70 - 81
[27] Lutin: A Language for Specifying and Executing Reactive Scenarios
Raymond, Pascal
Roux, Yvan
Jahier, Erwan
[J]. EURASIP JOURNAL ON EMBEDDED SYSTEMS, 2008, (01)
[28] Essence: A constraint language for specifying combinatorial problems
Alan M. Frisch
Warwick Harvey
Chris Jefferson
Bernadette Martínez-Hernández
Ian Miguel
[J]. Constraints, 2008, 13 : 268 - 306
[29] SPECIFYING MULTIAGENT ENVIRONMENTS IN THE GAME DESCRIPTION LANGUAGE
Schiffel, Stephan
Thielscher, Michael
[J]. ICAART 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, 2009, : 21 - +
[30] TQ - A LANGUAGE FOR SPECIFYING PROGRAMMING-PROBLEMS
GOMEZ, F
WINGATE, V
[J]. INTERNATIONAL JOURNAL OF MAN-MACHINE STUDIES, 1991, 35 (05): : 633 - 656

← 1 2 3 4 5 →