Publication
Static and dynamic strategies to understand C programs by code annotation
| dc.contributor.author | Berón, Mario | |
| dc.contributor.author | Henriques, Pedro Rangel | |
| dc.contributor.author | Pereira, Maria João | |
| dc.contributor.author | Uzal, Roberto | |
| dc.date.accessioned | 2008-04-03T13:43:56Z | |
| dc.date.available | 2008-04-03T13:43:56Z | |
| dc.date.issued | 2007 | |
| dc.description.abstract | In this paper we present strategies aimed at understanding program written in C language. These strategies use the code annotation technique to extract information from programs. With these strategies we can define the architecture of a comprehension system that allows us to integrate multiple views important to understand the application under analysis. These views are presented in diferent abstraction levels, and the user can navigate between them. Both features (views and navigation) are useful because they can be used to carry out various program understanding approaches, similar to our mental models. In order to implement these features we define: a scheme to recover static and dynamic information; and an way to manage this information. Furthermore, with the purpose to facilitate the program understanding process we describe a procedure aimed at relating the problem and program domains denominated BORS (Behavioral-Operational Relation Strategy). | en |
| dc.description.sponsorship | FCT | en |
| dc.identifier.citation | Berón, Mário; Henriques, Pedro; Pereira, Maria João; Uzal, Roberto (2007). Static and dynamic strategies to understand C programs by code annotation. In 1st International Workshop on Fondations and Techniques for Open Source Software Certification. Braga. | en |
| dc.identifier.slug | OpenCert 2007 - 1st International Workshop on Fondations and Techniques for Open Source Software Certification (integrado no ETAPS’07) | en |
| dc.identifier.uri | http://hdl.handle.net/10198/589 | |
| dc.language.iso | eng | en |
| dc.language.rfc3066 | eng | en |
| dc.peerreviewed | yes | en |
| dc.publisher | Universidade do Minho | en |
| dc.subject | Program understanding | en |
| dc.subject | Information extraction | en |
| dc.subject | Information visualization | en |
| dc.subject | Program comprehension | en |
| dc.title | Static and dynamic strategies to understand C programs by code annotation | en |
| dc.type | conference paper | |
| dspace.entity.type | Publication | |
| person.familyName | Pereira | |
| person.givenName | Maria João | |
| person.identifier.ciencia-id | C912-4A49-A3B3 | |
| person.identifier.orcid | 0000-0001-6323-0071 | |
| person.identifier.rid | G-5999-2011 | |
| person.identifier.scopus-author-id | 13907870300 | |
| rcaap.rights | openAccess | en |
| rcaap.type | conferenceObject | |
| relation.isAuthorOfPublication | a20ccfa6-4e84-4c25-ab0d-8d6ba196ffc2 | |
| relation.isAuthorOfPublication.latestForDiscovery | a20ccfa6-4e84-4c25-ab0d-8d6ba196ffc2 |