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 × Switzerland
1 × The Netherlands
1 × United Kingdom
Collaborated with:
F.Orejas P.Lucio R.Arruabarrena E.Pasarella E.Pino J.Gaintzarain M.Hermo
Talks about:
program (2) static (2) implic (2) logic (2) embed (2) free (2) transform (1) parameter (1) calculus (1) sequent (1)

Person: Marisa Navarro

DBLP DBLP: Navarro:Marisa

Contributed to:

CSL 20072007
LOPSTR 20052005
FoSSaCS 19991999
TAPSOFT, Vol.1: CAAP 19871987

Wrote 4 papers:

CSL-2007-GaintzarainHLNO #calculus #invariant
A Cut-Free and Invariant-Free Sequent Calculus for PLTL (JG, MH, PL, MN, FO), pp. 481–495.
LOPSTR-2005-PasarellaOPN #embedded #logic programming #semantics #source code
A Transformational Semantics of Static Embedded Implications of Normal Logic Programs (EP, FO, EP, MN), pp. 133–146.
FoSSaCS-1999-ArruabarrenaLN #embedded #logic programming
A Strong Logic Programming View for Static Embedded Implications (RA, PL, MN), pp. 56–72.
CAAP-1987-NavarroO #correctness #horn clause #proving #specification
Parameterized Horn Clause Specifications: Proof Theory and Correctness (MN, FO), pp. 202–216.

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.