Výsledky vyhledávání - Software and its engineering Software notations and tools Formal language definitions

JISET: JavaScript IR-based Semantics Extraction Toolchain Autor 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…”
Získat plný text

Two Birds with One Stone: Multi-Derivation for Fast Context-Free Language Reachability Analysis Autor 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…”
Získat 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ískat plný text

Smart Choices and the Selection Monad Autor 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…”
Získat plný text

Precise Service Level Agreements Autor 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…”
Získat plný text

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

“…A well-known challenge in the semantics of programming languages is how to combine non-determinism and probability…”
Získat plný text

Latent Idiom Recognition for a Minimalist Functional Array Language Using Equality Saturation Autor 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…”
Získat plný text

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

“…Graphical languages, like quantum circuits or ZX-calculus, have been successfully designed to represent (memoryless…”
Získat plný text

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

“…We define a probabilistic programming language for Gaussian random variables with a first-class exact conditioning construct…”
Získat plný text

Translation Validation for JIT Compiler in the V8 JavaScript Engine Autor 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…”
Získat plný text

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

“… We observe that many of Arvada's generalization steps violate common language concept nesting rules…”
Získat plný text

Commutative Monads for Probabilistic Programming Languages Autor 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…”
Získat plný text

Semantic Analysis of Macro Usage for Portability Autor 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…”
Získat plný text

Towards explainable multi-objective probabilistic planning Autor 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…”
Získat plný text

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

Internal ∞-Categorical Models of Dependent Type Theory : Towards 2LTT Eating HoTT Autor 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…”
Získat plný text

Preserving Multi-level Semantics in Conventional Two-Level Modeling Techniques Autor 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…”
Získat plný text

Categories of Nets Autor 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…”
Získat plný text

POSIT: Simultaneously Tagging Natural and Programming Languages Autor 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…”
Získat plný text

Parametricity and Semi-Cubical Types Autor 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…”
Získat plný text