101 research outputs found
Tools and Algorithms for the Construction and Analysis of Systems
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems
Programming Languages and Systems
This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019
Studies related to the process of program development
The submitted work consists of a collection of publications arising from research carried out at Rhodes University (1970-1980) and at Heriot-Watt University (1980-1992). The theme of this research is the process of program development, i.e. the process of creating a computer program to solve some particular problem. The papers presented cover a number of different topics which relate to this process, viz. (a) Programming methodology programming. (b) Properties of programming languages. aspects of structured. (c) Formal specification of programming languages. (d) Compiler techniques. (e) Declarative programming languages. (f) Program development aids. (g) Automatic program generation. (h) Databases. (i) Algorithms and applications
Tools and Algorithms for the Construction and Analysis of Systems
This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems
Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic
This work is the first exploration of proof-theoretic semantics for a substructural logic. It focuses on the base-extension semantics (B-eS) for intuitionistic multiplicative linear logic (IMLL). The starting point is a review of Sandqvist’s B-eS for intuitionistic propositional logic (IPL), for which we propose an alternative treatment of conjunction that takes the form of the generalized elimination rule for the connective. The resulting semantics is shown to be sound and complete. This motivates our main contribution, a B-eS for IMLL
, in which the definitions of the logical constants all take the form of their elimination rule and for which soundness and completeness are established
A semantic theory of a subset of qualifying "as" phrases in English
Landman (1989) introduced contemporary linguistics to the as-phrase. An as-phrase
is a qualifier, introduced in English by "as." "John is corrupt as a judge," for instance,
contains the as-phrase "as a judge." Philosophical discourse is full of examples of
as-phrase sentences. Their presence can make it difficult to distinguish valid from
invalid arguments, a perennial concern for philosophers. Landman proposed the first
formal semantic theory of as-phrases, based on a set of seven intuitively-valid patterns
of inference involving as-phrases. Szabó (2003), Jaeger (2003), Asher (2011) each
attempt to improve upon Landman's theory.
Chapter 1 reviews and criticizes a temporal account of as-phrase semantics,
while tracing some precedents and motivations for my approach. Chapters 2-3 criticize
Szabó's and Asher's theories. Szabó's theory shows problems handling the future
tense and intensional contexts. Asher's complex theory solves these problems, but
resorts to the obscure notions of relative identity and bare particulars.
Chapter 4 argues that neither Szabó's nor Asher's theory is clearly superior, because
implicitly, they focus on different classes of sentences, which I call "Type A" and
"Type B." From John Bowers' syntactic research, I argue that the element common
to Type A and Type B is Pr, a predication head pronounced "as" in some contexts.
Chapter 5 develops a formal semantic theory tailored to Type A sentences that solves
the problems of Szabó's theory while avoiding Asher's assumptions. On my approach,
the semantic properties of Type A sentences resolve into an interaction among generic
quantifiers, determiner-phrase interpretation, and one core quantifier based on a principal
ultrafilter. It is the interaction-effects of these elements that give rise to the many
unusual readings we find in these as-phrase sentences. This result supports my motivating
view that linguistic research helps to solve semantic problems of philosophical
interest
KARL: A Knowledge-Assisted Retrieval Language
Data classification and storage are tasks typically performed by application specialists. In contrast, information users are primarily non-computer specialists who use information in their decision-making and other activities. Interaction efficiency between such users and the computer is often reduced by machine requirements and resulting user reluctance to use the system. This thesis examines the problems associated with information retrieval for non-computer specialist users, and proposes a method for communicating in restricted English that uses knowledge of the entities involved, relationships between entities, and basic English language syntax and semantics to translate the user requests into formal queries. The proposed method includes an intelligent dictionary, syntax and semantic verifiers, and a formal query generator. In addition, the proposed system has a learning capability that can improve portability and performance. With the increasing demand for efficient human-machine communication, the significance of this thesis becomes apparent. As human resources become more valuable, software systems that will assist in improving the human-machine interface will be needed and research addressing new solutions will be of utmost importance. This thesis presents an initial design and implementation as a foundation for further research and development into the emerging field of natural language database query systems
- …