Search CORE

64 research outputs found

Semantics of First Order Parametric Specifications

Author: H. Ehrig
H. Ganzinger
J. Adámek
J. Goguen
J.W. Thatcher
M. Löwe
R. Burstall
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

Writing Larch interface language specifications

Author: ABRIAL J. R.
ATREYA S. K.
BERZINS V.
BIRKHOF
BJORNER D.
BURSTALL R. M.
BURSTALL R. M.
CAINE S. H.
EHRICH H.-D.
EHRIG H.
EHRIG H.
FORGAARD R.
GOGUEN J. A.
GOGUEN J. A.
GOGUEN J. A.
GOOD D. I.
GUTTAG J. V.
GUTTAG J. V.
GUTTAG J. V.
GUTTAG J. V.
GUTTAG J. V.
GUTTAO J. V.
GUTWAG J. V.
GUWTAG J.V.
HOARE C. A.
HORNING J.J.
JACKSON M.A.
Jeannette M. Wing
KAPUR D.
KATZAN H.
KOWNACKI R. W.
LESCANNE P.
LISK
LISKOV B. H.
LISKOV B. H.
MUSSER D.R
NAKAJIMA R.
NAKAJIMA R.
ROBINSON L.
SCHEID J.
STANDISH T. A.
SUFRIN B.
THATCHER J. W.
WAND M
WING J.M.
WING J.M.
YOURDON E.
ZACHARY J.
ZAVE P
ZILLES S.N.
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

Rapid prototyping

Author: Burstall R. M.
Goguen
Goguen
Goguen J. A.
Goguen J. A.
Goguen Tardo
Goguen Thatcher
Goguen Thatcher
Guttag J. V.
Huet
Jose Meseguer
Joseph Goguen
Knuth D.
O'Donnell M. J.
Parsaye-Ghomi K.
Tardo J. The Design
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

Remarks on remarks on many-sorted equational logic

Author: Ehrig Hartmut
Goguen Jouannaud
Goguen Thatcher
Guttag John
J A Goguen
J Meseguer
Meseguer José
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

Some fundamental algebraic tools for the semantics of computation

Author: Arbib
Benabou
Birkhoff
Bloom
Boyer
Boyer
Burstall
Burstall
Burstall
Burstall
Burstall
Burstall
Ehrich
Ehrig
Ehrig
Eilenberg
Elgot
Elgot
Ginali
Ginali
Goguen
Goguen
Goguen
Goguen
Goguen
Goguen
Goguen
Goguen
Goguen
Goguen
Goguen
Goguen
Goguen
Goguen
Goguen
Goguen
Goldblatt
Guttag
Guttag
Herrlich
Heut
Huggins
Isbell
J.A. Goguen
Keane
Knuth
Kühnel
Lawvere
MacLane
Majster
Manes
Meseguer
Mosses
Mosses
Musser
Parsaye-Ghomi
R.M. Burstall
Reichel
Reynolds
Reynolds
Rydeheard
Thatcher
Thatcher
Wagner
Wagner
Wagner
Wand
Wright
Zilles
Publication venue: 'Elsevier BV'
Publication date: 01/01/1984
Field of study

Mathematical specifications

Author: Goguen
Goguen
Gordon
Guttag
J. Craig Cleaveland
Lucas
Strachey Milne
Strachey Scott
Thatcher Goguen
Uzgalis Cleaveland
Yelowitz Gerhart
Publication venue: 'Association for Computing Machinery (ACM)'
Publication date
Field of study

A uniform approach to inductive posets and inductive closure

Author: Birkhoff
Bloom
Courcelle
E.G. Wagner
Egli
Goguen
Goguen
Goguen
J.B. Wright
J.W. Thatcher
Mac Lane
Markowsky
Markowsky
Scott
Scott
Scott
Tiuryn
Publication venue: 'Elsevier BV'
Publication date: 01/01/1978
Field of study

An algebraically specified language for data directed design

Author: Ehrig
Eric G. Wagner
Goguen
Goguen
Meyer
Micallef
Rus
Thatcher
Wagner
Wagner
Wagner
Wagner
Wagner
Wagner
Publication venue: 'Elsevier BV'
Publication date
Field of study

Some fundamental algebraic tools for the semantics of computation

Author: Benabou
Birkhoff
Boyer
Burstall
Burstall
Burstall
Burstall
Burstall
Burstall
Ehrich
Ehrig
Elgot
Goguen
Goguen
Goguen
Goguen
Goguen
Herrlich
Isbell
J.A. Goguen
Keane
Kelly
Lawvere
Levy
MacLane
Majster
Manes
Meseguer
Musser
Palmquist
Parsaye-Ghomi
R.M. Burstall
Thatcher
Wright
Publication venue: 'Elsevier BV'
Publication date: 01/01/1984
Field of study

Some fundamental algebraic tools for the semantics of computation: Part 3. indexed categories

Author: Andrzej Tarlecki
Arbib
Barr
Beierle
Benabou
Burstall
Burstall
Burstall
Ehrich
Ehrig
Ehrig
Goguen
Goguen
Goguen
Goguen
Goguen
Goguen
Goguen
Goguen
Goguen
Goguen
Goguen
Goguen
Gray
Gray
Grothendieck
Grothendieck
Herrlich
Johnstone
Joseph A. Goguen
Kamin
MacLane
Mayoh
Moggi
Moggi
Rod M. Burstall
Sannella
Sannella
Sannella
Sannella
Sannella
Tarlecki
Tarlecki
Tarlecki
Taylor
Thatcher
Wand
Publication venue: 'Elsevier BV'
Publication date
Field of study

…

core

core