Search Results - Semantics of Programming Languages. Algebraic approaches to semantics

Equivalence of the schemes of programs based on the algebraic approach to setting the semantics of programming languages by Korablin, Y. P.

“… The programming language model presented in the paper contains basic constructs of sequential languages and is the core of the existing sequential programming languages…”
Get full text

Healthiness from Duality by Hino, Wataru, Kobayashi, Hiroki, Hasuo, Ichiro, Jacobs, Bart

“…Healthiness is a good old question in program logics that dates back to Dijkstra. It asks for an intrinsic characterization of those predicate transformers…”
Get full text

A Theorem Proving Approach to Programming Language Semantics by Roy, Subhajit

“…The semantics of programming languages is one of the core topics in computer science…”
Get full text

Animating the Approach of Deriving Operational Semantics from Algebraic Semantics for Web Services by Qian Wang, Huibiao Zhu

“… Our approach was to derive the operational semantics from algebraic semantics. This paper considers the animation approach for the link between operational semantics and algebraic semantics for BPEL…”
Get full text

Denotational semantics and its algebraic derivation for an event-driven system-level language by Zhu, H., He, Jifeng, Qin, Shengchao, Brooke, Phillip J.

“… The denotational method is another approach to studying the semantics of a programming language. It provides the mathematical meaning to programs and can predict the behaviour of programs…”
Get full text

Types Are Internal ∞-Groupoids by Finster, Eric, Allioux, Antoine, Sozeau, Matthieu

“… coherent algebraic structures. In particular, our approach leads to a definition of ∞-groupoid internal to type theory and we prove that the type…”
Get full text

Correct hardware synthesis: An algebraic approach by Perna, Juan, Woodcock, Jim, Sampaio, Augusto, Iyoda, Juliano

“…This paper presents an algebraic compilation approach to the correct synthesis (compilation into hardware…”
Get full text

A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers by Cristiá, Maximiliano, Rossi, Gianfranco

“…Let L X be the language of a first-order, decidable, quantifier-free theory X . Consider the language, L R Q ( X…”
Get full text

Abstracting algebraic effects by Biernacki, Dariusz, Piróg, Maciej, Polesiuk, Piotr, Sieczkowski, Filip

“… In this paper, we introduce and examine programming language constructs that back adoption of programming with algebraic effects on a larger scale in a modular fashion by providing mechanisms for abstraction…”
Get full text

QPCF: Higher-Order Languages and Quantum Circuits by Paolini, Luca, Piccolo, Mauro, Zorzi, Margherita

“… Despite its quantum features, qPCF retains the classic programming approach of PCF. We introduce qPCF syntax, typing rules, and its operational semantics…”
Get full text

Denotational and operational semantics for interaction languages: Application to trace analysis by Mahe, Erwan, Gaston, Christophe, Le Gall, Pascale

“…) are widely used, with formalisms such as Message Sequence Charts (MSC) or UML-SD. Yet, only restricted subsets of these languages are associated to formal semantics, most of which are given by translation towards other formalisms…”
Get full text

Theoretical and Practical Approaches to the Denotational Semantics for MDESL based on UTP by Sheng, Feng, Zhu, Huibiao, He, Jifeng, Yang, Zongyuan, Bowen, Jonathan P.

“…The hardware description language Verilog has been standardized and widely used in industry…”
Get full text

A compositional framework for algebraic quantitative online monitoring over continuous-time signals by Mamouras, Konstantinos, Chattopadhyay, Agnishom, Wang, Zhifu

“…). We consider an abstract algebraic semantics based on complete lattices. This semantics includes as particular cases the standard Boolean (qualitative…”
Get full text

A Proof-Producing Compiler for Blockchain Applications by Avigad, Jeremy, Goldberg, Lior, Levit, David, Seginer, Yoav, Titelman, Alon

“…CairoZero is a programming language for running decentralized applications (dApps) at scale. Programs written in the CairoZero language are compiled to machine…”
Get full text

A Type-Based Approach to Divide-and-Conquer Recursion in Coq by Abreu, Pedro, Delaware, Benjamin, Hubers, Alex, Jenkins, Christa, Morris, J. Garrett, Stump, Aaron

“… Extending the rich line of previous work on algebraic approaches to recursion schemes, we present an algebraic approach to divide-and-conquer recursion…”
Get full text

Locality-Based Normal Form Approach to Linking Algebraic Semantics and Operational Semantics for an Event-Driven System-Level Language by Huibiao Zhu, Yongxin Zhao, Jifeng He

“… for SystemC, where our approach is to derive the operational semantics from algebraic semantics…”
Get full text

Presentable signatures and initial semantics by Ahrens, Benedikt, Hirschowitz, André, Lafont, Ambroise, Maggesi, Marco

“…We present a device for specifying and reasoning about syntax for datatypes, programming languages, and logic calculi…”
Get full text

DySy: dynamic symbolic execution for invariant inference by Csallner, Christoph, Tillmann, Nikolai, Smaragdakis, Yannis

“…Dynamically discovering likely program invariants from concrete test executions has emerged as a highly promising software engineering technique. Dynamic…”
Get full text

A Calculus for Scoped Effects & Handlers by Bosman, Roger, Berg, Birthe van den, Tang, Wenhao, Schrijvers, Tom

“…Algebraic effects & handlers have become a standard approach for side-effects in functional programming…”
Get full text

An Algebraic Approach to Modeling and Verifying Policy-Driven Smart Devices in IoT Systems by Chi, Xiaotong, Zhang, Min, Xu, Xiao

“… In this paper, we propose a novel algebraic approach to modeling and verifying policy-driven smart devices in IoT systems on the basis of a domain-specific modeling language called PobSAM…”
Get full text