Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Semantics-based tool generation"'
The effectiveness of a type checking tool strongly depends on the accuracy of the positional information that is associated with type errors. We present an approach where the location associated with an error message e is defined as a slice P_e of th
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dris___00893::b75ed6eb77df63ebacdbf7bd2bb013d9
https://ir.cwi.nl/pub/14660
https://ir.cwi.nl/pub/14660
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.