3889 search results - page 12 / 778 » The Use of Program Dependence Graphs in Software Engineering |
AOSD
2006
ACM
14 years 1 months ago
2006
ACM
OOP style requires programmers to organize their code according to objects (or nouns, using natural language as a metaphor), causing a program’s actions (verbs) to become scatte...
ICSE
1995
IEEE-ACM
13 years 11 months ago
1995
IEEE-ACM
Compilers and other programming environment tools derive information from the source code of programs; derived information includes compiled code, interprocedural summary informat...
COMPSAC
2000
IEEE
14 years 1 days ago
2000
IEEE
Understanding program dependencies in a computer program is essential for many software engineering tasks such as program understanding, testing, debugging, reverse engineering, a...
FOSSACS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
ICSE
2009
IEEE-ACM
14 years 7 days ago
2009
IEEE-ACM
Unit testing is a technique of testing a single unit of a program in isolation. The testability of the unit under test can be reduced when the unit interacts with its environment....