BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Aponte:Maria=Virginia

Contributed to:

HILT 20132013
FM 20122012
PLILP 19961996
POPL 19931993
SLP 19841984

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.