Correctly slicing extended finite state machines
Book chapter
Amtoft, T., Androutsopoulos, K. and Clark, D. 2020. Correctly slicing extended finite state machines. in: Di Pierro, A., Malacaria, P. and Nagarajan, R. (ed.) From lambda calculus to cybersecurity through program analysis: Essays dedicated to Chris Hankin on the occasion of his retirement Switzerland Springer. pp. 149-197
Chapter title | Correctly slicing extended finite state machines |
---|---|
Authors | Amtoft, T., Androutsopoulos, K. and Clark, D. |
Abstract | We consider slicing extended finite state machines. Extended finite state machines (EFSMs) combine a finite state machine with a store and can model a range of computational phenomena, from high-level software to cyber-physical systems. EFSMs are essentially interactive, possibly non-terminating or with multiple exit states and may be nondeterministic, so standard techniques for slicing, developed for control flow graphs of programs with a functional semantics, are not immediately applicable. |
Keywords | Optimization |
Page range | 149-197 |
Book title | From lambda calculus to cybersecurity through program analysis: Essays dedicated to Chris Hankin on the occasion of his retirement |
Editors | Di Pierro, A., Malacaria, P. and Nagarajan, R. |
Publisher | Springer |
Place of publication | Switzerland |
Series | Lecture Notes in Computer Science |
Theoretical Computer Science and General Issues | |
ISBN | |
Paperback | 9783030411022 |
Electronic | 9783030411039 |
ISSN | 0302-9743 |
Electronic | 1611-3349 |
Publication dates | |
Online | 15 Feb 2020 |
01 Jan 2020 | |
Publication process dates | |
Deposited | 09 Jun 2020 |
Accepted | 10 Dec 2019 |
Output status | Published |
Additional information | Part of the Lecture Notes in Computer Science book series (LNCS, volume 12065), also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 12065). |
Web address (URL) | https://link.springer.com/chapter/10.1007/978-3-030-41103-9_6 |
Digital Object Identifier (DOI) | https://doi.org/10.1007/978-3-030-41103-9_6 |
Scopus EID | 2-s2.0-85079643067 |
Related Output | |
Is part of | https://doi.org/10.1007/978-3-030-41103-9 |
Has metadata | http://www.scopus.com/inward/record.url?eid=2-s2.0-85079643067&partnerID=MN8TOARS |
Language | English |
https://repository.mdx.ac.uk/item/88z92
99
total views0
total downloads5
views this month0
downloads this month