Sciweavers

21 search results - page 5 / 5
» A Description of Morphological Features of Serbian: a Revisi...
Sort
View
PEPM
2009
ACM
14 years 1 months ago
Bidirectional data-flow analyses, type-systematically
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
Maria João Frade, Ando Saabas, Tarmo Uustal...