The proceedings contain 21 papers. The topics discussed include: programming languages techniques for controlling generalization errors in adaptive data analysis;the computational structure of programs and the univers...
ISBN:
(纸本)9781450386890
The proceedings contain 21 papers. The topics discussed include: programming languages techniques for controlling generalization errors in adaptive data analysis;the computational structure of programs and the universe;reflecting stacked continuations in a fine-grained direct-style reduction theory;a derived reasonable abstract machine for strong call by value;canonical proof-objects for coinductive programming: infinets with infinitely many cuts;confluence in non-left-linear untyped higher-order rewrite theories;static analysis of pattern-free properties,;a superposition-based calculus for diagrammatic reasoning;and free objects in constraint-logic object-oriented programming.
The proceedings contain 16 papers. The special focus in this conference is on Functional and logicprogramming. The topics include: Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual I...
ISBN:
(纸本)9789819722990
The proceedings contain 16 papers. The special focus in this conference is on Functional and logicprogramming. The topics include: Term Evaluation Systems with Refinements: First-Order, Second-Order, and Contextual Improvement;a Complete Dependency Pair Framework for Almost-Sure Innermost Termination of Probabilistic Term Rewriting;tabulation with Zippers;declarative Pearl: Rigged Contracts;System Description: DeepLLM, Casting Dialog Threads into logic Programs;a Constraint-Based Mathematical Modeling Library in Prolog with Answer Constraint Semantics;grants4Companies: Applying Declarative Methods for Recommending and Reasoning About Business Grants in the Austrian Public Administration (System Description);inferring Non-failure Conditions for Declarative Programs;being Lazy When It Counts Practical Constant-Time Memory Management for Functional programming;MetaOCaml: Ten Years Later System Description;An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage programming;rhyme: A Data-Centric Multi-paradigm Query Language Based on Functional logic Metaprogramming System Description;language-parameterized Proofs for Functional Languages with Subtyping;system Description: A Theorem-Prover for Subregular Systems: The Language Toolkit and Its Interpreter, Plebby.
The proceedings contain 15 papers. The special focus in this conference is on Functional and logicprogramming. The topics include: Explanations as Programs in Probabilistic logicprogramming;FOLD-R++: A Scalable Tool...
ISBN:
(纸本)9783030994600
The proceedings contain 15 papers. The special focus in this conference is on Functional and logicprogramming. The topics include: Explanations as Programs in Probabilistic logicprogramming;FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed Data;a Lazy Desugaring System for Evaluating Programs with Sugars;on Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction Proofs;improving Type Error Reporting for Type Classes;asynchronous Unfold/Fold Transformation for Fixpoint logic;Program logic for Higher-Order Probabilistic Programs in Isabelle/HOL;generating C: System Description;translation Certification for Smart Contracts;zipping Strategies and Attribute Grammars;unified Program Generation and Verification: A Case Study on Number-Theoretic Transform;scheduling Complexity of Interleaving Search;preface.
With the increasing computing power of edge devices in industrial automation, programming languages from information and operation technologies can be used to solve new tasks from the shop floor. A virtualized control...
详细信息
ISBN:
(纸本)9798350394085;9798350394092
With the increasing computing power of edge devices in industrial automation, programming languages from information and operation technologies can be used to solve new tasks from the shop floor. A virtualized controller can handle both parts due to its flexibility, high performance and lost cost. However, to migrate numerous legacy programmable logic controllers to new edge controllers, massive software development efforts must be put in during the upgrade process due to the variety and complexity of existing programs. To address this challenge, this paper proposes a platform-independent code model to automatically extract existing logic from legacy programs. Subsequently, programs can be generated automatically in the target programming language according to the target platform. This approach enables cross-platform program migration by facilitating programming language conversion, reducing the time and effort required.
The proceedings contain 13 papers. The special focus in this conference is on Functional and logicprogramming. The topics include: Implementing, and Keeping in Check, a DSL Used in E-Learning;system Description: Lang...
ISBN:
(纸本)9783030590246
The proceedings contain 13 papers. The special focus in this conference is on Functional and logicprogramming. The topics include: Implementing, and Keeping in Check, a DSL Used in E-Learning;system Description: Lang-n-Change - A Tool for Transforming Languages;An SMT-Based Concolic Testing Tool for logic Programs;the Bang Calculus Revisited;Functional Pearl: The Distributive$$\lambda $$ -Calculus;polynomial Time over the Reals with Parsimony;session Types Without Sophistry: System Description;restriction on Cut in Cyclic Proof System for Symbolic Heaps;on the Effectiveness of Higher-Order logicprogramming in Language-Oriented programming;declarative Pearl: Deriving Monadic Quicksort;language-Integrated Query with Nested Data Structures and Grouping.
The Industrial Internet of Things (IIoT) is an enabling technology for the evolution of automation industry. The programming of Programmable logic Controller (PLC) is a core task of industrial automation. To improve t...
详细信息
ISBN:
(纸本)9798350394085;9798350394092
The Industrial Internet of Things (IIoT) is an enabling technology for the evolution of automation industry. The programming of Programmable logic Controller (PLC) is a core task of industrial automation. To improve the accuracy and efficiency of PLC programming for complex control systems, it is necessary to conduct co-simulation between PLCs and simulation modeling software based on Model-Based Design (MBD). In this paper, a unified model-based co-simulation framework for PLC programming is proposed. This framework provides heterogeneous device communication by integrating OPC UA protocol and hardware-in-the-loop (HIL) verification by code generation and loading. To improve the real-time performance of co-simulation, a data exchange optimization problem is constructed by modeling the offset adjustment of each periodic exchanged data, which considers the nonlinear feature of exchange time with respect to data amount. To solve this problem efficiently, a meta-heuristic algorithm based on an adapted sea-horse optimizer is proposed. A tool based on MATLAB/Simulink is developed to validate the proposed framework and optimization method. The results indicate that the proposed framework is compatible, and the optimization approach significantly improves the efficiency of data exchange.
The proceedings contain 10 papers. The topics discussed include: gender differences in story, game and visual adventures in Hedy;roles of variables in the Hedy programming language;using computation graphs to explain ...
ISBN:
(纸本)9798400712166
The proceedings contain 10 papers. The topics discussed include: gender differences in story, game and visual adventures in Hedy;roles of variables in the Hedy programming language;using computation graphs to explain nondeterminism to students;visualizing composed Turing machines;programming smart objects: how young learners’ programming skills, attitudes, and perception are influenced;a word about programming: applying a natural language vocabulary acquisition model to programming education;ASSIST: automated feedback generation for syntax and logical errors in programming exercises;an observational study of undergraduate teaching assistants’ use of subgoal learning integrated in an introductory programming course;judicious: API documentation for novices;and mocking temporal logic.
We develop Intuitionistic Metric Temporal logic (IMTL) that extends prior work on intuitionistic temporal logics in two ways: (1) it generalizes discrete time to dense time with intervals so it can, for example, expre...
详细信息
ISBN:
(纸本)9798400708121
We develop Intuitionistic Metric Temporal logic (IMTL) that extends prior work on intuitionistic temporal logics in two ways: (1) it generalizes discrete time to dense time with intervals so it can, for example, express the duration of signals, and (2) every proof corresponds to a temporal computation. Our main technical result is a syntactic proof of cut elimination for IMTL, which entails logical consistency and ensures that every proof executes while respecting the flow of time. Cut reductions in IMTL correspond to temporal interactions, although we do not fully develop a programming language in this paper. Beyond the metatheory of IMTL, we illustrate the computational meaning of IMTL proofs by developing examples and a small case study where we apply IMTL to well-timed digital circuit design.
Reactive programming, functional reactive programming, event-based programming, stream programming, and temporal logic all share an underlying commonality: values can vary over time. These languages differ in multiple...
详细信息
ISBN:
(纸本)9798400702983
Reactive programming, functional reactive programming, event-based programming, stream programming, and temporal logic all share an underlying commonality: values can vary over time. These languages differ in multiple ways, including the nature of time itself (e.g., continuous or discrete, dense or sparse, implicit or explicit), on how much of the past and future can be referenced, on the kinds of values that can be represented, as well as the mechanisms used to evaluate expressions or formulas. This paper presents a series of abstractions that capture the essence of different forms of time variance. By separating the aspects that differentiate each family of formalisms, we can better express the commonalities and differences between them. We demonstrate our work with a prototype in Haskell that allows us to write programs in terms of a generic interface that can be later instantiated to different abstractions depending on the desired target.
This paper presents stableKanren, a miniKanren extension with normal logicprogramming support under stable model semantics. MiniKanren is a relational programming solver implemented atop Scheme via shallow embedding,...
详细信息
ISBN:
(纸本)9798400708121
This paper presents stableKanren, a miniKanren extension with normal logicprogramming support under stable model semantics. MiniKanren is a relational programming solver implemented atop Scheme via shallow embedding, which means the predicate in each rule is encoded as a goal function directly. The solver utilizes the pattern matching macro in Scheme to transform the input goal function and form a static search stream through continuations to achieve the essential features, resolution and unification, in Prolog. However, the static stream only works on monotonic reasoning. Even though the core miniKanren is designed to be easily modified and extended with new features, none of the existing extensions support solving normal logic programs. Also, no normal logic program solvers are based on a functional programming language. We identify and categorize the roles of resolution and unification in top-down solving. And we realize that a dynamic search stream is needed to support non-monotonic reasoning. So we evolve both resolution and unification with new roles, and we exploit the advantages of using macros and continuations further to weave the information generated during runtime into future streams dynamically. We create multiple innovative macros to compile the normal logic program into a program with its complement form, obtain the domain of a variable under different contexts, and generate the new search stream during solving. And we use the coinductive resolution to handle the loop in the normal logic program. In future work, we plan to apply bottom-up optimization to improve our top-down system performance and support various input rules.
暂无评论