An implementation of syntax directed functional programming on nested- stack machines
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 2090035
- A provably correct compilation of functional languages into scripting languages
- Structuring FP-style functional programs
- scientific article; zbMATH DE number 194911
- On structuring functional programs with monoidal profunctors
- scientific article; zbMATH DE number 1263381
- An approach to automatic deductive synthesis of functional programs
Cites work
- scientific article; zbMATH DE number 3125697 (Why is no real title available?)
- scientific article; zbMATH DE number 4090779 (Why is no real title available?)
- scientific article; zbMATH DE number 3748405 (Why is no real title available?)
- scientific article; zbMATH DE number 44324 (Why is no real title available?)
- scientific article; zbMATH DE number 3485226 (Why is no real title available?)
- scientific article; zbMATH DE number 3619879 (Why is no real title available?)
- A constructive method for abstract algebraic software specification
- Attribute grammars and recursive program schemes. I. II
- Bottom-up and top-down tree transformations— a comparison
- Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems
- Extended macro grammars and stack controlled machines
- Logic programming with functions and predicates: The language Babel
- Macro tree transducers
- Mappings and grammars on trees
- Modular tree transducers
- Nested Stack Automata
- Pushdown machines for the macro tree transducer
- The Mechanical Evaluation of Expressions
- Translations on a context free grammar
This page was built for publication: An implementation of syntax directed functional programming on nested- stack machines
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1194207)
