Search Results - syntax and semantics of Boolean circuits

Algebraic effects and handlers for arrows by SANADA, TAKAHIRO

“…{A}$ -algebras are, and a handler is interpreted as an $\mathcal{A}$ -homomorphisms between $\mathcal{A}$ -algebras. The syntax and operational semantics are derived from the observations on $\mathcal{A}$ -algebras. We prove the soundness and adequacy theorem of the operational semantics for the denotational semantics…”
Get full text

Symmetries in Reversible Programming: From Symmetric Rig Groupoids to Reversible Programming Languages by Choudhury, Vikraman, Karwowski, Jacek, Sabry, Amr

“…The \(\mathit{\Pi}\) family of reversible programming languages for boolean circuits is presented as a syntax of combinators witnessing type isomorphisms of algebraic datatypes…”
Get full text

A Type-Safe Hdl Verified in Coq by Tavante, Hanneli Carolina Andreazzi

“…Hardware Description Languages (HDL), such as VHDL and Verilog, simplify the circuit specifcation, simulation, and synthesis by enabling different types of abstractions…”
Get full text

Multi-Agent Systems: Model-Checking in Logics of Protocols by Chakraborty, Pinaki

“…A multi-agent system can often be described as a protocol based interacting system wherein the information ow, inter-agent communication and agent behavior can…”
Get full text

Algebraic Information Effects by Chen, Chao-Hong

“…From the informational perspective, programs that are usually considered as pure have effects, for example, the simply typed lambda calculus is considered as a…”
Get full text

Functional sets with typed symbols : Mixed zonotopes and Polynotopes for hybrid nonlinear reachability and filtering by Combastel, Christophe

“… Syntax and semantics are explicitly distinguished. Both continuous (interval) and discrete (signed, boolean) symbol types are used to model dependencies through linear and polynomial functions, so leading to mixed zonotopic and polynotopic sets…”
Get full text

Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages by Choudhury, Vikraman, Karwowski, Jacek, Sabry, Amr

“…The Pi family of reversible programming languages for boolean circuits is presented as a syntax of combinators witnessing type isomorphisms of algebraic data types…”
Get full text

Formal semantics for PSL modeling layer and application to the verification of transactional models by Ferro, Luca, Pierre, Laurence

“… In addition to its Boolean and Temporal layers, it is syntactically extended with the Modeling layer that borrows the syntax of the HDL is which the PSL assertions are included, to manage auxiliary variables…”
Get full text

Mathematical Models of Resource-Conscious Computation by Choudhury, Vikraman

“…This thesis studies various logics and programming languages for resource-conscious computation, in particular, their syntax, categorical, and denotational semantics, and presents a collection…”
Get full text