"Type inference and type checking for queries on execution traces."

Daniel Deutch, Tova Milo (2008)

Details and statistics

DOI: 10.14778/1453856.1453898

access: open

type: Journal Article

metadata version: 2020-04-25