This work presents the concept of MorphLang, a functional reactive programming language tailored for shape-changeable computers, which are built using wirelessly interconnected chiplets. MorphLang simplifies the progr...
详细信息
ISBN:
(纸本)9798400703843
This work presents the concept of MorphLang, a functional reactive programming language tailored for shape-changeable computers, which are built using wirelessly interconnected chiplets. MorphLang simplifies the programming process for these systems by concentrating on the basic behaviors of individual nodes and their asynchronous communication. The language allows for compilation into binary or Arduino formats, and programs can be transmitted to each node either wirelessly or through physical connections.
Information Flow Control (IFC) in dynamic contexts is challenging due to different interpretations of security that arise. This paper introduces a modular framework to address this challenge. We present a dynamic floa...
详细信息
ISBN:
(纸本)9798400703843
Information Flow Control (IFC) in dynamic contexts is challenging due to different interpretations of security that arise. This paper introduces a modular framework to address this challenge. We present a dynamic floating-label enforcement mechanism that can be instantiated based on the intended security. Our approach formalizes a simply typed lambda-calculus, extended with IFC operations, and adopts an epistemic perspective on security definition.
This article contributes to the initial step of applying Context-Oriented programming to DevOps. In DevOps, we must maintain continuously. One of the critical problems in maintenance is caused by cross-cutting concern...
详细信息
ISBN:
(纸本)9798400706349
This article contributes to the initial step of applying Context-Oriented programming to DevOps. In DevOps, we must maintain continuously. One of the critical problems in maintenance is caused by cross-cutting concerns. In recent programs, the cross-cutting concerns occur at runtime. To solve this problem, we focus on Context-Oriented programming (COP). COP consists of layers, and it solves the runtime cross-cutting concern problem. However, the existing modeling methods are limited. In DevOps, we need a more strategic method. In the maintenance process, we must improve the software based on user data, in addition to bug fixing. This article introduces a method of DevOps modeling based on COP.
This paper reports the implementation of Emfrp-REPL, an interactive interpreter (REPL) of a functional reactive programming language for resource-constrained embedded systems. Its goal is to accelerate the prototyping...
详细信息
ISBN:
(纸本)9798400707551
This paper reports the implementation of Emfrp-REPL, an interactive interpreter (REPL) of a functional reactive programming language for resource-constrained embedded systems. Its goal is to accelerate the prototyping and development of microcontroller-based embedded systems. The interpreter runs on small-scale embedded devices based on 32-bit microcontrollers, such as ESP32 with 520KiB size data RAM. The evaluation shows that the memory usage of Emfrp-REPL is comparable to MicroPython, and the range of its latency is narrower than MicroPython, according to microbenchmarks.
The proceedings contain 10 papers. The topics discussed include: same same but different: a comparative analysis of static type checkers in Erlang;nominal types for Erlang;Erlang on TOAST: generating erlang stubs with...
ISBN:
(纸本)9798400710988
The proceedings contain 10 papers. The topics discussed include: same same but different: a comparative analysis of static type checkers in Erlang;nominal types for Erlang;Erlang on TOAST: generating erlang stubs with inline TOAST monitors;modeling Erlang compiler IR as SMT formulas;is this really a refactoring? automated equivalence checking for Erlang projects;controlled scheduling of concurrent elixir programs;unsafe impedance: safe languages and safe by design software;the benefits of tierless Elixir/potato for engineering IoT systems;and Elixir-powered low-income animal shelter support: an experience report from conception to production.
The proceedings contain 4 papers. The topics discussed include: TLS the Erlang/OTP way (experience report);generation and refinement of testing models;Mria: an eventually consistent Mnesia;and a semantics of core erla...
ISBN:
(纸本)9798400702945
The proceedings contain 4 papers. The topics discussed include: TLS the Erlang/OTP way (experience report);generation and refinement of testing models;Mria: an eventually consistent Mnesia;and a semantics of core erlang with handling of signals.
The proceedings contain 5 papers. The topics discussed include: a calculus of inductive linear constructions;semantic encapsulation using linking types;infix-extensible record types for tabular data;a dependently type...
ISBN:
(纸本)9798400702990
The proceedings contain 5 papers. The topics discussed include: a calculus of inductive linear constructions;semantic encapsulation using linking types;infix-extensible record types for tabular data;a dependently typed language with dynamic equality;and combining dependency, grades, and adjoint logic.
This paper presents an improvement to Isabelle/HOL's lexicographic termination algorithm. This paper also shows how to encode positive vector-component maximisation as a linear program.
ISBN:
(纸本)9781450399012
This paper presents an improvement to Isabelle/HOL's lexicographic termination algorithm. This paper also shows how to encode positive vector-component maximisation as a linear program.
functionalprogramming's benefits for hardware description have long been recognized in the literature. In particular, functional hardware description languages provide combinators such as maps and filters to faci...
详细信息
ISBN:
(纸本)9781450399166
functionalprogramming's benefits for hardware description have long been recognized in the literature. In particular, functional hardware description languages provide combinators such as maps and filters to facilitate the compositional description of circuits. However, it is challenging to apply functionalprogramming with combinators to complex circuits with latency-insensitive interfaces such as valid/ready interfaces due to the cyclic nature of their forward and backward ports. In this work, we present ShakeFlow: the first functional hardware description language supporting latency-insensitive interface combinators. ShakeFlow provides extensible support for custom interfaces and combinators and a compiler to synthesizable Verilog and FIRRTL. We port a part of the BaseJump STL library and the Corundum 100Gbps NIC from (System)Verilog to ShakeFlow, reducing the code size by 38% and 26%, respectively. By experimenting with Corundum, we demonstrate that ShakeFlow is capable of designing realistic circuits, and porting to ShakeFlow does not incur significant resource and performance overhead.
The goal of this paper is to deliver the overview of the current state of the art, provide experience report on developing quantum software tools, and outline the perspective for developing quantum programming tools s...
详细信息
ISBN:
(纸本)9798400707551
The goal of this paper is to deliver the overview of the current state of the art, provide experience report on developing quantum software tools, and outline the perspective for developing quantum programming tools supporting symbolic programming for the needs of quantum computing technologies. The main focus of this paper is on quantum computing technologies, as they can in the most direct way benefit from developing tools enabling the symbolic manipulation of quantum circuits and providing software tools for creating, optimizing, and testing quantum programs. We deliver a short survey of the most popular approaches in the field of quantum software development, pointing their strengths and weaknesses. This helps to formulate a list of desirable characteristics which should be included in quantum computing frameworks. Next, we describe a software architecture and its preliminary implementation supporting the development of quantum programs using symbolic approach, encouraging the functionalprogramming paradigm, and, at the same, time enabling the integration with high-performance and cloud computing. The described software consists of several packages developed to address different needs, but nevertheless sharing common design concepts. We also outline how the presented approach could be used in tasks in quantum software engineering: quantum software testing and quantum circuit construction.
暂无评论