Termination analysis of programs with multiphase control-flow

  1. Domenech, J.J.
  2. Genaim, S.
Aktak:
Electronic Proceedings in Theoretical Computer Science, EPTCS

ISSN: 2075-2180

Argitalpen urtea: 2021

Alea: 344

Orrialdeak: 13-21

Mota: Biltzar ekarpena

DOI: 10.4204/EPTCS.344.2 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus