Ben Wegbreit

Available identifiers

zbMath Open wegbreit.benMaRDI QIDQ1218291

List of research outcomes

Publication	Date of Publication	Type
Subgoal induction	1977-01-01	Paper
Complexity of Synthesizing Inductive Assertions	1977-01-01	Paper
Constructive Methods in Program Verification	1977-01-01	Paper
A Model for Control Structures for Artificial Intelligence Programming Languages	1976-01-01	Paper
Proving Properties of Complex Data Structures	1976-01-01	Paper
Verifying Program Performance	1976-01-01	Paper
Faster retrieval from context trees	1976-01-01	Paper
Goal-Directed Program Transformation	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4130970	1976-01-01	Paper
Retrieval from context trees	1975-01-01	Paper
The verification and synthesis of data structures	1975-01-01	Paper
Mechanical program analysis	1975-01-01	Paper
The treatment of data types in EL1	1974-01-01	Paper
The synthesis of loop predicates	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ben Wegbreit