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 × 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 DBLP: Segura:Clara

Contributed to:

PPDP 20132013
LOPSTR 20082008
PPDP 20082008
IFL 20032003
IFL 20012001
IFL 20002000

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

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.