A Formal Model of an Interpreter for Nonprocedural Languages.

Juan M. Lafuente

Published in: ICFPC (1981)

Keyphrases

formal model
expressive power
security properties
language independent
predicate calculus
programming language
production system
grammatical inference
formal models
multi lingual
language identification
case based reasoning
life cycle
cross lingual
security patterns