Compiling polychronous programs into conditional partial orders for ASIP synthesis.

Mahesh Nanjundappa Sandeep K. Shukla

Published in: FormaliSE (2014)

Keyphrases

partial order
partially ordered
functional programs
total order
default reasoning
stable marriage
computer programs
lattice structure
partial ordering
preference relations
conditional probabilities