attribute closures

I. Anureev A Specification Language for Discrete Dynamic Systems Based on Ontologically Structured Knowledge // System Informatics. — . — # 29.  — P. 137-158
I. Anureev Operational semantics of C jump statements in ABML // System Informatics. — . — # 29.  — P. 159-188
E. Bodin I. Anureev Operational semantics of Rust expressions in ABML // System Informatics. — . — # 29.  — P. 189-216
Subscribe to attribute closures