Login / Signup

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