Open AccessTranslation validation of a pattern-matching compiler
Author(s) -
Francesco Mecca,
Gabriel Scherer
Publication year - 2020
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - compiler , computer science , translation (biology) , programming language , pattern matching , matching (statistics) , artificial intelligence , natural language processing , statistics , mathematics , chemistry , biochemistry , messenger rna , gene