BI as an Assertion Language for Mutable Data Structures.

Samin S. Ishtiaq Peter W. O'Hearn

Published in: POPL (2001)

Keyphrases

data structure
language learning
programming language
computational linguistics
database
natural language
machine learning
decision making
multi agent
knowledge representation
business intelligence
modeling language
english language