Topics in Programming Languages, a Philosophical Analysis through the case of Prolog

[EN]Programming languages seldom find proper anchorage in philosophy of logic, language and science. is more, philosophy of language seems to be restricted to natural languages and linguistics, and even philosophy of logic is rarely framed into programming languages topics. The logic programming paradigm and Prolog are, thus, the most adequate paradigm and programming language to work on this subject, combining natural language processing and linguistics, logic programming and constriction methodology on both algorithms and procedures, on an overall philosophizing declarative status. Not only this, but the dimension of the Fifth Generation Computer system related to strong Al wherein Prolog took a major role. and its historical frame in the very crucial dialectic between procedural and declarative paradigms, structuralist and empiricist biases, serves, in exemplar form, to treat straight ahead philosophy of logic, language and science in the contemporaneous age as well. In recounting Prolog's philosophical, mechanical and algorithmic harbingers, the opportunity is open to various routes. We herein shall exemplify some: - the mechanical-computational background explored by Pascal, Leibniz, Boole, Jacquard, Babbage, Konrad Zuse, until reaching to the ACE (Alan Turing) and EDVAC (von Neumann), offering the backbone in computer architecture, and the work of Turing, Church, Gödel, Kleene, von Neumann, Shannon, and others on computability, in parallel lines, throughly studied in detail, permit us to interpret ahead the evolving realm of programming languages. The proper line from lambda-calculus, to the Algol-family, the declarative and procedural split with the C language and Prolog, and the ensuing branching and programming languages explosion and further delimitation, are thereupon inspected as to relate them with the proper syntax, semantics and philosophical élan of logic programming and Prolog

Tools and Algorithms for the Construction and Analysis of Systems

This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers

Learning Visual Patterns: Imposing Order on Objects, Trajectories and Networks

Fundamental to many tasks in the field of computer vision, this work considers the understanding of observed visual patterns in static images and dynamic scenes . Within this broad domain, we focus on three particular subtasks, contributing novel solutions to: (a) the subordinate categorization of objects (avian species specifically), (b) the analysis of multi-agent interactions using the agent trajectories, and (c) the estimation of camera network topology. In contrast to object recognition, where the presence or absence of certain parts is generally indicative of basic-level category, the problem of subordinate categorization rests on the ability to establish salient distinctions amongst the characteristics of those parts which comprise the basic-level category. Focusing on an avian domain due to the fine-grained structure of the category taxonomy, we explore a pose-normalized appearance model based on a volumetric poselet scheme. The variation in shape and appearance properties of these parts across a taxonomy provides the cues needed for subordinate categorization. Our model associates the underlying image pattern parameters used for detection with corresponding volumetric part location, scale and orientation parameters. These parameters implicitly define a mapping from the image pixels into a pose-normalized appearance space, removing view and pose dependencies, facilitating fine-grained categorization with relatively few training examples. We next examine the problem of leveraging trajectories to understand interactions in dynamic multi-agent environments. We focus on perceptual tasks, those for which an agent's behavior is governed largely by the individuals and objects around them. We introduce kinetic accessibility, a model for evaluating the perceived, and thus anticipated, movements of other agents. This new model is then applied to the analysis of basketball footage. The kinetic accessibility measures are coupled with low-level visual cues and domain-specific knowledge for determining which player has possession of the ball and for recognizing events such as passes, shots and turnovers. Finally, we present two differing approaches for estimating camera network topology. The first technique seeks to partition a set of observations made in the camera network into individual object trajectories. As exhaustive consideration of the partition space is intractable, partitions are considered incrementally, adding observations while pruning unlikely partitions. Partition likelihood is determined by the evaluation of a probabilistic graphical model, balancing the consistency of appearances across a hypothesized trajectory with the latest predictions of camera adjacency. A primarily benefit of estimating object trajectories is that higher-order statistics, as opposed to just first-order adjacency, can be derived, yielding resilience to camera failure and the potential for improved tracking performance between cameras. Unlike the former centralized technique, the latter takes a decentralized approach, estimating the global network topology with local computations using sequential Bayesian estimation on a modified multinomial distribution. Key to this method is an information-theoretic appearance model for observation weighting. The inherently distributed nature of the approach allows the simultaneous utilization of all sensors as processing agents in collectively recovering the network topology

Scaling up an end-user dependability framework for spreadsheets

The WYSIWYT (What You See is What You Test) methodology applies formal analysis and testing techniques to the spreadsheet paradigm. So far the methodology has been applied to a research spreadsheet prototype, Forms/3. However, this prototype lacks the mathematical libraries, referential functions, ranges, and macros of commercial spreadsheets like Excel and Lotus 1-2-3. Study subjects are also accustomed to the grid-like interface of commercial spreadsheet packages and many spreadsheets of interest are available in the Excel file format. This project addresses these areas by implementing WYSIWYT in Microsoft Excel and Gnumeric

Scaling up an end-user dependability framework for spreadsheets

The WYSIWYT (What You See is What You Test) methodology applies formal analysis and testing techniques to the spreadsheet paradigm. So far the methodology has been applied to a research spreadsheet prototype, Forms/3. However, this prototype lacks the mathematical libraries, referential functions, ranges, and macros of commercial spreadsheets like Excel and Lotus 1-2-3. Study subjects are also accustomed to the grid-like interface of commercial spreadsheet packages and many spreadsheets of interest are available in the Excel file format. This project addresses these areas by implementing WYSIWYT in Microsoft Excel and Gnumeric

Does Form follow Function? Connecting Function Modelling and Geometry Modelling for Design Space Exploration

The aerospace industry, representative of industries developing complex products, faces challenges from changes in user behaviour, legislation, environmental policy. Meeting these challenges will require the development of radically new products. Radically new technologies and solutions need to be explored, investigated, and integrated into existing aerospace component architectures. The currently available design space exploration (DSE) methods, mainly based around computer-aided design (CAD) modelling, do not provide sufficient support for this exploration. These methods often lack a representation of the product’s architecture in relation to its design rationale (DR)—they do not illustrate how form follows function. Hence, relations between different functions and solutions, as well as how novel ideas relate to the legacy design, are not captured. In particular, the connection between a product’s function and the embodiment of its solution is not captured in the applied product modelling approaches, and can therefore not be used in the product development process.To alleviate this situation, this thesis presents a combined function and geometry-modelling approach with automated generation of CAD models for variant concepts. The approach builds on enhanced function means (EF-M) modelling for representation of the design space and the legacy design’s position in it. EF-M is also used to capture novel design solutions and reference them to the legacy design’s architecture. A design automation (DA) approach based on modularisation of the CAD model, which in turn is based on the functional decomposition of the product concepts, is used to capture geometric product information. A combined function-geometry object model captures the relations between functions, solutions, and geometry. This allows for CAD models of concepts based on alternative solutions to be generated.The function- and geometry-exploration (FGE) approach has been developed and tested in collaboration with an aerospace manufacturing company. A proof-of-concept tool implementing the approach has been realised. The approach has been validated for decomposition, innovation, and embodiment of new concepts in multiple studies involving three different aerospace suppliers. Application of FGE provides knowledge capture and representation, connecting the teleological and geometric aspects of the product. Furthermore, it supports the exploration of increasingly novel solutions, enabling the coverage of a wider area of the design space.The connection between the modelling domains addresses a research gap for the “integration of function architectures with CAD models”.While the FGE approach has been tested in laboratory environments as well as in applied product development projects, further development is needed to refine CAD integration and user experience and integrate additional modelling domains

Programming Languages and Systems

This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems