Search Results - "Frade, Maria Joao"

A verified VCGen based on dynamic logic: An exercise in meta-verification with Why3 by Frade, Maria João, Sousa Pinto, Jorge

“…With the incresasing importance of program verification, an issue that has been receiving more attention is the certification of verification tools, addressing…”
Get full text

Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications by Espírito Santo, José, Frade, Maria João, Pinto, Luís

“…In the context of intuitionistic sequent calculus, “naturality” means permutation-freeness (the terminology is essentially due to Mints). We study naturality…”
Get full text

Verification conditions for source-level imperative programs by Frade, Maria João, Pinto, Jorge Sousa

“…This paper is a systematic study of verification conditions and their use in the context of program verification. We take Hoare logic as a starting point and…”
Get full text

Cerebellar abscess by Gemella morbillorum in a patient with inter-atrial communication by Lopes, Armando, Providencia, Rui, Pais, Rui Pedro, Frade, Maria João, Chaddad Neto, Feres, Oliveira, Evandro de

“…Gemella morbillorum, a commensal of the oropharynx, upper respiratory, urogenital and gastrointestinal tract is rarely associated with infections in humans…”
Get full text

A Generalized Program Verification Workflow Based on Loop Elimination and SA Form by Belo Lourenco, Claudio, Frade, Maria Joao, Sousa Pinto, Jorge

“…This paper presents a minimal model of the functioning of program verification and property checking tools based on (i) the encoding of loops as non-iterating…”
Get full text

Foundational certification of data-flow analyses by Frade, M.J., Saabas, A., Uustalu, T.

“…Data-flow analyses, such as live variables analysis, available expressions analysis etc., are usefully specifiable as type systems. These are sound and, in the…”
Get full text

A Generalized Approach to Verification Condition Generation by Belo Lourenco, Claudio, Frade, Maria Joao, Nakajima, Shin, Sousa Pinto, Jorge

“…In a world where many human lives depend on the correct behavior of software systems, program verification assumes a crucial role. Many verification tools rely…”
Get full text

Complex sacral fracture by Alves, José Luís, Duarte, Nubélio, Rocha, Armando, Frade, Maria João

“…We reported a case of a patient with suspected cauda equina syndrome secondary to sacral fracture, after sustaining a fall. The difficulty in early diagnosis…”
Get full text

Cerebellar abscess by Gemella morbillorum in a patient with inter-atrial communication Abscesso cerebelar por Gemella morbillorum em paciente com comunicação inter-atrial by Armando Lopes, Rui Providencia, Rui Pedro Pais, Maria João Frade, Feres Chaddad Neto, Evandro de Oliveira

“…Gemella morbillorum, a commensal of the oropharynx, upper respiratory, urogenital and gastrointestinal tract is rarely associated with infections in humans…”
Get full text

A Single-Assignment Translation for Annotated Programs by Lourenço, Cláudio Belo, Frade, Maria João, Pinto, Jorge Sousa

“…We present a translation of While programs annotated with loop invariants into a dynamic single-assignment language with a dedicated iterating construct. We…”
Get full text

Complex sacral fracture by Alves, José Luís, Duarte, Nubélio, Rocha, Armando, Frade, Maria João

“…We reported a case of a patient with suspected cauda equina syndrome secondary to sacral fracture, after sustaining a fall. The difficulty in early diagnosis…”
Get full text

Comportamento e Estado by Frade, Maria João Gomes

“…Neste trabalho é apresentada uma nova forma de especificar o comportamento de sistemas computacionais usando, para isso, uma lógica com características…”
Get full text