Výsledky vyhledávání - syntax and semantics of Boolean circuits

Algebraic effects and handlers for arrows Autor 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…”
Získat plný text

Symmetries in Reversible Programming: From Symmetric Rig Groupoids to Reversible Programming Languages Autor 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…”
Získat plný text

A Type-Safe Hdl Verified in Coq Autor 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…”
Získat plný text

Multi-Agent Systems: Model-Checking in Logics of Protocols Autor 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…”
Získat plný text

Algebraic Information Effects Autor 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…”
Získat plný text

Functional sets with typed symbols : Mixed zonotopes and Polynotopes for hybrid nonlinear reachability and filtering Autor 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…”
Získat plný text

Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages Autor 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…”
Získat plný text

Formal semantics for PSL modeling layer and application to the verification of transactional models Autor 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…”
Získat plný text

Mathematical Models of Resource-Conscious Computation Autor 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…”
Získat plný text