E-LIB Suche - Ergebnisse für: Frade, Maria João

1

A verified VCGen based on dynamic logic: An exercise in met..:

Frade, Maria João ; Sousa Pinto, Jorge
Journal of Logical and Algebraic Methods in Programming. 133 (2023) - p. 100871 , 2023

Link: https://doi.org/10.1016/..

2

Variations and interpretations of naturality in call-by-nam..:

Espírito Santo, José ; Frade, Maria João ; Pinto, Luís
Journal of Logical and Algebraic Methods in Programming. 131 (2023) - p. 100830 , 2023

Link: https://doi.org/10.1016/..

3

A generalized program verification workflow based on loop e..:

, In: Proceedings of the 7th International Workshop on Formal Methods in Software Engineering,

Lourenço, Cláudio Belo ; Frade, Maria João ; Pinto, Jorge Sousa - p. 75-84 , 2019

Link: https://dl.acm.org/doi/1..

4

Verification conditions for single-assignment programs:

, In: Proceedings of the 27th Annual ACM Symposium on Applied Computing,

da Cruz, Daniela ; Frade, Maria João ; Pinto, Jorge Sousa - p. 1264-1270 , 2012

Link: https://dl.acm.org/doi/1..

5

Rigorous software development

an introduction to program verification Undergraduate topics in computer science

Frade, Maria João ; Pinto, Jorge Sousa ; Melo de Sousa, Simão. , 2011

Exemplar: Zentrale:E02 a inf 440 ver/407

6

Verification conditions for source-level imperative program:

Frade, Maria João ; Pinto, Jorge Sousa
Computer Science Review. 5 (2011) 3 - p. 252-277 , 2011

Link: https://doi.org/10.1016/..

7

Bidirectional data-flow analyses, type-systematically:

, In: Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation,

Frade, Maria João ; Saabas, Ando ; Uustalu, Tarmo - p. 141-150 , 2009

Link: https://dl.acm.org/doi/1..

8

A Generalized Program Verification Workflow Based on Loop E..:

Belo Lourenço, Cláudio ; Frade, Maria, João ; Sousa Pinto, Jorge
hal-02431769. , 2019

Link: https://inria.hal.scienc..

9

A Generalized Program Verification Workflow Based on Loop E..:

Belo Lourenço, Cláudio ; Frade, Maria, João ; Sousa Pinto, Jorge
hal-02431769. , 2019

Link: https://inria.hal.scienc..

10

A Single-Assignment Translation for Annotated Programs:

Lourenço, Cláudio Belo ; Frade, Maria João ; Pinto, Jorge Sousa
http://arxiv.org/abs/1601.00584. , 2016

Link: http://arxiv.org/abs/160..

11

Complex sacral fracture:

Alves, José Luís ; Duarte, Nubélio ; Rocha, Armando.
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3794241/. , 2013

Link: http://www.ncbi.nlm.nih...

12

Screening a Targeted Panel of Genes by Next-Generation Sequ..:

Matos, Sónia ; Bernardo, Paulo ; Esteves, Susana...
Cancers. 14 (2022) 13 - p. 3236 , 2022

Link: https://doi.org/10.3390/..

13

Germline Genetic Variants of the Renin-Angiotensin System, ..:

Catarata, Maria Joana ; Medeiros, Rui ; Oliveira, Maria José...
Cancers. 12 (2020) 12 - p. 3834 , 2020

Link: https://doi.org/10.3390/..

14

O adorno como artifício e articulador do espaço:

Sintra, Maria João Frade
http://hdl.handle.net/10400.26/17507. , 2017

Link: http://hdl.handle.net/10..

15

Levels of diphtheria and tetanus specific IgG of Portuguese..:

Gonçalves, Guilherme ; Santos, Maria Augusta ; Frade, João Graça.
BMC Public Health. 7 (2007) 1 - p. , 2007

Link: https://doi.org/10.1186/..