9 research outputs found
Tree-oriented interactive processing with an application to theorem-proving, appendix E
The concept of unstructured structure editing and ted, an editor for unstructured trees, is described. Ted is used to manipulate hierarchies of information in an unrestricted manner. The tool was implemented and applied to the problem of organizing formal proofs. As a proof management tool, it maintains the validity of a proof and its constituent lemmas independently from the methods used to validate the proof. It includes an adaptable interface which may be used to invoke theorem provers and other aids to proof construction. Using ted, a user may construct, maintain, and verify formal proofs using a variety of theorem provers, proof checkers, and formatters
Manual pages for SAGA software tools, appendix H
Several pages from the SAGA UNIX programmer's manual are presented. These pages are for SAGA software tools
SAGA: A project to automate the management of software production systems
The SAGA system is a software environment that is designed to support most of the software development activities that occur in a software lifecycle. The system can be configured to support specific software development applications using given programming languages, tools, and methodologies. Meta-tools are provided to ease configuration. The SAGA system consists of a small number of software components that are adapted by the meta-tools into specific tools for use in the software development application. The modules are design so that the meta-tools can construct an environment which is both integrated and flexible. The SAGA project is documented in several papers which are presented
Treemacs: An extensible tree editor
Treemacs is a general purpose editor for trees. Although numerous editors for trees exist, they are not general purpose in the sense that they do not allow editing trees for a broad range of applications. The kinds of applications that a general purpose tree editor can support include: proof trees, document trees, transformation trees, outlines, abstract syntax trees, and high-level program development trees.A general purpose tree editor must include the following features. (1) It must not be restricted to applications where the trees are defined by formal grammar. (2) On the other hand, it must be able to check and/or enforce structural constraints on trees. (3) It must allow for varying the representation of trees both within and between applications. (4) It must be extensible and customizable. (5) It must be possible to vary the time(s) at which structure constraints are checked: continually (i.e. at each tree modification), by user command, or something in between.Treemacs provides these features by building upon the extensible text editor Emacs and extending it with a tree data type and a customizable, extensible tree display algorithm. A number of applications have been written including one for editing abstract syntax trees. This is a difficult application from various points of view and has the particular advantage that it allows for "head-to-head" comparisons with grammar based editors.U of I OnlyETDs are only available to UIUC Users without author permissio
TED: A tree editor with applications for theorem proving
As an aid to constructing, modifying, and maintaining formal proofs - proof management system has been developed. This system is based on a general purpose tree editor and includes interfaces to various theorem provers and other tools to facilitate proof management. This thesis describes the tree editor and its use in the theorem proving application as well as other applications.NASA grant NAG 1-138U of I OnlyRestricted to the U of I community indenfinitely during batch ingest of legacy ETDs
TED: A tree editor with applications for theorem proving
As an aid to constructing, modifying, and maintaining formal proofs - proof management system has been developed. This system is based on a general purpose tree editor and includes interfaces to various theorem provers and other tools to facilitate proof management. This thesis describes the tree editor and its use in the theorem proving application as well as other applications.NASA grant NAG 1-138U of I OnlyRestricted to the U of I community indenfinitely during batch ingest of legacy ETDs
Recommended from our members
Impact of the Communities That HEAL Intervention on Buprenorphine-Waivered Practitioners and Buprenorphine Prescribing: A Prespecified Secondary Analysis of the HCS Randomized Clinical Trial
Buprenorphine significantly reduces opioid-related overdose mortality. From 2002 to 2022, the Drug Addiction Treatment Act of 2000 (DATA 2000) required qualified practitioners to receive a waiver from the Drug Enforcement Agency to prescribe buprenorphine for treatment of opioid use disorder. During this period, waiver uptake among practitioners was modest; subsequent changes need to be examined.
To determine whether the Communities That HEAL (CTH) intervention increased the rate of practitioners with DATA 2000 waivers and buprenorphine prescribing.
This prespecified secondary analysis of the HEALing Communities Study, a multisite, 2-arm, parallel, community-level, cluster randomized, open, wait-list-controlled comparison clinical trial was designed to assess the effectiveness of the CTH intervention and was conducted between January 1, 2020, to December 31, 2023, in 67 communities in Kentucky, Massachusetts, New York, and Ohio, accounting for approximately 8.2 million adults. The participants in this trial were communities consisting of counties (n = 48) and municipalities (n = 19). Trial arm randomization was conducted using a covariate constrained randomization procedure stratified by state. Each state was balanced by community characteristics including urban/rural classification, fatal opioid overdose rate, and community population. Thirty-four communities were randomized to the intervention and 33 to wait-list control arms. Data analysis was conducted between March 20 and September 29, 2023, with a focus on the comparison period from July 1, 2021, to June 30, 2022.
Waiver trainings and other educational trainings were offered or supported by the HEALing Communities Study research sites in each state to help build practitioner capacity.
The rate of practitioners with a DATA 2000 waiver (overall, and stratified by 30-, 100-, and 275-patient limits) per 100 000 adult residents aged 18 years or older during July 1, 2021, to June 30, 2022, were compared between the intervention and wait-list control communities. The rate of buprenorphine prescribing among those waivered practitioners was also compared between the intervention and wait-list control communities. Intention-to-treat and per-protocol analyses were performed.
A total of 8 166 963 individuals aged 18 years or older were residents of the 67 communities studied. There was no evidence of an effect of the CTH intervention on the adjusted rate of practitioners with a DATA 2000 waiver (adjusted relative rate [ARR], 1.04; 95% CI, 0.94-1.14) or the adjusted rate of practitioners with a DATA 2000 waiver who actively prescribed buprenorphine (ARR, 0.97; 95% CI, 0.86-1.10).
In this randomized clinical trial, the CTH intervention was not associated with increases in the rate of practitioners with a DATA 2000 waiver or buprenorphine prescribing among those waivered practitioners. Supporting practitioners to prescribe buprenorphine remains a critical yet challenging step in the continuum of care to treat opioid use disorder.
ClinicalTrials.gov Identifier: NCT04111939