this invited paper is a passionate pitch for the significance of logic in scientific education. Logic helps focus on the essential core to identify the foundations of ideas and provides corresponding longevity withth...
详细信息
ISBN:
(纸本)9783031713781;9783031713798
this invited paper is a passionate pitch for the significance of logic in scientific education. Logic helps focus on the essential core to identify the foundations of ideas and provides corresponding longevity withthe resulting approach to new and old problems. Logic operates symbolically, where each part has a precise meaning and the meaning of the whole is compositional, so a simple function of the meaning of the pieces. this compositionality in the meaning of logical operators is the basis for compositionality in reasoning about logical operators. Both semantic and deductive compositionalities help explain what happens in reasoning. the correctness-critical core of an idea or an algorithm is often expressible eloquently and particularly concisely in logic. the opinions voiced in this paper are influenced by the author's teaching of courses on cyber-physical systems, constructive logic, compiler design, programming language semantics, and imperative programming principles. In each of those courses, different aspects of logic come up for different purposes to elucidate significant ideas particularly clearly. While there is a bias of the thoughts in this paper toward computer science, some courses have been heavily frequented by students from other majors so that some transfer of the thoughts to other science and engineering disciplines is plausible.
When mastering the basics of programming by preschoolers, serious difficulties are created by the need to diagnose and correct syntactic errors. Withthe traditional method of "on-screen" program editing, th...
详细信息
We present some examples which show how preference ordered disjunction adds useful features to answer set programming, as well as an in-teresting example of how it can be useful for modeling a real problem about agric...
详细信息
We present some examples which show how preference ordered disjunction adds useful features to answer set programming, as well as an in-teresting example of how it can be useful for modeling a real problem about agriculture. In this paper, we present a mathematical formalization for the problem of making decisions to promote planting and conservation of maize in some geographical zone inside the country of Mexico;we present modeling semanticsthat we consider necessary for the mathematical formalization of this problem using Answer Set semantics.
the annual international workshop LENLS (Logic and Engineering of Natural Language semantics) covers topics in formal linguistics and related fields, such as theoretical computer science, mathematical logic and formal...
详细信息
Nonmonotonic logic is a branch of logic that has been developed to model situations with incomplete information. We argue that there is a connection between AOP and nonmonotonic logic which deserves further study. As ...
详细信息
Nonmonotonic logic is a branch of logic that has been developed to model situations with incomplete information. We argue that there is a connection between AOP and nonmonotonic logic which deserves further study. As a concrete technical contribution and "appetizer", we outline an AO semantics defined in default logic (a form of nonmonotonic logic), propose a definition of modular reasoning, and show that the default logic version of the language semantics admits modular reasoning whereas a conventional language semantics based on weaving does not. Copyright 2007 ACM.
Lutess is a testing environment designed for synchronous software specified with Lustre, a synchronous data-flow language widely used in safety critical domains such as avionics, energy and transport. Lutess automatic...
详细信息
ISBN:
(纸本)9781595937261
Lutess is a testing environment designed for synchronous software specified with Lustre, a synchronous data-flow language widely used in safety critical domains such as avionics, energy and transport. Lutess automatically transforms the formal description of the program environment and properties to test generators that feed, on the fly, the program under test. A new version of Lutess has been recently developed, using Constraint Logic programming. In this version, it is possible to take into account numeric input and output variables and to introduce hypotheses on the program under test. the input language of Lutess has been consequently extended. In this paper we present the new set of operators of the language and illustrate their execution semantics on a simple example. Copyright 2007 ACM.
Aspect-Oriented technologies, including Aspect-Oriented Modeling, introduces a set of new constructions, e.g., advices or pointcuts, that improve the modularization of crosscutting concerns. these new constructions ca...
详细信息
ISBN:
(纸本)1595936580
Aspect-Oriented technologies, including Aspect-Oriented Modeling, introduces a set of new constructions, e.g., advices or pointcuts, that improve the modularization of crosscutting concerns. these new constructions can make it more difficult to understand or visualize how a system works after the different (design) modules are composed together. A straightforward and simple mechanism to observe how a system works is to execute it. UML and its Action semantics provide the foundations for modeling and executing object-oriented software systems. this paper presents an aspect-oriented extension to the UML and its Action semantics for the construction and execution of aspect-oriented models. Before executing such aspect-oriented models, they must be weaved. the corresponding model weaver is also presented in this paper. Copyright 2007 ACM.
this paper considers steady-state scheduling techniques for heterogeneous systems, such as clusters and grids. the use of steady-state scheduling is advocated to solve a variety of important problems, which would be t...
详细信息
this paper considers steady-state scheduling techniques for heterogeneous systems, such as clusters and grids. the use of steady-state scheduling is advocated to solve a variety of important problems, which would be too difficult to tackle withthe objective of makespan minimization. Several examples are given, namely master-slave tasking, mixed task and data parallelism, and pipelined macro-communications (scatter, broadcast, multicast). For each example, boththe advantages and the limitations of the approach are discussed.
this issue contains 9 conference papers. they cover: linear logic;domain theory;proof rules for fairness;Haginos categorical programming language;modal logic and algebraic specification;logic for category theory;logic...
详细信息
this issue contains 9 conference papers. they cover: linear logic;domain theory;proof rules for fairness;Haginos categorical programming language;modal logic and algebraic specification;logic for category theory;logical foundations for programmingsemantics.
暂无评论