Usage contracts: Offering immediate feedback on violations of structural source-code regularities

Lozano, Ángela; Mens, Kim; Kellens, Andy

doi:10.1016/j.scico.2015.01.004

Cited by 7 publications

(3 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This creates a disconnect between writing code and understanding its energy efficiency. It has been shown that immediate feedback is beneficial for correctness properties (e.g., using contracts [9]), but the advantages of immediate feedback for non-functional properties has been less studied.…”

Section: Type Systems For Energy-awarenessmentioning

confidence: 99%

Type Systems in Resource-Aware Programming: Opportunities and Challenges

Fonseca¹,

Espada²

2022

Preprint

View full text Add to dashboard Cite

Type systems provide software developers immediate feedback about a subset of correctness properties of their programs. IDE integrations often take advantage of type systems to present errors, suggest completions and even improve navigation. On the other hand, understanding the time and energy consumption of the execution of a program requires manual testing.In this paper, we identify existing work on using type systems for energy awareness, and define the requirements for a practical approach, which the existing approaches do not address fully.Furthermore, we also discuss how existing type systems can help generalize refactors for energy-efficiency.

show abstract

Section: Type Systems For Energy-awarenessmentioning

confidence: 99%

Type Systems in Resource-Aware Programming: Opportunities and Challenges

Fonseca¹,

Espada²

2022

Preprint

View full text Add to dashboard Cite

show abstract

“…To further test the expressiveness of Dictō, we performed a literature survey and tried to encode architectural rules reported in other papers using our DSL. We collected 44 rules by reviewing various sources [4], [5], [6]. The full list can be viewed on our website 9 .…”

Section: B Expressiveness In Theorymentioning

confidence: 99%

“…Pruijt et al [13] also identify a set of conformance rules that are not supported by any of the analyzed tools (e.g., naming conventions, subclass inheritance). Such rules could be checked using tools such as SOUL [14], uContracts [5], LogEN [15] or SCL [16]. Unfortunately such solutions are mostly proofs of concept and are rarely tested in a realistic industrial environment.…”

Section: Related Workmentioning

confidence: 99%

Evaluating an Architecture Conformance Monitoring Solution

Caracciolo

Lungu

Truffer³

et al. 2016

2016 7th International Workshop on Empirical Software Engineering in Practice (IWESEP)

View full text Add to dashboard Cite

Architectural rules are often defined but rarely tested. Current tools offer limited functionality and often require significant effort to be configured, automated and integrated within existing platforms. We propose a platform that is aimed at reducing the overall cost of setting up and maintaining an architectural conformance monitoring environment by decoupling the conceptual representation of a user-defined rule from its technical specification prescribed by the underlying analysis tools. The user is no longer expected to encode her constraints according to the syntax of the chosen tool, but can use a simple high-level DSL that is automatically compiled to an executable specification through custom adapters developed to support the interaction with existing off-the-shelf tools. In this paper we analyze three case studies to show how this approach can be successfully adopted to support truly diverse industrial projects. By discussing qualitative aspects of the approach, we investigate limitations and opportunities for improving general quality assessment solutions in general and DSL-based conformance tools in particular.

show abstract