Verification of recursive programs View on Open Library

Verification of recursive programs

by Simon M. Kaplan

No reviews yet
First published: 1985 1 language
Subjects
Automatic theorem proving Recursive programming

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Simon M. Kaplan

Incremental attribute evaluation in distributed language-based environments

Incremental attribute evaluation in dist...

Incremental attribute evaluation on node-label controlled graphs

Incremental attribute evaluation on node...

Specification and verification of context conditions for programming languages

Specification and verification of contex...

You Might Also Like

More in Automatic theorem pr...
Logic for programming artificial intelligence and reasoning

Logic for programming artificial intelli...

Moshe Y. Vardi
Logic Programming

Logic Programming

James H. Andrews
Logic for computer science

Logic for computer science

Jean H. Gallier
Automated deduction

Automated deduction

W. Bibel
Certified Programming with Dependent Types

Certified Programming with Dependent Typ...

Adam Chlipala
Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intell...

Ken McMillan