We present a specification, a derivation and total correctness proofs of operations for bi-functional graphs implemented with pointers, including the Schorr-Waite algorithm. This one marks such a graph with an economical depth-first strategy. Our approach is purely algebraic and functional, from a simple graph specification to the simulation of a tailrecursive imperative program, then to a true...

We describe state-of-the-practice results in integrating a program transformation approach to a program development environment. We propose a formalisation for a speciic kind of programming knowledge, the programming techniques. Our proposal employs program schemata, generic descriptions of programs addressing portions of predicate deenitions in an economical manner, allowing important features...

Outpatient care, including outpatient parenteral antimicrobial therapy (OPAT), is increasingly seen by both clinicians and insurers as a safe, effective, and economical adjunct or alternative to hospitalization. Despite this, perhaps the least understood reimbursement and regulatory policies for health care services are those that apply to OPAT. We present a brief review and update of current r...

Sharing data between GIS software (Arc/Info) and Traffic Demand Modeling Software (EMME/2) has long been an issue of interest to traffic engineers. A literature review and evaluation of current efforts on the data exchange is given in this paper. The authors also developed their own economical method to realize the data transform through Matlab programming. As a practice, a model of the truck f...

BACKGROUND AND OBJECTIVE Accreditation is usually a voluntary program in which trained external peer reviewers evaluate a healthcare organization's compliance and compare it with pre-established performance standards. The aim of this study was to evaluate the impact of accreditation programs on the quality of healthcare services METHODS We did a systematic review of the literature to evaluate...