Výsledky vyhľadávania - 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 Autor 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…”
Získať plný text

Healthiness from Duality Autor 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…”
Získať plný text

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

“…The semantics of programming languages is one of the core topics in computer science…”
Získať plný text

Animating the Approach of Deriving Operational Semantics from Algebraic Semantics for Web Services Autor 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…”
Získať plný text

Denotational semantics and its algebraic derivation for an event-driven system-level language Autor 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…”
Získať plný text

Types Are Internal ∞-Groupoids Autor 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…”
Získať plný text

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

“…This paper presents an algebraic compilation approach to the correct synthesis (compilation into hardware…”
Získať plný text

A Practical Decision Procedure for Quantifier-Free, Decidable Languages Extended with Restricted Quantifiers Autor 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…”
Získať plný text

Abstracting algebraic effects Autor 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…”
Získať plný text

QPCF: Higher-Order Languages and Quantum Circuits Autor 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…”
Získať plný text

Denotational and operational semantics for interaction languages: Application to trace analysis Autor 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…”
Získať plný text

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

“…The hardware description language Verilog has been standardized and widely used in industry…”
Získať plný text

A compositional framework for algebraic quantitative online monitoring over continuous-time signals Autor 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…”
Získať plný text

A Proof-Producing Compiler for Blockchain Applications Autor 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…”
Získať plný text

A Type-Based Approach to Divide-and-Conquer Recursion in Coq Autor 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…”
Získať plný text

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

“… for SystemC, where our approach is to derive the operational semantics from algebraic semantics…”
Získať plný text

Presentable signatures and initial semantics Autor 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…”
Získať plný text

DySy: dynamic symbolic execution for invariant inference Autor 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…”
Získať plný text

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

“…Algebraic effects & handlers have become a standard approach for side-effects in functional programming…”
Získať plný text

An Algebraic Approach to Modeling and Verifying Policy-Driven Smart Devices in IoT Systems Autor 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…”
Získať plný text