Unrestricted and Disjoint Operations over Multi-stack Visibly Pushdown Languages.

Stefan D. Bruda Tawhid Bin Waez

Published in: ICSOFT (2) (2011)

Keyphrases

model checking
expressive power
language constructs
real time
genetic algorithm
data structure
machine translation
cross lingual
language independent
target language
multi lingual
type checking