1 research outputs found
A survey of semantic description frameworks for programming languages
- Author
- Abramsky S.
- Abramsky S.
- Acz
- Ait
- Alferes J. J.
- Baowen Xu
- Bec
- Bjørner D.
- Bla
- Blikle A.
- Blo
- Bor
- Bun
- Byu
- Börger E.
- Börger E.
- Börger E.
- Börger E.
- Chr
- Cle
- Clerici S.
- Dav O.
- Dijkstra E. W.
- Esp
- Fellesisen M.
- Fit
- Fit
- Fro
- Gle
- Gle
- Gog
- Gogolla M.
- Goguen J. A.
- Goguen J. A.
- Goos G.
- Gur
- Gur
- Gurevich Y.
- Hansen B. S.
- Har
- Harel D.
- Harper R.
- Hen
- Kem
- Lab
- Labra Gayo J. E.
- Labra Gayo J. E.
- Labra Gayo J. E.
- Lai
- Lan
- Li Z.
- Lia
- Liang L.
- Maarten M.
- Manes E. G.
- Mc
- Milner R.
- Milner R.
- Mit
- Mog
- Mos
- Mos
- Mos
- Mos
- Mos
- Mos
- Mos
- Mos
- Mos
- Mos
- Mos
- Mos
- Mosses P. D.
- Mou
- Nic
- Nielson H. R.
- Pal
- Pal
- Plo
- Pow
- Rin
- Ru
- Sch
- Sch
- Slonneger K.
- Ste
- Sto
- Stärk R.
- Sym
- Tucker J. V.
- von Oheimb D.
- Wan
- Wansbrough K.
- Wat
- Yeu
- Yingzhou Zhang
- Zam
- {PDG1986} PL/I Definition Group
- Ørb
- Publication venue
- 'Association for Computing Machinery (ACM)'
- Publication date
- Field of study
No full text
