| Yet another meta-language for programming language processing |
| Full text |
 Pdf
(716 KB)
|
| Source
|
ACM SIGPLAN Notices
archive
Volume 37 , Issue 6 (June 2002)
table of contents
COLUMN: Technical correspondence
table of contents
Pages: 28 - 37
Year of Publication: 2002
ISSN:0362-1340
|
|
Authors
|
|
| Publisher |
|
| Bibliometrics |
Downloads (6 Weeks): 4, Downloads (12 Months): 14, Citation Count: 2
|
|
|
 ABSTRACT
The formal specification language LFC was designed to support formal specification acquisition. However, it is yet suited to be used as a meta-language for specifying programming language processing. This paper introduces LFC as a meta-language, and compares it with ASF+SDF, an algebraic specification formalism that can also be used to programming languages.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
|
| |
2
|
H. Chen. Function definition language FDL and its implementation. J. Comput. Sci. & Technol., Vol.14, No.4, pp.414-421, 1999.
|
| |
3
|
H. Chen and Y. Dong. A formal specification language facilitating specification acquisition. (in Chinese) To appear in Journal of Computer, 2002.
|
| |
4
|
Y. Dong et al. Collection of SAQ reports no.1-16. Technical Reports ISCAS-LCS-95-09 (August 1995), ISCAS-LCS-96-1 (March 1996), Computer Science Laboratory, Institute of Software, Chinese Academy of Sciences.
|
| |
5
|
Y. Dong. MLIRF method for specification acquisition and reuse. (in Chinese) Proc. of the 9th National Conf. of China Computer Federation, May 1996, pp. 21-27.
|
| |
6
|
Y. Dong. An interactive learning algorithm for acquisition of concepts represented as CFL. J. Comput. Sci. & Technol., Vol.13, No.1, 1-8, 1998.
|
| |
7
|
Y. Dong, K. Li, H. Chen, et al. Design and implementation of the formal specification acquisition system SAQ. Proceedings of Conference on Software: Theory and Practice, IFIP 16th World Computer Congress 2000, Beijing China, August 21-25, 2000, Publishing House of Electronics Industry, 201-211.
|
| |
8
|
Y. Dong. Recursive functions of context free languages (I) --- The definitions of CFPRF and CFRF. Science in China, Series F, 2002, 45(1): 25-39.
|
| |
9
|
Y. Dong. Recursive functions of context free languages (II) --- Validity of CFPRF and CFRF definitions. Science in China, Series F, 2002, 45(2):1-21.
|
| |
10
|
A. van Deursen. Introducing ASF+SDF using the λ-calculus as example. Chapter 2 of Executable Language Definitions --- Case Studies and Origin Tracking Techniques, PhD Thesis, University of Amsterdam, 1994.
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
