Sciweavers

3 search results - page 1 / 1
» Detecting Erroneous Uses of Complex Postpositions in an Aggl...
Sort
View
77
Voted
COLING
2008
15 years 1 months ago
Detecting Erroneous Uses of Complex Postpositions in an Agglutinative Language
This work presents the development of a system that detects incorrect uses of complex postpositions in Basque, an agglutinative language. Error detection in complex postpositions ...
Arantza Díaz de Ilarraza Sánchez, Ko...
ECOOP
2010
Springer
15 years 3 months ago
Contract-Based Data Structure Repair Using Alloy
Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifica...
Razieh Nokhbeh Zaeem, Sarfraz Khurshid
PLDI
2010
ACM
15 years 4 months ago
Adversarial memory for detecting destructive races
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...
Cormac Flanagan, Stephen N. Freund