Formal compiler construction in a logical framework
type: Item
instance of: scholarly article
title: Formal compiler construction in a logical framework
zbMATH Open document ID: 1105.68020
author: Jason Hickey
author: Aleksey Nogin
published in: Higher-Order and Symbolic Computation
publication date: 2006-11-17T00:00:00Z
Mathematics Subject Classification ID: 68N20
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 5073694
zbMATH Keywords: Formal compiler
zbMATH Keywords: Higher-order abstract syntax
zbMATH Keywords: Logical programming environment
Wikidata QID: Q122446240
describes a project that uses: MetaPRL
describes a project that uses: LCF
describes a project that uses: OCaml
describes a project that uses: ML
describes a project that uses: YACC
describes a project that uses: TALx86
MaRDI profile type: Publication
full work available at URL: s10990-006-8746-6
OpenAlex ID: W2154518226
cites work: The categorical abstract machine
cites work: Representing Control: a Study of the CPS Transformation
cites work: Edinburgh LCF. A mechanized logic of computation
cites work: Theorem Proving in Higher Order Logics
cites work: Stack-based typed assembly language
cites work: Q4484346
cites work: Q2721104
cites work: Q4293532
DOI: 10.1007/S10990-006-8746-6
description: scientific article; zbMATH DE number 5073694