A reflective functional language for hardware design and theorem proving

DOI10.1017/S0956796805005757MaRDI QIDQ3377460zbMATH OpenFDO

Authors

Publication date 22 March 2006

Published in Journal of Functional Programming (Search for Journal in Brave)

zbMATH Keywords

reFLect programs

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Computer system organization (68M99)

Recommendations

• scientific article; zbMATH DE number 2185723
• Describing and Optimising Reversible Logic Using a Functional Language
• scientific article; zbMATH DE number 139806
• scientific article; zbMATH DE number 1852161
• An abstract, reusable, and extensible programming language design architecture

Cited in

(5)

• Mothers of pipelines
• A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL
• A calculus for hardware description
• Incorporating quotation and evaluation into Church's type theory: syntax and semantics
• Incorporating quotation and evaluation into Church's type theory

Describes a project that uses

Uses Software

• Coq
• ML
• OCaml
• LCF
• reFLect

This page was built for publication: A reflective functional language for hardware design and theorem proving

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3377460)