Software flow control - PDFSEARCH.IO - Document Search Engine

Software flow control
Results: 1051

#	Item
1	Extended Abstract Compiling Links Effect Handlers to the OCaml Backend Daniel Hillerstr¨om Sam Lindley Add to Reading List Source URL: kcsrk.info Language: English - Date: 2016-08-01 08:25:07 Software engineering Computer programming Computing Functional languages Control flow Software design patterns OCaml Monad Exception handling Type system Caml ML
2	Project 5 - The Meta-Circular Evaluator Add to Reading List Source URL: sicp.csail.mit.edu Language: English - Date: 2005-12-02 09:25:33 Software engineering Computer programming Computing Control flow Procedural programming languages Eval Scheme Anonymous function Infinite loop Assignment Conditional Meta-circular evaluator
3	Accepting Blame for Safe Tunneled Exceptions Yizhou Zhang∗ Guido Salvaneschi† Quinn Beightol∗ Barbara Liskov‡ Andrew C. Myers∗ Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2016-05-23 12:46:14 Software engineering Computer programming Computing Object-oriented programming languages Control flow Cross-platform software Concurrent programming languages Java Exception handling Iterator C++ Scala
4	Control-Flow Analysis Last time – Undergraduate compilers in a day Today – Control-flow analysis – Building basic blocks Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-09-14 09:54:15 Software engineering Compiler construction Computer programming Graph theory Mathematics Dominator Data-flow analysis Control flow Interval Control theory Infinite loop Graph
5	Static Analysis of Implicit Control Flow: Resolving Java Reflection and Android Intents (extended version) Technical report UW-CSEComputer Science & Engineering University of Washington Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2015-09-05 00:16:54 Software engineering Computing Computer programming Type theory Data types Object-oriented programming Concurrent programming languages Type system Scala Intent Type safety Java
6	Copyright ©2005 by the Society for Industrial and Applied Mathematics This electronic version is for personal use and may not be duplicated or distributed. Chapter 6 Operators and Flow Control 6.1. Relational and Logica Add to Reading List Source URL: www.siam.org Language: English - Date: 2006-10-27 15:07:47 Software Computing Numerical linear algebra Array programming languages Cross-platform software Mathematical software Numerical software Array programming MATLAB Matrix For loop Relational operator
7	User Defined Functions Table of contents 1 Introduction........................................................................................................................ 2 2 Writing Java UDFs....................... Add to Reading List Source URL: pig.apache.org Language: English - Date: 2016-06-08 16:05:33 Software engineering Computing Computer programming Object-oriented programming languages Concurrent programming languages Subroutines Control flow Cross-platform software User-defined function Eval Scala Java
8	Database-Backed Program Analysis for Scalable Error Propagation Cathrin Weiss Cindy Rubio-González Add to Reading List Source URL: web.cs.ucdavis.edu Language: English - Date: 2015-02-16 13:00:00 Software engineering Compiler optimizations Compiler construction Programming language theory Computing Data-flow analysis Control flow graph Variable Scope Static single assignment form Aliasing Program analysis
9	Control-Flow Analysis of Higher-Order Languages or Taming Lambda Olin Shivers May 1991 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-06-22 12:57:54 Software engineering Computing Computer programming Logic in computer science Programming language implementation Functional languages Compiler construction Programming languages Denotational semantics Compiler Lisp Semantics