Skip to content

Instantly share code, notes, and snippets.

Avatar
😔

contrast-zone

😔
View GitHub Profile
@contrast-zone
contrast-zone / exp-log.md
Last active Dec 29, 2020
Computational system implementing expression logic
View exp-log.md
// under construction //

expression logic

[Abstract]

Languages can be seen as streams of symbols used to carry on, process, and exchange informations. Expression logic is also a language, but it is a general kind of metalanguage capable of describing and hosting any other language. Expression logic is also able to perform any intermediate data processing that hosted languages are supposed to perform. Being a general kind of metalanguage, expression logic represents all of the following:

  • Expression recognizer and generator
  • SMT solver