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

Fast Deterministic Black-Box Context-Free Grammar Inference von 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 …”
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. CFL-reachability analysis works on top of an edge-labeled …”
Volltext

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. Despite the …”
Volltext

Precise Service Level Agreements von 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 …”
Volltext

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

“… The widely used C preprocessor (CPP) is generally considered a source of difficulty for understanding and maintaining C/C++ programs. The main reason for this …”
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 …”
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 …”
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