Aigaion statistics

• 178 publications (0 read)
• 52 authors
• 6 main topics

• About this bibliography [0]
• Language [56]
• • Programming [18]
  • • Algol60 [1]
    • Concurrent ML [3]
    • Prolog [2]
    • Standard ML [1]
  • Specification [39]
  • • Algebraic [33]
    • • ASF+SDF [8]
      • CASL [11]
      • OBJ [3]
      • Unified [5]
    • Higher-Order [5]
    • Rewriting Logic [4]
    • • Cafe-OBJ [1]
      • Maude [2]
    • Set-Theoretic [5]
• Meta-language [79]
• • Semantics [77]
  • • Action [38]
    • Algebraic [5]
    • Component-Based [11]
    • Denotational [15]
    • • Monadic [3]
      • VDM [2]
    • Dynamic [8]
    • Modular [21]
    • Operational [32]
    • • Structural [29]
    • Static [0]
  • Syntax [5]
  • • Abstract [4]
• Theory [4]
• • Automata [2]
  • Term rewriting [2]
  • Verification [2]
• Tool [13]
• • Environment [7]
  • Generator [8]