CORE
COnnecting
REpositories
  • Services overviewExplore all CORE services
  • Access to raw data

    • API
    • Dataset
    • FastSync
  • Content discovery

    • Recommender
    • Discovery
  • OAI identifiers

    • OAI Resolver
  • Managing content

    • Dashboard
  • Bespoke contracts

    • Consultancy services
  • Support us

      MembershipSponsorshipResearch partnership
  • About

    • About us
    • Our mission
    • Team
    • Blog
    • FAQs
    • Contact us
  • Community governance

    • Governance
    • Advisory Board
    • Board of supporters
    • Research network
  • Innovations

    • Our research
    • Labs

A survey of semantic description frameworks for programming languages

Authors
  1. Abramsky S.
  2. Abramsky S.
  3. Acz
  4. Ait
  5. Alferes J. J.
  6. Baowen Xu
  7. Bec
  8. Bjørner D.
  9. Bla
  10. Blikle A.
  11. Blo
  12. Bor
  13. Bun
  14. Byu
  15. Börger E.
  16. Börger E.
  17. Börger E.
  18. Börger E.
  19. Chr
  20. Cle
  21. Clerici S.
  22. Dav O.
  23. Dijkstra E. W.
  24. Esp
  25. Fellesisen M.
  26. Fit
  27. Fit
  28. Fro
  29. Gle
  30. Gle
  31. Gog
  32. Gogolla M.
  33. Goguen J. A.
  34. Goguen J. A.
  35. Goos G.
  36. Gur
  37. Gur
  38. Gurevich Y.
  39. Hansen B. S.
  40. Har
  41. Harel D.
  42. Harper R.
  43. Hen
  44. Kem
  45. Lab
  46. Labra Gayo J. E.
  47. Labra Gayo J. E.
  48. Labra Gayo J. E.
  49. Lai
  50. Lan
  51. Li Z.
  52. Lia
  53. Liang L.
  54. Maarten M.
  55. Manes E. G.
  56. Mc
  57. Milner R.
  58. Milner R.
  59. Mit
  60. Mog
  61. Mos
  62. Mos
  63. Mos
  64. Mos
  65. Mos
  66. Mos
  67. Mos
  68. Mos
  69. Mos
  70. Mos
  71. Mos
  72. Mos
  73. Mosses P. D.
  74. Mou
  75. Nic
  76. Nielson H. R.
  77. Pal
  78. Pal
  79. Plo
  80. Pow
  81. Rin
  82. Ru
  83. Sch
  84. Sch
  85. Slonneger K.
  86. Ste
  87. Sto
  88. Stärk R.
  89. Sym
  90. Tucker J. V.
  91. von Oheimb D.
  92. Wan
  93. Wansbrough K.
  94. Wat
  95. Yeu
  96. Yingzhou Zhang
  97. Zam
  98. {PDG1986} PL/I Definition Group
  99. Ørb
Publication date
Publisher
'Association for Computing Machinery (ACM)'
Doi

    Abstract

    Abstract is not available.

      Similar works

      Full text

      thumbnail-image

      Available Versions

      Crossref

      redirect
      Last time updated on 16/09/2020

      CORE (COnnecting REpositories) is a not-for-profit service hosted by The Open University supported by CORE Members.

      Product
      • Services
      • Membership
      • Sponsorship
      • Labs
      Organisation
      • About us
      • Governance
      • Team
      • Data providers
      Support
      • Terms
      • FAQs
      • Blog
      • Contact us
      Writing about CORE?

      Discover our research outputs and cite our work.

      Follow us:
      COREAccessibilityCookiesPrivacy