Login / Signup

Compositional Model Extraction for Higher-Order Concurrent Programs.

Dan R. GhicaAndrzej S. Murawski
Published in: TACAS (2006)
Keyphrases
  • higher order
  • probabilistic model
  • high level
  • high order
  • production rules