Sections

Home
Personal
Research

Personal tools

You are here: Home → Research → Seminario DSIC → Curso 2009-10 → Conferencias → Using Static Analysis to Detect Type and Concurrency Errors in Erlang Programs

Document Actions

Using Static Analysis to Detect Type and Concurrency Errors in Erlang Programs

by yolanda — last modified 2010-06-09 09:06

Ponente: Konstantinos Sagonas, Fecha: 16-6-2010

Click here to get the file

Size 172.9 kB - File type application/pdf

News: Reclamación sobre pagas extras del PDI 2008-10-30; RSME'09 propuesta de sesión especial 2008-06-18; CfP: MathUI 2008: Mathematical User Interfaces Workshop at MKM'08 2008-04-09; More news…

«	June 2023	»
				1	2	3
4	5	6	7	8	9	10
11	12	13	14	15	16	17
18	19	20	21	22	23	24
25	26	27	28	29	30

This site conforms to the following standards:

Section 508
WCAG
Valid XHTML
Valid CSS
Usable in any browser

«	June 2023					»
Su	Mo	Tu	We	Th	Fr	Sa
				1	2	3
4	5	6	7	8	9	10
11	12	13	14	15	16	17
18	19	20	21	22	23	24
25	26	27	28	29	30

«	June 2023					»
Su	Mo	Tu	We	Th	Fr	Sa
				1	2	3
4	5	6	7	8	9	10
11	12	13	14	15	16	17
18	19	20	21	22	23	24
25	26	27	28	29	30

Portal SIC

Sections

Personal tools

Document Actions

Using Static Analysis to Detect Type and Concurrency Errors in Erlang Programs

«	June 2023					»
Su	Mo	Tu	We	Th	Fr	Sa
				1	2	3
4	5	6	7	8	9	10
11	12	13	14	15	16	17
18	19	20	21	22	23	24
25	26	27	28	29	30