An introduction to data representation synthesis

Hawkins, Peter; Rinard, Martin; Aiken, Alex; Sagiv, Mooly; Fisher, Kathleen

doi:10.1145/2380656.2380677

Cited by 4 publications

(2 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Even if we ignore the run-time inefficiencies that this solution introduces, the programmer will have to maintain the collection on her own, and the common approaches do not provide any solution to the composition problem. [11], [17]. Composability of collections is closely coupled to evolvability, comprehensibility and modularity.…”

Section: Fig 1 the Linux Inodementioning

confidence: 99%

Separation of Collection Concern

Niknamian¹

2019

Preprint

View full text Add to dashboard Cite

Separation of concerns is a common way to identify, encapsulate and manipulate only parts of software that are relevant to a particular concept, goal or purpose. Collection is an important concern of the programs, but it is mixed with data manipulation in the current programming languages. In addition, the current approach to handle collections are limiting the composition of collections. This paper introduces a novel approach called metastruct to encapsulate collection concern. The metastruct has sections to introduce various parts of a collection and operators to build a collection efficiently. The other feature of the metastruct mechanism is composition. It provides the ability to create composed metastructs based on others. Efficiency, simplicity and flexibility are the major features of the proposed approach.

show abstract

Section: Fig 1 the Linux Inodementioning

confidence: 99%

Separation of Collection Concern

Niknamian¹

2019

Preprint

View full text Add to dashboard Cite

show abstract

“…For instance, Paige and Henglein [34] show the derivation of initial implementations of the ADT-based specification employing fix-point iterations, and later optimizing the implementation using finite differencing. Lately, in [35], Hawkins et al have applied the deductive synthesis to derive ADT-based implementations based on abstract relational descriptions for various database operations, e.g., query and update.…”

Section: ) Deductive Synthesis Of Security Propertiesmentioning

confidence: 99%

ARMET: Behavior-Based Secure and Resilient Industrial Control Systems

Khan

Serpanos

Shrobe³

2018

Proc. IEEE

View full text Add to dashboard Cite

diMiTrios serpanos, a nd howard shrobe cyber means alone was first demonstrated in the well-known Aurora experiment where a pure cyber attack successfully destroyed a diesel generator [2]; Stuxnet [3] and the recent Ukrainian smartgrid attack [4] as well as several additional less known incidents have demonstrated the potential of cyber attacks to inflict serious societal damage. Finally, ICSs may be compromised to serve as elements of a Botnet as the recent Mirai attack indicates [5]. To address reliability and security in ICSs, one needs to take into account the characteristics of OT technology that differentiates ICSs from typical IT systems, because this influences the security methods and solutions that are appropriate for ICSs. ICSs typically have real-time requirements, often hard ones, whose violation may have significant, or even catastrophic, results. It is important to note that func

show abstract