Ben Wegbreit

Available identifiers

zbMath Open wegbreit.benMaRDI QIDQ1218291

List of research outcomes

Publication	Date of Publication	Type
Subgoal induction	1977-01-01	Paper
Constructive Methods in Program Verification	1977-01-01	Paper
Complexity of Synthesizing Inductive Assertions	1977-01-01	Paper
Verifying Program Performance	1976-01-01	Paper
Goal-Directed Program Transformation	1976-01-01	Paper
Proving Properties of Complex Data Structures	1976-01-01	Paper
A Model for Control Structures for Artificial Intelligence Programming Languages	1976-01-01	Paper
Faster retrieval from context trees	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4130970	1976-01-01	Paper
Retrieval from context trees	1975-01-01	Paper
Mechanical program analysis	1975-01-01	Paper
The verification and synthesis of data structures	1975-01-01	Paper
The synthesis of loop predicates	1974-01-01	Paper
The treatment of data types in EL1	1974-01-01	Paper
Procedure closure in EL1	1974-01-01	Paper
A note on AFLs and bounded erasing	1971-01-01	Paper
Time- and tape-bounded Turing acceptors and AFLs	1970-01-01	Paper
Tape-bounded Turing acceptors and principal AFLs	1970-01-01	Paper
A generator of context-sensitive languages	1969-01-01	Paper

Research outcomes over time

This page was built for person: Ben Wegbreit