Notazione per la semantica operativi che possono essere utilizzati in commenti del codice

Question

Sono la definizione di un linguaggio intermedio per un generatore di codice multi-backend che sto scrivendo. Voglio documentare la semantica operativa per questa lingua intermedia in un modo che sia leggibile sia dall'interno del codice sorgente e la documentazione prodotta (ocamldoc). La notazione introdotta usato in "Tipi e Programmazione" linguaggi è grande per un libro, ma non voglio cercare di fare il presupposto sopra notazione di stile conclusione attraverso l'arte ASCII.

C'è una notazione ampiamente riconosciuto per la semantica operativa che non richiede caratteri non ASCII? Ho guardato attraverso vari RFC, ma non riesco a trovare alcun che utilizzano un modo di lingua non naturale di specificare la semantica.

Answer 1

Il formato di input per lo strumento OTT si basa su ASCII e le regole aspetto molto come sistema di tipo / operative regole semantica. Forse si potrebbe utilizzare tale formato. Sono sicuro che il parser per il formato di input è disponibile come open source.