Cláudio Vasconcelos

Publication Activity (10 Years)

Years Active: 2016-2017
Publications (10 Years): 3

Top Topics

Target Language

Computational Linguistics

Representation Language

Top Venues

Publications

Cláudio Vasconcelos, António Ravara
From object-oriented code with assertions to behavioural types. SAC (2017)
Cláudio Vasconcelos, António Ravara
Revision Proposal for the Mool Language. CoRR (2016)
Cláudio Vasconcelos, António Ravara
The While language. CoRR (2016)