Constructive system for automatic program synthesis
type: Item
instance of: scholarly article
title: Constructive system for automatic program synthesis
zbMATH Open document ID: 0698.68012
DOI: 10.1016/0304-3975(90)90199-R
author: Didier Galmiche
published in: Theoretical Computer Science
publication date: 1990-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B15
Mathematics Subject Classification ID: 03B40
zbMATH DE Number: 4145300
zbMATH Keywords: program synthesis
zbMATH Keywords: typed 6l-calculus
zbMATH Keywords: programming proofs
describes a project that uses: Automath
describes a project that uses: ML
MaRDI profile type: Publication
cites work: The lambda calculus, its syntax and semantics
cites work: Q3914980
cites work: Q5573965
cites work: Q5604461
cites work: Q4116048
cites work: Q3319764
cites work: Q3703866
cites work: Q5565113
cites work: The system \({\mathcal F}\) of variable types, fifteen years later
cites work: Q3880322
cites work: Intuitionism. An introduction
cites work: Zur Deutung der intuitionistischen Logik
cites work: Q4099613
cites work: Q3328540
cites work: A theory of type polymorphism in programming
cites work: Edinburgh LCF. A mechanized logic of computation
cites work: Q3880323
cites work: Natural deduction as higher-order resolution
cites work: Theory of symbolic expressions. I
cites work: Q3673095
cites work: An interpretation of Martin-Löf's type theory in a type-free theory of propositions
cites work: Q5633977
description: scientific article; zbMATH DE number 4145300