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

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

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

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

“… We definethe semantics of SLAng precisely by modelling the syntax ofthe language in UML, then relating the language model toa model that describes the structure and behaviour …”
Volltext

Static Validation of C Preprocessor Macros von Saebjernsen, A., Lingxiao Jiang, Quinlan, D., Zhendong Su

“… 20% of all macros are erroneous. To reduce such errors, more restrictive, replacement languages for CPP have been proposed to limit expanded macros to be valid C syntactic units …”
Volltext

Abstract syntax from concrete syntax von Wile, David S.

“… Modern Software Engineering practice advocates the development of domain-specific specification languages to characterize formally the idioms of discourse and jargon of specific problem domains …”
Volltext

Defining an Enhanced RTL Semantics von Zhao, Shuqing, Gajski, Daniel D.

“… In this paper we formally define an enhanced RTL semantics. This is intended to elevate the RTL design abstraction level and help bridge the HDL semantic gap among synthesis, simulation and formal verification tools …”
Volltext

Translating Fusion/UML to Object-Z von Bittner, Margot, Kammller, Florian

“… We present an extension of the development method Fusion/UML that translates the results of analysis and designinto the formal specification language Object-Z …”
Volltext

Heuristic datapath allocation for multiple wordlength systems von Constantinides, G., Cheung, P., Luk, W.

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 itself" or "type theory in type theory …”
Volltext

Enhancing Code Safety in Quantum Intermediate Representation von Luo, Junjie, Zhao, Jianjun

“… of intermediate representations and compilers. However, the lack of a formal definition and reliance on natural language descriptions in the current state of QIR result in interpretational ambiguity and a dearth of rigor in implementing quantum functions …”
Volltext

Enhancing the Open Network: Definition and Automated Detection of Smart Contract Defects von Song, Hao, Li, Teng, Chen, Jiachi, Chen, Ting, Li, Beibei, Lin, Zhangyan, Lu, Yi, Li, Pan, Zhou, Xihan

“… FunC is the most popular programming language for writing smart contracts on TON. It is distinguished by a unique syntax compared to other smart contract languages …”
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

Asam odx: syntax as semantics von Bienk, Stefan

“… In this paper, we outline a possible formalization of the semantics of the XML-based ODX language …”
Volltext

The analysis of architectural languages for the needs of practitioners von Ozkaya, Mert

“… These requirements are concerned with language definition, language features, and tool support. Some of the important findings obtained from the analysis are as follows: (1 …”
Volltext

Little-JIL/Juliette: a process definition language and interpreter von Cass, Aaron G., Lerner, Barbara Staudt, Sutton, Stanley M., McCall, Eric K., Wise, Alexander, Osterweil, Leon J.

“… Little-JIL, a language for programming coordination in processes is an executable, high-level language with a formal (yet graphical …”
Volltext

Defining visual notations and their manipulation through meta-modelling and graph transformation von de Lara, Juan, Vangheluwe, Hans

“… This paper presents a framework for the definition of visual notations (both syntax and semantics …”
Volltext

Towards a formal semantics of Parnas tables von Janicki, Ryszard

“… Parnas describes several classes of tables and provides their formal syntax and semantics …”
Volltext

Developing graphical (software engineering) tools with PROGRES von Shurr, A.

“… It has a formal definition based on graph rewriting systems. Its integrated programming environment offers means for syntax-directed editing, type checking, interactive …”
Volltext

An EMOF-Compliant Abstract Syntax for Bigraphs von Kehrer, Timo, Tsigkanos, Christos, Ghezzi, Carlo

“… ), the bigraphical theory lacks a precise definition of an abstract syntax for bigraphical modeling languages …”
Volltext