Algebraic Modelling of Imperative Languages with Pointers.

Alexandre V. Zamulin

Published in: Formal Methods in Programming and Their Applications (1993)

Keyphrases

expressive power
language independent
databases
cross lingual
probabilistic model
text summarization
description languages
information systems
website
higher order
grammatical inference
multi lingual
multilingual information retrieval
transactional memory