Proving and applying program transformations expressed with second-order patterns
type: Item
instance of: scholarly article
title: Proving and applying program transformations expressed with second-order patterns
zbMATH Open document ID: 0389.68008
DOI: 10.1007/BF00264598
author: Bernard Lang
author: Gérard Huet
published in: Acta Informatica
publication date: 1978-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 3605894
Wikidata QID: Q56608660
describes a project that uses: LCF
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/bf00264598
OpenAlex ID: W2062968803
DBLP publication ID: journals/acta/HuetL78
description: scientific article; zbMATH DE number 3605894