Search Results - Software and _ engineering Software notations and tools Formal language definitions

JISET: JavaScript IR-based Semantics Extraction Toolchain by 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…”
Get full text

Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis by 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…”
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

Smart Choices and the Selection Monad by 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…”
Get full text

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

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

Latent Idiom Recognition for a Minimalist Functional Array Language Using Equality Saturation by 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…”
Get full text

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

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

Precise Service Level Agreements by 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…”
Get full text

Types Are Internal ∞-Groupoids by 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…”
Get full text

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

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

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

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

Translation Validation for JIT Compiler in the V8 JavaScript Engine by 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…”
Get full text

Commutative Monads for Probabilistic Programming Languages by 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…”
Get full text

Semantic Analysis of Macro Usage for Portability by 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…”
Get full text

Internal ∞-Categorical Models of Dependent Type Theory : Towards 2LTT Eating HoTT by 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…”
Get full text

Towards explainable multi-objective probabilistic planning by 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…”
Get full text

Parametricity and Semi-Cubical Types by 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…”
Get full text

Categories of Nets by 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…”
Get full text

SD-Regular Transducer Expressions for Aperiodic Transformations by Dartois, Luc, Gastin, Paul, Krishna, Shankara Narayanan

“… (star-free expressions = aperiodic languages) result of Schützenberger. Our result also generalizes a lesser known characterization by Schutzenberger of aperiodic languages by SD-regular expressions (SD=AP…”
Get full text

SAT-Based Arithmetic Support for Alloy by Cornejo, Cesar

“…Formal specifications in Alloy are organized around user-defined data domains, associated with signatures, with almost no support for built-in datatypes…”
Get full text