Bell Laboratories / RELATION TO PUSHDOWN AND CONTEXT-FREE SYSTEMS / ACM Inc. / Lucent Technologies / /
Country
United States / /
Currency
USD / / /
Facility
Computer Science Building / Columbia University / University of Pennsylvania / University of Edinburgh / Recursive State Machines RAJEEV ALUR University of Pennsylvania MICHAEL BENEDIKT Bell Laboratories KOUSHA ETESSAMI University of Edinburgh PATRICE GODEFROID Bell Laboratories THOMAS REPS University of Wisconsin / University of Wisconsin-Madison / / /
IndustryTerm
pushdown systems / context-free systems / natural language processing community / cubic algorithms / labeled transition systems / recursive transition networks / prior automata-theoretic solutions / search algorithms / /
OperatingSystem
Xp / /
Organization
PDS P / Columbia University / Laboratory for Foundations of Computer Science / National Science Foundation / Department of Computer and Information Science / Department of Computer Science / University of Pennsylvania / University of Edinburgh / Reserve Bank of Australia / SRC / University of Wisconsin / Computer Science Department / /
Person
MICHAEL BENEDIKT / PATRICE GODEFROID / Ai / / /
Position
King / mutually dependent forward / model control flow / Programs General / /
ProgrammingLanguage
Datalog / /
ProvinceOrState
Wisconsin / Pennsylvania / Illinois / New York / /
Technology
natural language processing / finite state machine / search algorithms / generally cubic algorithms / /
Analysis of Recursive State Machines RAJEEV ALUR University of Pennsylvania MICHAEL BENEDIKT Bell Laboratories KOUSHA ETESSAMI