Resource-aware program analysis using observation sequences
Author(s) -
Peizun Liu
Publication year - 2019
Language(s) - Uncategorized
Resource type - Dissertations/theses
DOI - 10.17760/d20328155
Subject(s) - undecidable problem , parameterized complexity , computer science , resource (disambiguation) , context (archaeology) , theoretical computer science , sequence (biology) , thread (computing) , parametric statistics , programming language , algorithm , mathematics , computer network , paleontology , statistics , genetics , decidability , biology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom