|
|
|
|
|
|
by UncleEntity
2629 days ago
|
|
|
...in a manner that is more efficient than simply interpreting the program source code. By which I guess you mean abstract interpretation[0]? Not specifically the linked to RATA system but using it for type checking in general. Haven't read the thesis yet but am kind of interested in the subject matter so will check it out in the morning over coffee. [0] https://link.springer.com/chapter/10.1007%2F978-3-642-11970-... |
|
|