Rascal: From Algebraic Specification to Meta-Programming

Computer Science – Programming Languages

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

In Proceedings AMMSE 2011, arXiv:1106.5962

Scientific paper

10.4204/EPTCS.56.2

Algebraic specification has a long tradition in bridging the gap between specification and programming by making specifications executable. Building on extensive experience in designing, implementing and using specification formalisms that are based on algebraic specification and term rewriting (namely Asf and Asf+Sdf), we are now focusing on using the best concepts from algebraic specification and integrating these into a new programming language: Rascal. This language is easy to learn by non-experts but is also scalable to very large meta-programming applications. We explain the algebraic roots of Rascal and its main application areas: software analysis, software transformation, and design and implementation of domain-specific languages. Some example applications in the domain of Model-Driven Engineering (MDE) are described to illustrate this.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

Rascal: From Algebraic Specification to Meta-Programming does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Rascal: From Algebraic Specification to Meta-Programming, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Rascal: From Algebraic Specification to Meta-Programming will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-480158

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.