Induce-statements and induce-expressions: Constructs for inductive programming

This publication has 13 references indexed in Scilit:

• A Practical Theory of Programming
  Published by Springer Nature ,1993
• Paramorphisms
  Formal Aspects of Computing, 1992
• A practical theory of programming
  Science of Computer Programming, 1990
• On "powerloop" constructs in programming languages
  ACM SIGPLAN Notices, 1990
• Inductively defined functions in functional programming languages
  Journal of Computer and System Sciences, 1987
• Computable values can be classical
  Published by Association for Computing Machinery (ACM) ,1987
• Inductively defined functions
  Lecture Notes in Computer Science, 1985
• Recursive data structures
  International Journal of Parallel Programming, 1975
• Proving Properties of Programs by Structural Induction
  The Computer Journal, 1969
• Recursive functions of symbolic expressions and their computation by machine, Part I
  Communications of the ACM, 1960