QR koda

Rascal: From Algebraic Specification to Meta-Programming

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 (nam...

Popoln opis

Shranjeno v:
Bibliografske podrobnosti
Principais autores: Jeroen van den Bos, Mark Hills, Paul Klint, Tijs van der Storm, Jurgen J. Vinju
Format: Artigo
Jezik:Inglês
Izdano: Open Publishing Association 2011-06-01
Serija:Electronic Proceedings in Theoretical Computer Science
Online dostop:http://arxiv.org/pdf/1107.0064v1
Oznake: Označite
Brez oznak, prvi označite!