Control flow analysis

Results: 217



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

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

Add to Reading List

Source URL: dacongy.github.io

Language: English - Date: 2017-06-27 01:04:15
2

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

Add to Reading List

Source URL: www.lana.lt

Language: English - Date: 2011-12-07 11:38:36
    3

    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

    Add to Reading List

    Source URL: www.lana.lt

    Language: English - Date: 2010-06-01 14:39:37
      4

      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.

      Add to Reading List

      Source URL: www.lana.lt

      Language: English - Date: 2010-09-17 07:34:24
        5

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

        Add to Reading List

        Source URL: repository.readscheme.org

        Language: English - Date: 2010-10-22 08:05:12
          6

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

          Add to Reading List

          Source URL: www.lana.lt

          Language: English - Date: 2011-02-25 07:33:49
            7

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

            Add to Reading List

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

            Language: English - Date: 2018-04-15 13:19:09
              8

              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

              Add to Reading List

              Source URL: www.lana.lt

              Language: English - Date: 2010-09-17 07:32:18
                9Lambda 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

                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

                Add to Reading List

                Source URL: matt.might.net

                Language: English - Date: 2014-12-27 17:19:23
                UPDATE