Generalization from partial parametrization in higher-order type theory

DOI10.1016/0304-3975(89)90074-1MaRDI QIDQ1122980zbMATH OpenOpenAlexFDO

Authors Masami Hagiya

Publication date 1989

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(89)90074-1

zbMATH Keywords

formulae-as-typesgeneralizing a programlargest sum segment problemlongest up segment problemsoftware reusabilitytypical higher-order type theory

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• Higher order generalization and its application in program verification
• scientific article; zbMATH DE number 1301764
• scientific article; zbMATH DE number 1696597
• Order-sorted generalization
• Programming by example and proving by example using higher-order unification

Cites work

• scientific article; zbMATH DE number 3928956 (Why is no real title available?)
• scientific article; zbMATH DE number 3684935 (Why is no real title available?)
• scientific article; zbMATH DE number 3735770 (Why is no real title available?)
• scientific article; zbMATH DE number 3521950 (Why is no real title available?)
• A theory of type polymorphism in programming
• Pebble, a kernel language for modules and abstract data types
• Program abstraction and instantiation
• Proofs as programs
• The Type Theory of PL/CV3
• The lambda calculus. Its syntax and semantics. Rev. ed.

Cited in

(8)

• Programming by example and proving by example using higher-order unification
• Order-sorted generalization
• scientific article; zbMATH DE number 4126684 (Why is no real title available?)
• scientific article; zbMATH DE number 827981 (Why is no real title available?)
• Analogical program derivation based on type theory
• scientific article; zbMATH DE number 1696597 (Why is no real title available?)
• Higher order generalization and its application in program verification
• Generalizing Def and Pos to Type Analysis

Describes a project that uses

Uses Software

• ML

This page was built for publication: Generalization from partial parametrization in higher-order type theory

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