Login / Signup

Equational reasoning about programs with general recursion and call-by-value semantics.

Garrin KimmellAaron StumpHarley D. Eades IIIPeng FuTim SheardStephanie WeirichChris CasinghinoVilhelm SjöbergNathan CollinsKi Yung Ahn
Published in: PLPV (2012)
Keyphrases
  • special case
  • formal semantics
  • neural network
  • data model
  • logic programming
  • semantic information
  • complex objects
  • stable models
  • fixpoint semantics