Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Static semantics specification"'
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
