Parallel-program transformation using a metalanguage
PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
The use of a software specification metalanguage
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Program Transformation Systems
ACM Computing Surveys (CSUR)
A System for Assisting Program Transformation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
A proposal for definitions in ALGOL
Communications of the ACM
Metalanguage and syntax specification
Communications of the ACM
Yet another meta-language for programming language processing
ACM SIGPLAN Notices
Meta-programming with names and necessity
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
How to write system-specific, static checkers in metal
Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Eliminating redundancies with a "composition with adaptation" meta-programming technique
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Meta-programming through typeful code representation
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Meta: extending and unifying languages
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Mirrors: design principles for meta-level facilities of object-oriented programming languages
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
| Hi-index | 0.00 |
In this work, we have tried to combine Pascal and C language to form a meta-frame work. This metaplatform also provides data structure flexibility to the programmers. By this, one can declare a data structure in Pascal and can use it in C language segments, and vice versa. This meta-language provides a simple, flexible, extensible, and a formal framework for expressing transformational schemes. It also automates the cumbersome and error-prone part of the program transformation. Our aim is to make meta-programming less error-prone, by providing a type system to facilitate the construction of correct meta- frame.