Pilot to Program: Demand-Driven E-Books at the Orbis-Cascade Consortium, 1 Year Later
نویسندگان
چکیده
منابع مشابه
Accelerated second-degree program evaluation at graduation and 1 year later.
For an individual with a prior bachelor's degree, the accelerated second-degree program offers the quickest route to becoming a registered nurse. But does this quick route lead to satisfaction with the educational experience and perceived effectiveness of preparation to be a professional nurse? The author reports the findings of a study of student satisfaction with an accelerated program of stu...
متن کاملDemand-Driven Path-Sensitive Program Slicing
Program slicing is a technique to extract relevant parts of a program, and it is widely used in program debugging, parallelization, testing, reverse engineering, etc. This paper concerns static slicing and it follows the Weiser’s definition of slicing that consists of computing what statements of the program might affect the value of some particular variable at a specified program point. We arg...
متن کاملHigher-Order Demand-Driven Program Analysis
We explore a novel approach to higher-order program analysis that brings ideas of on-demand lookup from first-order CFL-reachability program analyses to higher-order programs. The analysis needs to produce only a control-flow graph; it can derive all other information including values of variables directly from the graph. Several challenges had to be overcome, including how to build the control...
متن کاملHigher-Order Demand-Driven Program Analysis (Artifact)
This artifact is a proof-of-concept implementation of DDPA, an on-demand program analysis for higherorder functional programs. The implementation, written in OCaml, includes a parser, evaluator, and DDPA analysis for the language defined in the companion paper (including the proper record semantics extension). The analysis may be performed using different levels of precision as specified by the...
متن کاملGalen On Anatomical Procedures; The Later Books
For centuries, only the first eight books and part of the ninth of Galen's De Anatomicis Administrationibus have been available, the most recent edition having been published by the Wellcome Historical Medical Museum in 1956 as translated by Charles Singer into English from Greek. No Greek manuscript of the last part of book nine and books ten through fifteen is known, but the Bodleian Library ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Against the Grain
سال: 2012
ISSN: 2380-176X
DOI: 10.7771/2380-176x.6312