Ui.adsabs.harvard.edu

Sound Regular Corecursion in coFJ - ADS

Sound Regular Corecursion in coFJ - ADS

We describe coFJ, a Java-like calculus where objects can be infinite and methods are equipped with a codefinition (an alternative body).

Domein: ui.adsabs.harvard.edu Bekijk meer