Results 41 to 50 of about 34,628,233 (409)
Program Analysis (an Appetizer)
CoRR, 2020 This book is an introduction to program analysis that is meant to be considerably more elementary than our advanced book Principles of Program Analysis (Springer, 2005). Rather than using flow charts as the model of programs, the book follows our introductory book Formal Methods an Appetizer (Springer, 2019) using program graphs as the model of ...
Flemming Nielson, Hanne Riis Nielson
openaire +2 more sources
Refactoring Sequential Java Code for Concurrency via Concurrent Libraries [PDF]
, 2008 Parallelizing existing sequential programs to run efficiently on multicores is hard. The Java 5 packagejava.util.concurrent (j.u.c.) supports writing concurrent programs: much of the complexity of writing threads-safe and scalable programs is hidden in ...
John Marrero +5 more
core +1 more source
European Journal for Research on the Education and Learning of Adults, 2018 The paper analyses mainly non-vocational courses offered by a sample of 47 out of the approximately 900 public adult education centres (Volkshochschule - VHS) in Germany.
Bernd Käpplinger
doaj +1 more source
The Agricultural Policy Analysis Program Area: A Descriptive Overview [PDF]
Excerpts from the Introduction: The Agricultural Policy Analysis (APA) Program Area provides analytical support for agencies of the executive and legislative branches of Government and conducts a broad program of definitive research on policies ...
Agricultural Policy Program Analysis Program Area, Commodity Economics Division
core +1 more source
Exact Boolean Abstraction of Linear Equation Systems
Computation, 2021 We study the problem of how to compute the boolean abstraction of the solution set of a linear equation system over the positive reals. We call a linear equation system ϕ exact for the boolean abstraction if the abstract interpretation of ϕ over the ...
Emilie Allart +2 more
doaj +1 more source
Current Work in Energy Analysis (Energy Analysis Program -1996 Annual Report)
, 1998 This report describes the work that Environmental Energy Technologies Division of Lawrence Berkeley National Laboratory has been doing most recently. One of our proudest accomplishments is the publication of Scenarios of U.S.
Energy Analysis Program
core +1 more source
SoftwareThe advent of blockchain technology has revolutionized various sectors by providing transparency, immutability, and automation. Central to this revolution are smart contracts, which facilitate trustless and automated transactions across diverse domains ...
Xiaolei Ren, Qiping Wei
doaj +1 more source
Analysis of structured programs
Journal of Computer and System Sciences, 1973 We compare the structural complexity of various classes of structured programs. To achieve this we concentrate on a notion called “reducibility”. Loosely speaking, given two classes of programs C1 and C2, we say that C1 is reducible to C2 (C1≤wC2) if and only if for every program P in C1, there is a program in C2 that computes the same function as P ...
openaire +2 more sources
Higher-order Demand-driven Program Analysis
ACM Transactions on Programming Languages and Systems, 2019 Developing accurate and efficient program analyses for languages with higher-order functions is known to be difficult. Here we define a new higher-order program analysis, Demand-Driven Program Analysis (DDPA), which extends well-known demand-driven ...
Leandro Facchinetti +2 more
semanticscholar +1 more source
Pediatric Blood &Cancer, EarlyView.ABSTRACT Primary lung carcinomas and bronchial carcinoid tumors (BC) are very rare malignancies in childhood. While typical BC and mucoepidermoid carcinomas are mostly low‐grade, localized tumors with a more favorable prognosis than in adults, necessitating avoidance of overtreatment, adenocarcinomas of the lung are often diagnosed at advanced disease ...
Michael Abele +19 more
wiley +1 more source