Inducing constructor systems from example-terms by detecting syntactical regularities

DOI10.1016/J.ENTCS.2006.11.015zbMATH Open1277.68058OpenAlexW2051217125MaRDI QIDQ2864518FDOQ2864518

Authors: Emanuel Kitzelmann, Ute Schmid 

Publication date: 6 December 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2006.11.015

Recommendations

• Analytical Inductive Functional Programming
• Inductive synthesis of functional programs: an explanation based generalization approach
• scientific article; zbMATH DE number 2090035
• scientific article; zbMATH DE number 3982491
• Inductive synthesis of term rewriting systems

zbMATH Keywords

functional programmingrule-based programmingconstructor systemsinductive program synthesis

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Inductive synthesis of recursive logic programs: achievements and prospects
• A Methodology for LISP Program Construction from Examples
• Inductive synthesis of functional programs: an explanation based generalization approach
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (1)

• Analytical Inductive Functional Programming

Uses Software

• Maude

This page was built for publication: Inducing constructor systems from example-terms by detecting syntactical regularities

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