Static Control-Flow Analysis of User-Driven Callbacks in Android Applications Shengqian Yang, Dacong Yan, Haowei Wu, Yan Wang, and Atanas Rountev Ohio State University Email: {yangs,yan,wuhaow,wang10,rountev}@cse.ohio-st

Source URL: dacongy.github.io

• Software engineering
• Subroutines
• Computing
• Computer programming
• Programming paradigms
• Callback
• Network flow problem
• Event
• Data-flow analysis
• Control flow analysis
• Flow network
• Control flow graph

Nonlinear Analysis: Modelling and Control, 2011, Vol. 16, No. 4, 477–Analytical solution of MHD free convective flow of couple stress fluid in an annulus with Hall and Ion-slip effects

Source URL: www.lana.lt

Nonlinear Analysis: Modelling and Control, 2010, Vol. 15, No. 2, 155–158 A note on “Taylor–Couette flow of a generalized second grade fluid due to a constant couple” C. Fetecau1 , A.U. Awan2 , M. Athar2 1

Source URL: www.lana.lt

Nonlinear Analysis: Modelling and Control, 2010, Vol. 15, No. 3, 341–350 A semi-analytical solution of micro polar flow in a porous channel with mass injection by using differential transform method M.M. Rashidi1 , S.

Source URL: www.lana.lt

Control-Flow Analysis of Higher-Order Languages or Taming Lambda Olin Shivers May 1991

Source URL: repository.readscheme.org

Nonlinear Analysis: Modelling and Control, 2011, Vol. 16, No. 1, 17–On hydromagnetic flow due to a rotating disk with radiation effects

Source URL: www.lana.lt

Type- and Control-Flow Analysis Matthew Fluet Department of Computer Science Rochester Institute of Technolgy

Source URL: proglang.informatik.uni-freiburg.de

Nonlinear Analysis: Modelling and Control, 2010, Vol. 15, No. 3, 287–298 Effects of pressure work on natural convection flow around a sphere with radiation heat loss T. Akhter1 , M.A. Alim2 1

Source URL: www.lana.lt

Control-Flow Analysis with SAT Solvers Steven Lyde, Matthew Might University of Utah, Salt Lake City, Utah, USA Abstract. Control-flow analyses statically determine the control-flow of programs. This is a nontrivial prob

Source URL: matt.might.net

• Lambda calculus
• Software engineering
• Declarative programming
• Theoretical computer science
• Church encoding
• Continuation-passing style
• Lambda
• Boolean satisfiability problem
• Anonymous function
• Control flow analysis
• Deductive lambda calculus