One of the long-standing problems on logic programming is to express exception handling in a high-level way. We argue that this problem can be solved by adopting computability logic and sequential-choice disjunctive goal formulas of the form G0 ▽ G1 where G0, G1 are goals. These goals have the following intended semantics: sequentially choose the first true goal Gi and execute Gi where i(= 0 or...

C++ Exceptions provide a useful way for dealing with abnormal program behavior, but often lead to irregular interprocedural control flow that complicates compiler optimizations and static analysis. In this paper, we present an interprocedural exception analysis and transformation framework for C++ that captures the control-flow induced by exceptions and transforms it into an exception-free prog...

Van der Sandt’s algorithm for handling presupposition is based on a “presupposition as anaphora” paradigm and is expressed in the realm of Kamp’s DRT. In recent years, we have proposed a typetheoretic rebuilding of DRT that allows Montague’s semantics to be combined with discourse dynamics. Here we explore van der Sandt’s theory along the line of this formal framework. It then results that pres...

In this paper, we propose a software tool that can be used to speed up the software development lifecycle by automating the process of assigning new bugs to developers. Open bug repositories are now very common, and they are provided to the software users as a means to report any bugs they find while using the software. Many of the bugs reported complain about exceptions that are thrown by the ...

This study discusses and presents various strategies employed by novice programmers concerning exception handling. The main contributions of this paper are as follows: we provide an analysis tool to measure the level of assimilation of exception handling mechanism; we present and analyse strategies to handle exceptions; we present and analyse solutions provided by novice programmers; we classif...

All Dutch dialects — or, more generally, all West-Germanic dialects except English — display the effects of a process called final devoicing (FD), illustrated in (1) for standard Dutch: an underlyingly voiced obstruent devoices when it occurs at the end of a syllable. That the obstruent is underlyingly voiced can be seen in other morphological contexts, where it does not end the syllable. Thus ...

OBJECTIVE To examine the reasons why practices exempt patients from the UK Quality and Outcomes Framework pay for performance scheme (exception reporting) and to identify the characteristics of general practices associated with informed dissent. DESIGN Retrospective analysis. SETTING Data for 2008-9 extracted from the clinical computing systems of general practices in England. PARTICIPANT...