glossaries.tex

   1 % Acronyms
   2 \newacronym{ADT}{ADT}{algebraic data type}
   3 \newacronym{DSL}{DSL}{domain-specific language}
   4 \newacronym{EDSL}{eDSL}{embedded \acrshort{DSL}}
   5 \newacronym{GADT}{GADT}{generalised \acrshort{ADT}}
   6 \newacronym{GHC}{GHC}{Glasgow Haskell Compiler}
   7 \newacronym{GPL}{GPL}{general-purpose language}
   8 \newacronym{FP}{FP}{functional programming}
   9 \newacronym{GRS}{GRS}{graph rewriting system}
  10 \newacronym{GUI}{GUI}{graphical \acrlong{UI}}
  11 \newacronym{IOT}{IoT}{internet of things}
  12 \newacronym{LEAN}{LEAN}{language of East-Anglia and Nijmegen}
  13 \newacronym{TOP}{TOP}{task-oriented programming}
  14 \newacronym{TOSD}{TOSD}{task-oriented software development}
  15 \newacronym{TRS}{TRS}{term rewriting system}
  16 \newacronym{RFID}{RFID}{radio-frequency identification}
  17 \newacronym{SN}{SN}{sensor network}
  18 \newacronym{BLE}{BLE}{Bluetooth low energy}
  19 \newacronym{API}{API}{application programming interface}
  20 \newacronym{OS}{OS}{operating system}
  21 \newacronym{RTOS}{RTOS}{real-time \acrshort{OS}}
  22 \newacronym{OTA}{OTA}{over-the-air}
  23 \newacronym{MCU}{MCU}{microcontroller unit}
  24 \newacronym{UI}{UI}{user interface}
  25 \newacronym{UOD}{UoD}{universe of discourse}
  26 \newacronym{SDS}{SDS}{shared data source}
  27
  28 % Glossaries
  29 \newglossaryentry{MTASK}{%
  30         name=mTask,
  31         description={is a \acrshort{TOP} \acrshort{EDSL} for microcontrollers integrated with the \gls{ITASK} system.},
  32 }
  33 \newglossaryentry{ITASK}{%
  34         name=iTask,
  35         description={is a \acrshort{TOP} \acrshort{EDSL} for creating distributed multi-user collaborative web applications.},
  36 }
  37 \newglossaryentry{CLEAN}{%
  38         name=Clean,
  39         description={Clean \acrlong{LEAN}, a pure lazy functional programming language based on graph rewriting}
  40 }
  41 \newglossaryentry{HASKELL}{%
  42         name=Haskell,
  43         description={is a pure lazy functional programming language designed by a committe as a concept language}
  44 }
  45 \newglossaryentry{HASKELL98}{%
  46         name=Haskell98,
  47         description={is a standardised version of \gls{HASKELL}}
  48 }