Adjoint logic is a general approach to combining multiple logics with different structural properties, including linear, affine, strict, and (ordinary) intuitionistic logics, where each proposition has an intrinsic mo...
详细信息
functional reactive programming (FRP) languages allow programmers to write declarative expressions to denote eventstreams. they feature operators (e.g., map, filter, merge, ...) to build compositions of events. Among ...
详细信息
ISBN:
(纸本)9781450399111
functional reactive programming (FRP) languages allow programmers to write declarative expressions to denote eventstreams. they feature operators (e.g., map, filter, merge, ...) to build compositions of events. Among these operators we would expect to find the traditional Boolean operators to express complex events. To some extent this is true. However, a remarkable absent in existing FRP languages is the logical conjunction, i.e., the and operator. In this paper, we describe the difficulty of introducing logical conjunction in FRP. We then present a new experimental language called FLOREnce that reconciles functional reactive programming with 'logic reactive programming' abstractions. the latter emerge naturally when adding a reactive conjunction operator to an event-based FRP language. We present a prototypical implementation of FLOREnce and we study its expressiveness by conducting an experiment.
In this paper, an Automatic Test System runtime platform based on the ATML standard is designed and implemented. Firstly, the paper analyzes functions and internal relationship of the basic components of TPS based on ...
详细信息
When working in optimisation or privacy protection, one may need to estimate the sensitivity of computer programs, i.e., the maximum multiplicative increase in the distance between two inputs and the corresponding two...
详细信息
We present Rhyme, an expressive language designed for high-level data manipulation, with a primary focus on querying and transforming nested structures such as JSON and tensors, while yielding nested structures as out...
详细信息
ISBN:
(纸本)9783031520372;9783031520389
We present Rhyme, an expressive language designed for high-level data manipulation, with a primary focus on querying and transforming nested structures such as JSON and tensors, while yielding nested structures as output. Rhyme draws inspiration from a diverse range of declarative languages, including Datalog, JQ, JSONiq, Einstein summation (Einsum), GraphQL, and more recent functionallogicprogramming languages like Verse. It has a syntax that closely resembles existing object notation, is compositional, and has the ability to perform query optimization and code generation through the construction of an intermediate representation (IR). Our IR comprises loop-free and branch-free code with program structure implicitly captured via dependencies. To demonstrate Rhyme's versatility, we implement Rhyme in JavaScript (as an embedded DSL) and illustrate its application across various domains, showcasing its ability to express common data manipulation queries, tensor expressions (a la Einsum), and more.
the proceedings contain 5 papers. the topics discussed include: towards introducing asynchronous tasks to an FRP language for small-scale embedded systems;distributed persistent signals: architecture and implementatio...
ISBN:
(纸本)9781450399111
the proceedings contain 5 papers. the topics discussed include: towards introducing asynchronous tasks to an FRP language for small-scale embedded systems;distributed persistent signals: architecture and implementation;FLOREnce: a hybrid logic-functional reactive programming language;semantics of RxJS;and reactive programming on the bare metal: a formal model for a low-level reactive virtual machine.
the proceedings contain 93 papers. the special focus in this conference is on Leveraging Applications of Formal Methods, Verification and Validation. the topics include: Bitcoin Covenants Unchained;designing a Demonst...
ISBN:
(纸本)9783030837228
the proceedings contain 93 papers. the special focus in this conference is on Leveraging Applications of Formal Methods, Verification and Validation. the topics include: Bitcoin Covenants Unchained;designing a Demonstrator of Formal Methods for Railways Infrastructure Managers;specifying Framing Conditions for Smart Contracts;making Tezos Smart Contracts More Reliable with Coq;UTxO- vs Account-Based Smart Contract Blockchain programming Paradigms;Native Custom Tokens in the Extended UTXO Model;UTXOma : UTXO with Multi-asset Support;towards Configurable and Efficient Runtime Verification of Blockchain Based Smart Contracts at the Virtual Machine Level;introduction;reliable Smart Contracts;compiling Quantitative Type theory to Michelson for Compile-Time Verification and Run-time Efficiency in Juvix;efficient Static Analysis of Marlowe Contracts;accurate Smart Contract Verification through Direct Modelling;smart Derivatives: On-Chain Forwards for Digital Assets;the Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts;automated Verification of Embedded Control Software: Track Introduction;a Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System;guess What I’m Doing!: Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems;on the Industrial Application of Critical Software Verification with VerCors;a Concept of Scenario Space Exploration with Criticality Coverage Guarantees: Extended Abstract;functional Verification of Smart Contracts via Strong Data Integrity;towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink;verifying Safety Properties of Robotic Plans Operating in Real-World Environments via logic-Based Environment Modeling;formally Proving Compositionality in Industrial Systems with Informal Specifications.
this paper presents an integrative approach to adaptive structures, which harnesses the scale and strength of natural material actuators such as wood as well as the functional physical programming of material properti...
详细信息
the proceedings contain 93 papers. the special focus in this conference is on Leveraging Applications of Formal Methods, Verification and Validation. the topics include: Bitcoin Covenants Unchained;designing a Demonst...
ISBN:
(纸本)9783030613617
the proceedings contain 93 papers. the special focus in this conference is on Leveraging Applications of Formal Methods, Verification and Validation. the topics include: Bitcoin Covenants Unchained;designing a Demonstrator of Formal Methods for Railways Infrastructure Managers;specifying Framing Conditions for Smart Contracts;making Tezos Smart Contracts More Reliable with Coq;UTxO- vs Account-Based Smart Contract Blockchain programming Paradigms;Native Custom Tokens in the Extended UTXO Model;UTXOma : UTXO with Multi-asset Support;towards Configurable and Efficient Runtime Verification of Blockchain Based Smart Contracts at the Virtual Machine Level;introduction;reliable Smart Contracts;compiling Quantitative Type theory to Michelson for Compile-Time Verification and Run-time Efficiency in Juvix;efficient Static Analysis of Marlowe Contracts;accurate Smart Contract Verification through Direct Modelling;smart Derivatives: On-Chain Forwards for Digital Assets;the Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts;automated Verification of Embedded Control Software: Track Introduction;a Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System;guess What I’m Doing!: Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems;on the Industrial Application of Critical Software Verification with VerCors;a Concept of Scenario Space Exploration with Criticality Coverage Guarantees: Extended Abstract;functional Verification of Smart Contracts via Strong Data Integrity;towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink;verifying Safety Properties of Robotic Plans Operating in Real-World Environments via logic-Based Environment Modeling;formally Proving Compositionality in Industrial Systems with Informal Specifications.
the proceedings contain 93 papers. the special focus in this conference is on Leveraging Applications of Formal Methods, Verification and Validation. the topics include: Bitcoin Covenants Unchained;designing a Demonst...
ISBN:
(纸本)9783030614690
the proceedings contain 93 papers. the special focus in this conference is on Leveraging Applications of Formal Methods, Verification and Validation. the topics include: Bitcoin Covenants Unchained;designing a Demonstrator of Formal Methods for Railways Infrastructure Managers;specifying Framing Conditions for Smart Contracts;making Tezos Smart Contracts More Reliable with Coq;UTxO- vs Account-Based Smart Contract Blockchain programming Paradigms;Native Custom Tokens in the Extended UTXO Model;UTXOma : UTXO with Multi-asset Support;towards Configurable and Efficient Runtime Verification of Blockchain Based Smart Contracts at the Virtual Machine Level;introduction;reliable Smart Contracts;compiling Quantitative Type theory to Michelson for Compile-Time Verification and Run-time Efficiency in Juvix;efficient Static Analysis of Marlowe Contracts;accurate Smart Contract Verification through Direct Modelling;smart Derivatives: On-Chain Forwards for Digital Assets;the Good, the Bad and the Ugly: Pitfalls and Best Practices in Automated Sound Static Analysis of Ethereum Smart Contracts;automated Verification of Embedded Control Software: Track Introduction;a Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System;guess What I’m Doing!: Rendering Formal Verification Methods Ripe for the Era of Interacting Intelligent Systems;on the Industrial Application of Critical Software Verification with VerCors;a Concept of Scenario Space Exploration with Criticality Coverage Guarantees: Extended Abstract;functional Verification of Smart Contracts via Strong Data Integrity;towards Automated Service-Oriented Verification of Embedded Control Software Modeled in Simulink;verifying Safety Properties of Robotic Plans Operating in Real-World Environments via logic-Based Environment Modeling;formally Proving Compositionality in Industrial Systems with Informal Specifications.
暂无评论