Výsledky vyhľadávania - Software and its engineering Software notations and tools Formal language definitions Syntax

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ískať 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ískať 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ískať plný text

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

Static Validation of C Preprocessor Macros Autor 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…”
Získať plný text

Abstract syntax from concrete syntax Autor 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…”
Získať plný text

Defining an Enhanced RTL Semantics Autor 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…”
Získať plný text

Translating Fusion/UML to Object-Z Autor 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…”
Získať plný text

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

Získať 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 itself" or "type theory in type theory…”
Získať plný text

Enhancing Code Safety in Quantum Intermediate Representation Autor 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…”
Získať plný text

Enhancing the Open Network: Definition and Automated Detection of Smart Contract Defects Autor 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…”
Získať 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ískať plný text

Asam odx: syntax as semantics Autor Bienk, Stefan

“…In this paper, we outline a possible formalization of the semantics of the XML-based ODX language…”
Získať plný text

The analysis of architectural languages for the needs of practitioners Autor 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…”
Získať plný text

Little-JIL/Juliette: a process definition language and interpreter Autor 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…”
Získať plný text

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

“…This paper presents a framework for the definition of visual notations (both syntax and semantics…”
Získať plný text

Towards a formal semantics of Parnas tables Autor Janicki, Ryszard

“… Parnas describes several classes of tables and provides their formal syntax and semantics…”
Získať plný text

Developing graphical (software engineering) tools with PROGRES Autor 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…”
Získať plný text

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

“…), the bigraphical theory lacks a precise definition of an abstract syntax for bigraphical modeling languages…”
Získať plný text