Login / Signup
Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages.
Frank S. de Boer
Einar Broch Johnsen
Rudolf Schlatte
Silvia Lizeth Tapia Tarifa
Lars Tveito
Published in:
Gabbrielli's Festschrift (2020)
Keyphrases
</>
partial order reduction
model checking
petri net
expressive power
language independent
databases
cross lingual
arabic language
query answering
object oriented
natural language processing
fixed point
statistical machine translation
multi lingual
object oriented languages
control center