×
Author ID: wegbreit.ben Recent zbMATH articles by "Wegbreit, Ben"
Published as: Wegbreit, Ben; Wegbreit, B.
Documents Indexed: 19 Publications since 1969
Co-Authors: 6 Co-Authors with 8 Joint Publications
170 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

15 Publications have been cited 123 times in 104 Documents Cited by Year
Mechanical program analysis. Zbl 0306.68008
Wegbreit, Ben
37
1975
Time- and tape-bounded Turing acceptors and AFLs. Zbl 0206.28702
Book, R. V.; Greibach, S. A.; Wegbreit, B.
23
1970
A generator of context-sensitive languages. Zbl 0205.31302
Wegbreit, B.
11
1969
The synthesis of loop predicates. Zbl 0273.68014
Wegbreit, Ben
11
1974
Subgoal induction. Zbl 0349.68007
Morris, James H. jun.; Wegbreit, Ben
8
1977
Tape-bounded Turing acceptors and principal AFLs. Zbl 0206.28703
Book, R. V.; Greibach, S. A.; Ibarra, O. H.; Wegbreit, B.
8
1970
A note on AFLs and bounded erasing. Zbl 0237.68021
Book, Ronald V.; Wegbreit, Ben
5
1971
Verifying program performance. Zbl 0333.68013
Wegbreit, Ben
5
1976
Goal-directed program transformation. Zbl 0352.68033
Wegbreit, Ben
4
1976
The treatment of data types in EL 1. Zbl 0276.68016
Wegbreit, Ben
4
1974
Constructive methods in program verification. Zbl 0364.68011
Wegbreit, Ben
2
1977
Retrieval from context trees. Zbl 0307.68071
Wegbreit, Ben
2
1975
The verification and synthesis of data structures. Zbl 0282.68013
Spitzen, Jay; Wegbreit, Ben
1
1975
A model for control structures for artificial intelligence programming languages. Zbl 0324.68006
Bobrow, Daniel G.; Wegbreit, Ben
1
1976
Proving properties of complex data structures. Zbl 0326.68019
Wegbreit, Ben; Spitzen, Jay M.
1
1976
Subgoal induction. Zbl 0349.68007
Morris, James H. jun.; Wegbreit, Ben
8
1977
Constructive methods in program verification. Zbl 0364.68011
Wegbreit, Ben
2
1977
Verifying program performance. Zbl 0333.68013
Wegbreit, Ben
5
1976
Goal-directed program transformation. Zbl 0352.68033
Wegbreit, Ben
4
1976
A model for control structures for artificial intelligence programming languages. Zbl 0324.68006
Bobrow, Daniel G.; Wegbreit, Ben
1
1976
Proving properties of complex data structures. Zbl 0326.68019
Wegbreit, Ben; Spitzen, Jay M.
1
1976
Mechanical program analysis. Zbl 0306.68008
Wegbreit, Ben
37
1975
Retrieval from context trees. Zbl 0307.68071
Wegbreit, Ben
2
1975
The verification and synthesis of data structures. Zbl 0282.68013
Spitzen, Jay; Wegbreit, Ben
1
1975
The synthesis of loop predicates. Zbl 0273.68014
Wegbreit, Ben
11
1974
The treatment of data types in EL 1. Zbl 0276.68016
Wegbreit, Ben
4
1974
A note on AFLs and bounded erasing. Zbl 0237.68021
Book, Ronald V.; Wegbreit, Ben
5
1971
Time- and tape-bounded Turing acceptors and AFLs. Zbl 0206.28702
Book, R. V.; Greibach, S. A.; Wegbreit, B.
23
1970
Tape-bounded Turing acceptors and principal AFLs. Zbl 0206.28703
Book, R. V.; Greibach, S. A.; Ibarra, O. H.; Wegbreit, B.
8
1970
A generator of context-sensitive languages. Zbl 0205.31302
Wegbreit, B.
11
1969
all top 5

Cited by 140 Authors

10 Albert, Elvira
10 Book, Ronald Vernon
8 Genaim, Samir
6 Greibach, Sheila A.
4 Hermenegildo, Manuel V.
4 López-García, Pedro
4 Puebla, Germán
4 Wrathall, Celia
3 Arenas, Puri
3 Ben-Amram, Amir M.
3 Charguéraud, Arthur
3 Kapur, Deepak
3 Klemen, Maximiliano
3 Martin-Martin, Enrique
3 Pottier, François
2 Flajolet, Philippe
2 Gallagher, John P.
2 Gutiérrez, Raúl
2 Hamilton, Geoff W.
2 Kovács, Laura Ildikó
2 Liqat, Umer
2 Merayo, Alicia
2 Nipkow, Tobias
2 Román-Díez, Guillermo
2 Rubio, Albert
2 Steyaert, Jean-Marc
2 Wegbreit, Ben
2 Wotschke, Detlef
2 Zanardini, Damiano
2 Zimmermann, Paul
1 Aharon, Shir
1 Allender, Eric W.
1 Arsac, Jacques J.
1 Asveld, Peter R. J.
1 Back, Ralph-Johan
1 Barthe, Gilles
1 Beigel, Richard
1 Benzinger, Ralph
1 Birget, Jean-Camille
1 Bofill, Miquel
1 Borralleras, Cristina
1 Brandstädt, Andreas
1 Brinkop, Hauke
1 Brown, James Robert
1 Casas, Rafael
1 Culik, Karel II
1 Cyphert, John
1 Dang, Duc-Hanh
1 Danner, Norman
1 D’Antoni, Loris
1 Dershowitz, Nachum
1 Early, Jay
1 Fernández-Camacho, María-Inés
1 Gaines, Brian R.
1 Ginsburg, Seymour
1 Gotlieb, Calvin C.
1 Guéneau, Armaël
1 Haemmerlé, Rémy
1 Hähnle, Reiner
1 Harel, David
1 Hawrusik, Frank M.
1 Hertrampf, Ulrich
1 Hoffmann, Jan-Philipp
1 Homer, Steven
1 Hu, Qinheping
1 Hung, Dang Van
1 Ibarra, Oscar H.
1 Ish-Shalom, Oren
1 Itzhaky, Shachar
1 Jourdan, Jacques-Henri
1 Kahn, David M.
1 Kalvala, Saraswati
1 Kasai, Takumi
1 Kauer, Stefan
1 Kodratoff, Yves
1 Kohout, Ladislav J.
1 Kostyrko, V.s.
1 Koutsos, Adrien
1 Kozhevnikova, G. P.
1 Kristiansen, Lars
1 Laneve, Cosimo
1 Lewis, Harry R.
1 Li, Ming
1 Licata, Daniel R.
1 Lienhardt, Michael
1 Lin, Fangzhen
1 Maass, Wolfgang
1 Majster, Mila E.
1 Maslov, A. N.
1 Masud, Abu Naser
1 Maurer, Hermann A.
1 McCloskey, Teresemarie
1 Mili, Ali
1 Milner, Robin
1 Mirliaz, Solène
1 Moore, Daniel J.
1 Morales, Jose Francisco
1 Nadkarni, Chaitanya
1 Nepeĭvoda, Nikolaĭ Nikolaevich
1 Nguyen, Ngoc-Khai
...and 40 more Authors

Citations by Year