Zobrazeno 1 - 10
of 14
pro vyhledávání: '"Ettinger, Ran"'
Publikováno v:
EPTCS 338, 2021, pp. 68-81
Formal software verification techniques are widely used to specify and prove the functional correctness of programs. However, nonfunctional properties such as time complexity are usually carried out with pen and paper. Inefficient code in terms of ti
Externí odkaz:
http://arxiv.org/abs/2108.02966
Autor:
Ettinger, Ran, Tyszberowicz, Shmuel
Publikováno v:
2016 IEEE 23rd International Conference on Software Analysis, Evolution & Reengineering (SANER); 2016, Issue 3, p53-59, 7p
By now, the concept of program slicing has been known in the research community for around 25 years. As a research topic, it has enjoyed a fair share of popularity, evidenced by the number of articles published on the topic following Mark Weiser's se
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8301584bbedcf1342b454d49da20efe4
Publikováno v:
Fundamental Approaches to Software Engineering (9783642288715); 2012, p471-485, 15p
Publikováno v:
Foundations of Software Engineering; 8/24/2009, p223-232, 10p
Publikováno v:
Proceedings of the 2nd Workshop: Refactoring Tools; 10/19/2008, p1-4, 4p
Publikováno v:
ICSE: International Conference on Software Engineering; May2006, p172-181, 10p
Autor:
Ettinger, Ran, Verbaere, Mathieu
Publikováno v:
Aspect-oriented Software Development; Apr2004, p93-101, 9p