×

zbMATH — the first resource for mathematics

Guttag, John V.

Compute Distance To:
Author ID: guttag.john-v Recent zbMATH articles by "Guttag, John V."
Published as: Guttag, John; Guttag, John V.; Guttag, J. V.; Gutlag, John V.
External Links: IdRef · MGP · Wikidata · dblp · GND
Documents Indexed: 22 Publications since 1977, including 4 Books

Publications by Year

Citations contained in zbMATH Open

14 Publications have been cited 186 times in 158 Documents Cited by Year
Abstract data types and software validation. Zbl 0387.68012
Guttag, John V.; Horowitz, Ellis; Musser, David R.
38
1978
The algebraic specification of abstract data types. Zbl 0369.68010
Guttag, J. V.; Horning, J. J.
30
1978
The algebraic specification of abstract data types. Zbl 0395.68020
Guttag, J. V.; Horning, J. J.
23
1978
LARCH: languages and tools for formal specification. Zbl 0794.68103
Guttag, John V.; Horning, James J.
21
1993
Abstract data types and the development of data structures. Zbl 0356.68022
Guttag, John
18
1977
Abstraction and specification in program development. Zbl 0644.68001
Liskov, Barbara; Guttag, John
15
1986
On proving uniform termination and restricted termination of rewriting systems. Zbl 0526.68036
Guttag, J. V.; Kapur, D.; Musser, D. R.
13
1983
Report on the Larch shared language. Zbl 0581.68007
Guttag, J. V.; Horning, J. J.
9
1986
Proof rules for the programming language Euclid. Zbl 0385.68009
London, R. L.; Guttag, J. V.; Horning, J. J.; Lampson, B. W.; Mitchell, J. G.; Popek, G. J.
8
1978
A Larch shared language handbook. Zbl 0581.68008
Guttag, J. V.; Horning, J. J.
4
1986
Proof rules for the programming language Euclid. Zbl 0399.68011
London, R. L.; Guttag, J. V.; Horning, J. J.; Lampson, B. W.; Mitchell, J. G.; Popek, G. J.
3
1979
Some notes on putting formal specifications to productive use. Zbl 0491.68012
Guttag, John; Horning, Jim; Wing, Jeannette
2
1982
Notes on type abstraction. Zbl 0399.68031
Guttag, John
1
1979
Using transformations and verification in circuit design. Zbl 0800.94308
Saxe, James B.; Garland, Stephen J.; Guttag, John V.; Horning, James J.
1
1992
LARCH: languages and tools for formal specification. Zbl 0794.68103
Guttag, John V.; Horning, James J.
21
1993
Using transformations and verification in circuit design. Zbl 0800.94308
Saxe, James B.; Garland, Stephen J.; Guttag, John V.; Horning, James J.
1
1992
Abstraction and specification in program development. Zbl 0644.68001
Liskov, Barbara; Guttag, John
15
1986
Report on the Larch shared language. Zbl 0581.68007
Guttag, J. V.; Horning, J. J.
9
1986
A Larch shared language handbook. Zbl 0581.68008
Guttag, J. V.; Horning, J. J.
4
1986
On proving uniform termination and restricted termination of rewriting systems. Zbl 0526.68036
Guttag, J. V.; Kapur, D.; Musser, D. R.
13
1983
Some notes on putting formal specifications to productive use. Zbl 0491.68012
Guttag, John; Horning, Jim; Wing, Jeannette
2
1982
Proof rules for the programming language Euclid. Zbl 0399.68011
London, R. L.; Guttag, J. V.; Horning, J. J.; Lampson, B. W.; Mitchell, J. G.; Popek, G. J.
3
1979
Notes on type abstraction. Zbl 0399.68031
Guttag, John
1
1979
Abstract data types and software validation. Zbl 0387.68012
Guttag, John V.; Horowitz, Ellis; Musser, David R.
38
1978
The algebraic specification of abstract data types. Zbl 0369.68010
Guttag, J. V.; Horning, J. J.
30
1978
The algebraic specification of abstract data types. Zbl 0395.68020
Guttag, J. V.; Horning, J. J.
23
1978
Proof rules for the programming language Euclid. Zbl 0385.68009
London, R. L.; Guttag, J. V.; Horning, J. J.; Lampson, B. W.; Mitchell, J. G.; Popek, G. J.
8
1978
Abstract data types and the development of data structures. Zbl 0356.68022
Guttag, John
18
1977
all top 5

Cited by 209 Authors

9 Tarlecki, Andrzej
8 Sannella, Donald T.
5 Ehrig, Hartmut
5 Goguen, Joseph Amadee
5 Kapur, Deepak
5 Narendran, Paliath
4 Bidoit, Michel
4 Bouhoula, Adel
4 Padawitz, Peter
4 Wirsing, Martin
3 Bernot, Gilles
3 Blum, Edward Kenneth
3 Broy, Manfred
3 Leavens, Gary T.
3 Lescanne, Pierre
3 Meseguer Guaita, José
3 Naumann, David A.
3 Oriat, C.
3 Remy, Jean-Luc
2 Bergstra, Jan A.
2 Choppy, Christine
2 de Lucena, Carlos José Pereira
2 Ehrich, Hans-Dieter
2 Kreowski, Hans-Jörg
2 Krishnamoorthy, Mukkai S.
2 Lehmann, Daniel J.
2 Leino, K. Rustan M.
2 Lipeck, Udo Walter
2 Lynch, Nancy Ann
2 Mahr, Bernd
2 Moss, Lawrence S.
2 Mossakowski, Till
2 Müller, Peter
2 Musser, David R.
2 Olderog, Ernst-Rüdiger
2 Otto, Friedrich
2 Oyamaguchi, Michio
2 Pair, Claude
2 Parisi-Presicce, Francesco
2 Thatcher, James W.
2 Tucker, John V.
2 Veloso, Paulo Augusto S.
2 Wagner, Eric G.
2 Wand, Mitchell
2 Wright, Jesse B.
1 Abadi, Martín
1 Adiga, Sadashiv
1 Afrati, Foto N.
1 Alpuente, María
1 Amighi, Afshin
1 Apt, Krzysztof Rafal
1 Archer, Myla M.
1 Astesiano, Egidio
1 Attie, Paul C.
1 Bachmair, Leo
1 Baranov, Eduard
1 Barnett, Mike
1 Bastide, Rémi
1 Bauer, Friedrich Ludwig
1 Baugh, John W. jun.
1 Bellia, Marco
1 Berry, Daniel M.
1 Bliudze, Simon
1 Blom, Stefan
1 Borba, Paulo
1 Borzov, Yu. V.
1 Boyland, John Tang
1 Burstall, Rod M.
1 Callegarin, G.
1 Colvin, Robert J.
1 Comon, Hubert
1 Correll, Claus H.
1 Cowan, Donald D.
1 Danvy, Olivier
1 Darabi, Saeed
1 Davenport, James Harold
1 Dershowitz, Nachum
1 Drosten, Klaus
1 Eden, Amnon H.
1 Ferrari, Mauro
1 Fey, Werner
1 Finance, Jean-Pierre
1 Fiorentini, Camillo
1 Flanagan, Cormac
1 Freund, Stephen Neal
1 Fridman, Felix J.
1 Futatsugi, Kokichi
1 Gasparis, E.
1 Gaudel, Marie-Claude
1 Geser, Alfons
1 Gheyi, Rohit
1 Gimson, Roger B.
1 Ginali, Susanna
1 Glassey, C. Roger
1 Gogolla, Martin
1 Groote, Jan Friso
1 Hansen, Horst
1 Harper, Robert
1 Haveraaen, Magne
1 Hawrusik, Frank M.
...and 109 more Authors

Citations by Year

Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.