• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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