Description: Behaviour type inference for a Java like object-oriented language.
Developed at: NOVA
Contacts: aravara@fct.unl.pt
Available at: http://usinfer.sourceforge.net/
Description: Behaviour type inference for a Java like object-oriented language.
Developed at: NOVA
Contacts: aravara@fct.unl.pt
Available at: http://usinfer.sourceforge.net/