A Tail-Recursive Semantics for Stack Inspections.

John Clements Matthias Felleisen

Published in: ESOP (2003)

Keyphrases

formal semantics
active learning
semantic information
recursive algorithm
extreme value theory
database
data sets
knowledge base
website
high level
knowledge representation
logic programming
logical language
argumentation semantics