Suchergebnisse - syntax and semantics of Boolean circuits

Algebraic effects and handlers for arrows von 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 …”
Volltext

Symmetries in Reversible Programming: From Symmetric Rig Groupoids to Reversible Programming Languages von 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 …”
Volltext

A Type-Safe Hdl Verified in Coq von 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 …”
Volltext

Multi-Agent Systems: Model-Checking in Logics of Protocols von 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 …”
Volltext

Algebraic Information Effects von 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 …”
Volltext

Functional sets with typed symbols : Mixed zonotopes and Polynotopes for hybrid nonlinear reachability and filtering von 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 …”
Volltext

Symmetries in reversible programming: from symmetric rig groupoids to reversible programming languages von 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 …”
Volltext

Formal semantics for PSL modeling layer and application to the verification of transactional models von 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 …”
Volltext

Mathematical Models of Resource-Conscious Computation von 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 …”
Volltext