Proving and applying program transformations expressed with second-order patterns

Lang, Bernard; Huet, G�rard

doi:10.1007/BF00264598

Record: found
Abstract: not found
Article: not found

Proving and applying program transformations expressed with second-order patterns

Author(s): G�rard Huet , Bernard Lang

Publication date Created: 1978

Publication date (Print): 1978

Journal: Acta Informatica

Publisher: Springer Nature

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Title: Acta Informatica

Abbreviated Title: Acta Informatica

Publisher: Springer Nature

ISSN (Print): 0001-5903

ISSN (Electronic): 1432-0525

Publication date Created: 1978

Publication date (Print): 1978

Volume: 11

Issue: 1

Article

DOI: 10.1007/BF00264598

SO-VID: 209ea44d-c0f5-405c-86bb-02e874bde051

History

Data availability:

Proving and applying program transformations expressed with second-order patterns

Read this article at

Related collections

Genome Engineering using CRISPR

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 1,704

Cited by 15