Results 21 to 30 of about 9,895,757 (306)
IEEE Access, 2020 Tree comparison is an important method in various areas. In order to compare class hierarchy in object-oriented languages, there is a need to compare trees in the context of the hierarchy changes.
Danijel Mlinaric +2 more
doaj +1 more source
Re_Trans: Combined Retrieval and Transformer Model for Source Code Summarization
Entropy, 2022 Source code summarization (SCS) is a natural language description of source code functionality. It can help developers understand programs and maintain software efficiently.
Chunyan Zhang +5 more
doaj +1 more source
Algebraic Program Analysis [PDF]
, 2021 AbstractThis paper is a tutorial on algebraic program analysis. It explains the foundations of algebraic program analysis, its strengths and limitations, and gives examples of algebraic program analyses for numerical invariant generation and termination analysis.
Zachary Kincaid +2 more
openaire +1 more source
Probabilistic Program Analysis
, 2017 This paper provides a survey of recent work on adapting techniques for program analysis to compute probabilistic characterizations of program behavior. We survey how the frameworks of data flow analysis and symbolic execution have incorporated information about input probability distributions to quantify the likelihood of properties of program states ...
Dwyer, MB +5 more
openaire +2 more sources
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
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
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
Pediatric Blood &Cancer, EarlyView.ABSTRACT Pediatric gastroenteropancreatic neuroendocrine neoplasms (GEP‐NENs) are extremely rare and clinically heterogeneous. Management has largely been extrapolated from adult practice. This European Standard Clinical Practice Guideline (ESCP), developed by the EXPeRT network in collaboration with adult NEN experts, provides (adult) evidence ...
Michaela Kuhlen +23 more
wiley +1 more source
Program analysis of probabilistic programs
, 2022 Probabilistic programming is a growing area that strives to make statistical analysis more accessible, by separating probabilistic modelling from probabilistic inference. In practice this decoupling is difficult. The performance of inference methods is sensitive to both the underlying model and the observed data.
openaire +5 more sources
Pediatric Blood &Cancer, EarlyView.ABSTRACT Background Oral mucositis is a common and debilitating side effect of childhood cancer and stem cell transplant treatments. It affects the quality of life of children and young people (CYP) and places a strain on services. Photobiomodulation is recommended for oral mucositis prevention in international guidance but is poorly implemented in UK ...
Claudia Heggie +4 more
wiley +1 more source