Maria João Frade

MaRDI QIDQ1960261zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Permutability in proof terms for intuitionistic sequent calculus with cuts	2026-02-20	Paper
Rigorous software development. An introduction to program verification (to appear) Undergraduate Topics in Computer Science	2025-08-06	Paper
A verified VCGen based on dynamic logic: an exercise in meta-verification with Why3 Journal of Logical and Algebraic Methods in Programming	2023-06-19	Paper
Variations and interpretations of naturality in call-by-name lambda-calculi with generalized applications Journal of Logical and Algebraic Methods in Programming	2023-02-03	Paper
Formalizing Single-Assignment Program Verification: An Adaptation-Complete Approach Programming Languages and Systems	2016-04-26	Paper
A bounded model checker for SPARK programs Automated Technology for Verification and Analysis	2015-12-17	Paper
Verification conditions for source-level imperative programs Computer Science Review	2014-10-24	Paper
Rigorous software development. An introduction to program verification. Undergraduate Topics in Computer Science	2010-10-13	Paper
Structural Proof Theory as Rewriting Lecture Notes in Computer Science	2008-09-25	Paper

Research outcomes over time

This page was built for person: Maria João Frade