Proving the correctness of unfold/fold program transformations using bisimulation

Geoff W. Hamilton*, Neil Jones

*Corresponding author af dette arbejde
2 Citationer (Scopus)

Fingeraftryk

Dyk ned i forskningsemnerne om 'Proving the correctness of unfold/fold program transformations using bisimulation'. Sammen danner de et unikt fingeraftryk.