2 research outputs found
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
IDL: sharing intermediate representations
- Author
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study