Search Results - "Software and its 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. Despite the…”
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. CFL-reachability analysis works on top of an edge-labeled…”
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. This topic is formalism-heavy and requires the student to attempt…”
Get full text

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

“…Describing systems in terms of choices and their resulting costs and rewards promises to free algorithm designers and programmers from specifying how to make…”
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…”
Get full text

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

“…Conceptual models are often built with techniques that propose a strict stratification of entities into two classification levels: a level of types (or…”
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…”
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. We give operational, denotational…”
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. At a technical level, the problem arises…”
Get full text

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

“…We present TURBOTV, a translation validator for the JavaScript (JS) just-in-time (JIT) compiler of V8. WhileJS engines have become a crucial part of various…”
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…”
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. Existing tools, however, resort to…”
Get full text

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

“…Black-box context-free grammar inference is a hard problem as in many practical settings it only has access to a limited number of example programs. The…”
Get full text

POSIT: Simultaneously Tagging Natural and Programming Languages by 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 other: Stack Overflow and Developer mailing lists abound with…”
Get full text

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

“…Accelerating programs is typically done by recognizing code idioms matching high-performance libraries or hardware interfaces. However, recognizing such idioms…”
Get full text

On Generalized Metric Spaces for the Simply Typed Lambda-Calculus by Pistone, Paolo

“…Generalized metrics, arising from Lawvere's view of metric spaces as enriched categories, have been widely applied in denotational semantics as a way to…”
Get full text

Interacting Frobenius Algebras are Hopf by Duncan, Ross, Dunne, Kevin

“…Theories featuring the interaction between a Frobenius algebra and a Hopf algebra have recently appeared in several areas in computer science: concurrent…”
Get full text

Session Logical Relations for Noninterference by Derakhshan, Farzaneh, Balzer, Stephanie, Jia, Limin

“…Information flow control type systems statically restrict the propagation of sensitive data to ensure end-to-end confidentiality. The property to be shown is…”
Get full text

Evidenced Frames: A Unifying Framework Broadening Realizability Models by Cohen, Liron, Miquey, Etienne, Tate, Ross

“…Constructive foundations have for decades been built upon realizability models for higher-order logic and type theory. However, traditional realizability…”
Get full text

A Relational Theory of Monadic Rewriting Systems, Part I by Gavazzo, Francesco, Faggian, Claudia

“…Motivated by the study of effectful programming languages and computations, we introduce a relational theory of monadic rewriting systems. The latter are…”
Get full text