Travelled to:
1 × Cyprus
1 × USA
2 × United Kingdom
Collaborated with:
F.Orejas E.Pasarella M.Navarro
Talks about:
program (3) semant (3) normal (3) implic (2) logic (2) embed (2) transform (1) increment (1) synchron (1) grammar (1)
Person: Elvira Pino
DBLP: Pino:Elvira
Contributed to:
Wrote 4 papers:
- ICMT-2014-OrejasP #correctness #graph grammar #incremental
- Correctness of Incremental Model Synchronization with Triple Graph Grammars (FO, EP), pp. 74–90.
- 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.
- ICLP-2001-OrejasPP #embedded #logic programming #semantics #source code
- Semantics of Normal Logic Programs with Embedded Implications (FO, EP, EP), pp. 255–268.
- ICLP-1999-OrejasP #semantics #source code
- Semantic Definitions for Normal Open Programs (FO, EP), pp. 200–214.