Micro application: Queue language

cuplv / iodyn.rust

Collections Library for Adapton, in Rust

13 stars 0 forks source link

Open matthewhammer opened 7 years ago

matthewhammer commented 7 years ago

Version 1: One master queue

e ::= push v | pop

Version 2: Multi-queue system

e ::= push i v | pop i | move i j
i, j ::= 1 | 2 | 3 | ...