Four papers accepted to the ACM SIGPLAN International Conference on Functional Programming

Дата публикации: 31-05-2011 11:00:00

Six members of Oxford’s Department of Computer Science have had four papers accepted to the 16th ACM SIGPLAN International Conference on Functional Programming, in Tokyo, Japan in September 2011.

Основное содержимое страницы с новостью.

Six members of Oxford’s Department of Computer Science have had four papers accepted to the 16th ACM SIGPLAN International Conference on Functional Programming, in Tokyo, Japan, in September  2011.

ICFP 2011 provides a forum for researchers and developers to hear about the latest work on the design, implementations, principles, and uses of functional programming. The conference covers the entire spectrum of work, from practice to theory, including its peripheries.

The papers are as follows:

Incremental Updates for Efficient Bidirectional Transformations

Meng Wang, Jeremy Gibbons and Nicolas Wu

http://www.cs.ox.ac.uk/publications/publication4878-abstract.html

Just do it: Simple monadic equational reasoning

Jeremy Gibbons and Ralf Hinze

http://www.cs.ox.ac.uk/publications/publication4877-abstract.html

Modular verification of preemptive OS kernels

Alexey Gotsman and Hongseok Yang

http://www.cs.ox.ac.uk/publications/publication4986-abstract.html

Proving The Unique Fixed-Point Principle Correct

Ralf Hinze and Daniel W. H. James

http://www.cs.ox.ac.uk/publications/publication4991-abstract.html

Схожие новости

#	Наименование новости	Тональность	Информативность	Дата публикации
1	Oxford students win prestigious international programming contest	0	5.78	26-09-2011
2	Six papers at TACAS 2016	0	10.94	20-12-2015
3	Strong showing for Oxford at Logic in Computer Science conference	0	16.25	11-04-2012
4	Success for Oxford computer scientists at POPL 2025	0	12.45	19-02-2025
5	Papers accepted to FoSSaCS 2012	0	12.71	21-12-2011
6	Eleven papers accepted for machine learning conference, ICML 2018	0	13.29	22-05-2018
7	20% of all ICALP (track B) papers from Oxford	0	16.35	22-04-2014
8	Four papers accepted to CONCUR 2011	0	14.91	27-05-2011
9	Papers accepted to ESOP 2012	0	15.31	10-01-2012
10	Papers accepted to TACAS 2012	0	12.61	10-01-2012

Классификация: Пресс-релизы. Схожих патентов: 0. Схожих новостей: 10. Тональность: 0. Информативность: 5.94. Источник: www.cs.ox.ac.uk.