History - Register
نویسنده
چکیده
Programs with dynamic allocation are able to create and use an unbounded number of fresh resources, such as references, objects, files, etc. We propose History-Register Automata (HRA), a new automata-theoretic formalism for modelling such programs. HRAs extend the expressiveness of previous approaches and bring us to the limits of decidability for reachability checks. The distinctive feature of our machines is their use of unbounded memory sets (histories) where input symbols can be selectively stored and compared with symbols to follow. In addition, stored symbols can be consumed or deleted by reset. We show that the combination of consumption and reset capabilities renders the automata powerful enough to imitate counter machines, and yields closure under all regular operations apart from complementation. We moreover examine weaker notions of HRAs which strike different balances between expressiveness and effectiveness.
منابع مشابه
Research Report from EpC
____________________________________________________7 History _____________________________________________________8 Method for the evaluation of register quality ______________________10 Results_____________________________________________________11 Missing records ________________________________________________11 Analysis of register variables _____________________________________11 Pregnanc...
متن کاملHistorical Perspective and Further Reading
Th is section surveys the history of instruction set architectures over time, and we give a short history of programming languages and compilers. ISAs include accumulator architectures, general-purpose register architectures, stack architectures, and a brief history of ARM and the x86. We also review the controversial subjects of high-level-language computer architectures and reduced instructio...
متن کاملFamily history of venous thromboembolism is a risk factor for venous thromboembolism in combined oral contraceptive users: a nationwide case-control study
BACKGROUND The aim was to assess the risk of venous thromboembolism (VTE) associated with use of combined oral contraceptives (COCs) in women with a family history of VTE. METHODS The study is a Swedish nationwide case-control study based on the Multigeneration register, the Swedish Hospital Discharge Register, the Outpatient Care Register, and the Swedish Prescribed Drug Register. Cases (n =...
متن کاملThe Efficacy of an SFL-Oriented Register Instruction in Improving Iranian EFL Learners’ Writing Performance and Perception: Language Proficiency in Focus
The current study sought to explore the impact of SFL-oriented register instruction on Iranian EFL learner’ writing performance with a central focus on their English proficiency level. As its secondary aim, the study delved deeply into the learners’ perception of the register-based instruction. To these ends, 50 intermediate and 50 advanced Iranian EFL learners were selected randomly and assign...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2018