Travelled to:1 × Germany
1 × Sweden
1 × United Kingdom
3 × Spain
Collaborated with:R.Peña M.Montenegro R.Peña-Marí
Talks about:languag (4) function (3) determin (3) analysi (3) type (3) non (3) parallel (2) correct (2) safe (2) algorithm (1)
Person: Clara Segura
DBLP: Segura:Clara
Contributed to:
2013
20082008
200320012000Wrote 7 papers:
- PPDP-2013-MontenegroPS #analysis #functional #regular expression #using
- Shape analysis in a functional language by using regular languages (MM, RP, CS), pp. 251–262.
- LOPSTR-2008-MontenegroPS #algorithm
- An Inference Algorithm for Guaranteeing Safe Destruction (MM, RPM, CS), pp. 135–151.
- PPDP-2008-MontenegroPS #correctness #memory management #proving #type system
- A type system for safe memory management and its proof of correctness (MM, RP, CS), pp. 152–162.
- IFL-2003-SeguraP #analysis #correctness #nondeterminism
- Correctness of Non-determinism Analyses in a Parallel-Functional Language (CS, RP), pp. 69–85.
- IFL-2001-PenaS #type system
- Sized Types for Typing Eden Skeletons (RP, CS), pp. 1–17.
- IFL-2001-PenaS01a #analysis #nondeterminism
- A Polynomial-Cost Non-determinism Analysis (RP, CS), pp. 121–137.
- IFL-2000-PenaS #analysis #nondeterminism
- Non-determinism Analysis in a Parallel-Functional Language (RP, CS), pp. 1–18.