Suchergebnisse - 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 von 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 …”
Volltext

Healthiness from Duality von 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 …”
Volltext

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

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

Animating the Approach of Deriving Operational Semantics from Algebraic Semantics for Web Services von 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 …”
Volltext

Denotational semantics and its algebraic derivation for an event-driven system-level language von 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 …”
Volltext

Types Are Internal ∞-Groupoids von 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 …”
Volltext

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

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

A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers von 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 …”
Volltext

Abstracting algebraic effects von 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 …”
Volltext

QPCF: Higher-Order Languages and Quantum Circuits von 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 …”
Volltext

Denotational and operational semantics for interaction languages: Application to trace analysis von 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 …”
Volltext

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

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

A compositional framework for algebraic quantitative online monitoring over continuous-time signals von 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 …”
Volltext

A Proof-Producing Compiler for Blockchain Applications von 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 …”
Volltext

A Type-Based Approach to Divide-and-Conquer Recursion in Coq von 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 …”
Volltext

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

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

Presentable signatures and initial semantics von 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 …”
Volltext

DySy: dynamic symbolic execution for invariant inference von 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 …”
Volltext

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

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

An Algebraic Approach to Modeling and Verifying Policy-Driven Smart Devices in IoT Systems von 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 …”
Volltext