Travelled to:1 × France
1 × Germany
3 × USA
Collaborated with:R.D.Cosmo ∅ P.Courtieu J.A.Fernández P.Roussel Y.Moy M.Sango T.Crolard Z.Zhang Robby J.Belt J.Hatcliff J.Guitton T.Jennings
Talks about:type (3) modul (2) rule (2) signatur (1) parametr (1) isomorph (1) explicit (1) composit (1) program (1) pattern (1)
Person: Maria-Virginia Aponte
DBLP: Aponte:Maria=Virginia
Contributed to:
2013
2012
1996
1993
1984Wrote 5 papers:
- HILT-2013-CourtieuACZRBHG #coq #formal method #runtime #semantics #towards #using
- Towards the formalization of SPARK 2014 semantics with explicit run-time checks using coq (PC, MVA, TC, ZZ, R, JB, JH, JG, TJ), pp. 21–22.
- FM-2012-AponteCMS #composition #invariant
- Maximal and Compositional Pattern-Based Loop Invariants (MVA, PC, YM, MS), pp. 37–51.
- PLILP-1996-AponteC #morphism
- Type Isomorphisms for Module Signatures (MVA, RDC), pp. 334–346.
- POPL-1993-Aponte #parametricity #type system
- Extending Record Typing to Type Parametric Modules with Sharing (MVA), pp. 465–478.
- SLP-1984-AponteFR84 #editing #first-order #proving
- Editing First-Order Proofs: Programmed Rules vs Derived Rules (MVA, JAF, PR), pp. 92–98.