Suchergebnisse - Software and its engineering Software notations and tools Formal language definitions

JISET: JavaScript IR-based Semantics Extraction Toolchain von Park, Jihyeok, Park, Jihee, An, Seungmin, Ryu, Sukyoung

“… JavaScript was initially designed for client-side programming in web browsers, but its engine is now embedded in various kinds of host software …”
Volltext

Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis von Shi, Chenghang, Li, Haofeng, Sui, Yulei, Lu, Jie, Li, Lian, Xue, Jingling

“… Context-free language (CFL) reachability is a fundamental framework for formulating program analyses …”
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

Smart Choices and the Selection Monad von Abadi, Martin, Plotkin, Gordon

“… In implementations, the choices can be realized by optimization or machine-learning methods.We study this approach from a programming-language perspective …”
Volltext

Precise Service Level Agreements von Skene, James, Lamanna, D. Davide, Emmerich, Wolfgang

“… SLAng is an XML language for defining service levelagreements, the part of a contract between the client andprovider of an Internet service that describes the quality attributesthat the service is required to possess …”
Volltext

From Multisets over Distributions to Distributions over Multisets von Jacobs, Bart

“… A well-known challenge in the semantics of programming languages is how to combine non-determinism and probability …”
Volltext

Latent Idiom Recognition for a Minimalist Functional Array Language Using Equality Saturation von Van Der Cruysse, Jonathan, Dubach, Christophe

“… This paper advocates for the use of a minimalist functional array language supporting a small, but expressive, set of operators …”
Volltext

Graphical Language with Delayed Trace: Picturing Quantum Computing with Finite Memory von Carette, Titouan, de Visme, Marc, Perdrix, Simon

“… Graphical languages, like quantum circuits or ZX-calculus, have been successfully designed to represent (memoryless …”
Volltext

Compositional Semantics for Probabilistic Programs with Exact Conditioning von Stein, Dario, Staton, Sam

“… We define a probabilistic programming language for Gaussian random variables with a first-class exact conditioning construct …”
Volltext

Translation Validation for JIT Compiler in the V8 JavaScript Engine von Kwon, Seungwan, Kwon, Jaeseong, Kang, Wooseok, Lee, Juneyoung, Heo, Kihong

“… software systems, their emerging adaption of JIT compilation makes it increasingly challenging to ensure their correctness …”
Volltext

Fast Deterministic Black-Box Context-Free Grammar Inference von Arefin, Mohammad Rifat, Shetiya, Suraj, Wang, Zili, Csallner, Christoph

“… We observe that many of Arvada's generalization steps violate common language concept nesting rules …”
Volltext

Commutative Monads for Probabilistic Programming Languages von Jia, Xiaodong, Lindenhovius, Bert, Mislove, Michael, Zamdzhiev, Vladimir

“… A long-standing open problem in the semantics of programming languages supporting probabilistic choice is to find a commutative monad for probability on the category DCPO …”
Volltext

Semantic Analysis of Macro Usage for Portability von Pappas, Brent, Gazzillo, Paul

“… C is an unsafe language. Researchers have been developing tools to port C to safer languages such as Rust, Checked C, or Go …”
Volltext

Towards explainable multi-objective probabilistic planning von Sukkerd, Roykrong, Simmons, Reid, Garlan, David

“… Use of multi-objective probabilistic planning to synthesize behavior of CPSs can play an important role in engineering systems that must self-optimize for multiple quality objectives and operate under uncertainty …”
Volltext

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

“… By extending type theory with a universe of definitionally associative and unital polynomial monads, we show how to arrive at a definition of opetopic type which is able to encode a number of fully …”
Volltext

Internal ∞-Categorical Models of Dependent Type Theory : Towards 2LTT Eating HoTT von Kraus, Nicolai

“… Using dependent type theory to formalise the syntax of dependent type theory is a very active topic of study and goes under the name of "type theory eating …”
Volltext

Preserving Multi-level Semantics in Conventional Two-Level Modeling Techniques von Almeida, Joao Paulo A., Musso, Fernando A., Carvalho, Victorio A., Fonseca, Claudenir M., Guizzardi, Giancarlo

“… (first-class citizens). Despite the benefits of the multi-level approach, the vast majority of tools for conceptual modeling are still confined to the two-level …”
Volltext

Categories of Nets von Baez, John C., Genovese, Fabrizio, Master, Jade, Shulman, Michael

“… We present a unified framework for Petri nets and various variants, such as pre-nets and Kock's whole-grain Petri nets. Our framework is based on a less …”
Volltext

POSIT: Simultaneously Tagging Natural and Programming Languages von Partachi, Profir-Petru, Dash, Santanu Kumar, Treude, Christoph, Barr, Earl T.

“… Software developers use a mix of source code and natural language text to communicate with each …”
Volltext

Parametricity and Semi-Cubical Types von Moeneclaey, Hugo

“… We construct a model of type theory enjoying parametricity from an arbitrary one. A type in the new model is a semi-cubical type in the old one, illustrating …”
Volltext