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

More precise construction of static single assignment programs using reaching definitions.

Abu Naser MasudFederico Ciccozzi
Published in: J. Syst. Softw. (2020)
Keyphrases
  • databases
  • digital libraries
  • multiscale
  • special case
  • logic programs
  • java programs