Ben Wegbreit
From MaRDI portal
Person:1218291
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Subgoal induction Communications of the ACM | 1977-01-01 | Paper |
| Constructive Methods in Program Verification IEEE Transactions on Software Engineering | 1977-01-01 | Paper |
| Complexity of Synthesizing Inductive Assertions Journal of the ACM | 1977-01-01 | Paper |
| Verifying Program Performance Journal of the ACM | 1976-01-01 | Paper |
| Goal-Directed Program Transformation IEEE Transactions on Software Engineering | 1976-01-01 | Paper |
| Proving Properties of Complex Data Structures Journal of the ACM | 1976-01-01 | Paper |
| A Model for Control Structures for Artificial Intelligence Programming Languages IEEE Transactions on Computers | 1976-01-01 | Paper |
| Faster retrieval from context trees Communications of the ACM | 1976-01-01 | Paper |
| scientific article; zbMATH DE number 3558932 (Why is no real title available?) | 1976-01-01 | Paper |
| Retrieval from context trees Information Processing Letters | 1975-01-01 | Paper |
| Mechanical program analysis Communications of the ACM | 1975-01-01 | Paper |
| The verification and synthesis of data structures Acta Informatica | 1975-01-01 | Paper |
| The synthesis of loop predicates Communications of the ACM | 1974-01-01 | Paper |
| The treatment of data types in EL1 Communications of the ACM | 1974-01-01 | Paper |
| Procedure closure in EL1 The Computer Journal | 1974-01-01 | Paper |
| A note on AFLs and bounded erasing Information and Control | 1971-01-01 | Paper |
| Time- and tape-bounded Turing acceptors and AFLs Journal of Computer and System Sciences | 1970-01-01 | Paper |
| Tape-bounded Turing acceptors and principal AFLs Journal of Computer and System Sciences | 1970-01-01 | Paper |
| A generator of context-sensitive languages Journal of Computer and System Sciences | 1969-01-01 | Paper |
Research outcomes over time
This page was built for person: Ben Wegbreit
