Pushdown Control-Flow Analysis for Free

ACM SIGPLAN Notices - United States
doi 10.1145/2914770.2837631
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Diagnostic Information for Control-Flow Analysis of Workflow Graphs (a.k.a. Free-Choice Workflow Nets)

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

Reachability Analysis of Communicating Pushdown Systems

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Optimal Control of Free Shear Flow Noise

2002English

Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata

IFAC Proceedings Volumes
2014English

Dependency Analysis for Control Flow Cycles in Reactive Communicating Processes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Flow Control of Orifice Free Jet by Nozzle Plate Thickness

Nihon Kikai Gakkai Ronbunshu, B Hen/Transactions of the Japan Society of Mechanical Engineers, Part B
Condensed Matter PhysicsMechanical Engineering
2008English

Visibly Pushdown Languages

2004English

Performance Analysis of Feedback Synchronization for Multicast ABR Flow Control

English

Improving Pushdown System Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy