|
Universidade do Minho >
Browsing by author Cruz, Daniela da
Showing results 10 to 18 of 18.
| Issue Date | Title | Author(s) | Type | | Sep-2010 | Parser generation in Perl : an overview and available tools | Areias, Hugo; Simões, Alberto; Henriques, Pedro Rangel, et al. | article |
| 2011 | Parser generation in Perl : crafting an AnTLR back-end | Areias, Hugo; Simões, Alberto; Henriques, Pedro Rangel, et al. | conferenceObject |
| 2012 | Problem domain oriented approach for program comprehension | Pereira, Maria João Tinoco Varanda; Marcelo Berón, Mario; Cruz, Daniela da, et al. | conferenceObject |
| 2012 | Program analysis and evaluation using QUIMERA | Fonte, Daniela; Vilas Boas, Ismael; Cruz, Daniela da, et al. | conferenceObject |
| 2008 | Properties preservation during transformation | Cruz, Daniela da; Pinto, Jorge Sousa; Henriques, Pedro Rangel | conferenceObject |
| 2010 | Safe integration of annotated components in open source projects | Areias, Sérgio; Cruz, Daniela da; Henriques, Pedro Rangel, et al. | article |
| 21-Oct-2011 | Verification, slicing, and visualization of programs with contracts | Cruz, Daniela da | doctoralThesis |
| 2011 | A visual inspector for Boogie programs | Coelho, Márcio; Cruz, Daniela da; Henriques, Pedro Rangel, et al. | article |
| 19-May-2010 | XATA 2010 XML : associated technologies and applications | Simões, Alberto; Cruz, Daniela da; Ramalho, José Carlos | book |
Showing results 10 to 18 of 18.
|
