scientific article

From MaRDI portal

Publication:3034803

Jump to:navigation, search

zbMath0692.68010MaRDI QIDQ3034803

Frank Pfenning

Publication date: 1990

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

theorem proving constructive type theory program transformation program verification abstract data types program development proof transformation NuPrl Warshall's algorithm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) General topics in the theory of software (68N01)

Related Items

Representing proof transformations for program optimization

Uses Software

Nuprl

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3034803&oldid=16068433"