4 research outputs found

    Java Jr. : Fully abstract trace semantics for a Core Java Language.

    No full text
    We introduce an expressive yet semantically clean core Java-like language, Java JR, and provide it with a formal operational semantics based on traces of observable actions which represent interaction across package boundaries. A detailed example based on the Observer Pattern is used to demonstrate the intuitive character of the semantic model. We also show that our semantic trace equivalence is fully-abstract with respect to a natural notion of testing equivalence for object systems. This is the first such result for a full class-based OO-language with inheritance

    Safety of hospital discharge before return of bowel function after elective colorectal surgery

    No full text
    Background: Ileus is common after colorectal surgery and is associated with an increased risk of postoperative complications. Identifying features of normal bowel recovery and the appropriateness for hospital discharge is challenging. This study explored the safety of hospital discharge before the return of bowel function. Methods: A prospective, multicentre cohort study was undertaken across an international collaborative network. Adult patients undergoing elective colorectal resection between January and April 2018 were included. The main outcome of interest was readmission to hospital within 30 days of surgery. The impact of discharge timing according to the return of bowel function was explored using multivariable regression analysis. Other outcomes were postoperative complications within 30 days of surgery, measured using the Clavien\u2013Dindo classification system. Results: A total of 3288 patients were included in the analysis, of whom 301 (9\ub72 per cent) were discharged before the return of bowel function. The median duration of hospital stay for patients discharged before and after return of bowel function was 5 (i.q.r. 4\u20137) and 7 (6\u20138) days respectively (P < 0\ub7001). There were no significant differences in rates of readmission between these groups (6\ub76 versus 8\ub70 per cent; P = 0\ub7499), and this remained the case after multivariable adjustment for baseline differences (odds ratio 0\ub790, 95 per cent c.i. 0\ub755 to 1\ub746; P = 0\ub7659). Rates of postoperative complications were also similar in those discharged before versus after return of bowel function (minor: 34\ub77 versus 39\ub75 per cent; major 3\ub73 versus 3\ub74 per cent; P = 0\ub7110). Conclusion: Discharge before return of bowel function after elective colorectal surgery appears to be safe in appropriately selected patients
    corecore