A Haskell Implementation of a Rule-Based Program Transformation for C Programs.
Salvador TamaritGuillermo ViguerasManuel CarroJulio MariñoPublished in: PADL (2015)
Keyphrases
- high level programming language
- programming language
- functional language
- functional programming
- functional programs
- high level programming
- computer programs
- java programs
- programming environment
- control program
- program execution
- prolog programs
- java language
- object oriented programming
- runtime environment
- java bytecode
- database
- rule base
- computer chess
- hardware designs
- undergraduate engineering
- logic programs
- software engineering