6 citations · 12 across the 4 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.PL2010★ 5 cited
Reducing the Number of Annotations in a Verification-oriented Imperative Language
Guido de Caso, Diego Garbervetsky, Daniel Gorín
Automated software verification is a very active field of research which has made enormous progress both in theoretical and practical aspects. Recently, an important amount of rese…
cs.LO2010★ 1 cited
The Question of Expressiveness in the Generation of Referring Expressions
Carlos Areces, Santiago Figueira, Daniel Gorín
We study the problem of generating referring expressions modulo different notions of expressive power. We define the notion of $\+L$-referring expression, for a formal language $\+…