Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation Shuying Liang, Andrew W. Keep, Matthew Might, Steven Lyde, Thomas Gilray, and Petey Aldous University of Utah

Source URL: www.andykeep.com

arXiv:1409.3108v1 [cs.PL] 10 SepPruning, Pushdown Exception-Flow Analysis Shuying Liang Weibin Sun

Source URL: arxiv.org

• Formal languages
• Software engineering
• Cardinal number
• Model theory
• Structure
• String
• Garbage collection
• Exception handling
• Mathematics
• Computing
• Character encoding

Pushdown Flow Analysis of First-Class Control Dimitris Vardoulakis Olin Shivers Northeastern University

Source URL: www.ccs.neu.edu

• Control flow
• Models of computation
• Subroutines
• Recursion
• Scheme programming language
• Tail call
• Stack
• Data-flow analysis
• State
• Software engineering
• Computer programming
• Computing

The Halting Problems of Network Stack Insecurity Le n S a s s a m a n , M e r e d i t h L . P a t t e r s o n , Se r g e y B r a t u s , and Anna Shubina Len Sassaman was a PhD

Source URL: static.usenix.org

• Computability theory
• Models of computation
• Turing machine
• Theory of computation
• Turing completeness
• Halting problem
• Universal Turing machine
• Parsing
• Deterministic pushdown automaton
• Theoretical computer science
• Computer science
• Applied mathematics

PDF Document

Source URL: www-igm.univ-mlv.fr

• Nested word
• Words
• Pushdown automaton
• Context-free language
• Symbol
• Finite-state machine
• Mathematics
• Linguistics
• Computing
• Automata theory
• Models of computation
• Formal languages

JFLAP2TikZ Andrew Mertz and William Slough Introduction JFLAP1 is a popular Java program for experimenting with finite state machines, Turing machines and other concepts from Formal Languages and Automata Theory. Version

Source URL: ctan.sciserv.eu

• Theoretical computer science
• Computer science
• PGF/TikZ
• Turing machine
• Finite-state machine
• Pushdown automaton
• Models of computation
• Theory of computation
• Automata theory

Ramsey Goes Visibly Pushdown Oliver Friedmann1 , Felix Klaedtke2 , and Martin Lange3 1 LMU Munich, 2 ETH Zurich, and 3 University of Kassel

Source URL: files.oliverfriedmann.de

• Nested word
• Deterministic pushdown automaton
• Pushdown automaton
• Connection
• Complementation of Büchi automaton
• Automata theory
• Theoretical computer science
• Computer science

Notes on Counting with Finite Machines Dmitry Chistikov Max Planck Institute for Software Systems (MPI-SWS) Kaiserslautern and Saarbrücken, Germany

Source URL: drops.dagstuhl.de

• Theoretical computer science
• Computer science
• Nested word
• Pushdown automaton
• Deterministic pushdown automaton
• Turing machine
• Nondeterministic finite automaton
• SC
• Deterministic finite automaton
• Automata theory
• Theory of computation
• Models of computation

A Study of Pushdown Games Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften genehmigte Dissertat

Source URL: darwin.bth.rwth-aachen.de

• Automata theory
• Nested word
• Words

On system rollback and totalised fields An algebraic approach to system change Mark Burgess and Alva Couch 20th June 2011 This paper is dedicated to Jan Bergstra on the occasion of his 60th birthday.

Source URL: markburgess.org

• Finite-state machine
• Computing
• Mathematics
• Deterministic pushdown automaton
• Automata theory
• Models of computation
• Nondeterministic finite automaton