Central European functional programming school 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, revised selected papers /

Central European functional programming school 4th Summer School, CEFP 2011, Budapest, Hungary, June 14-24, 2011, revised selected papers /

This volume presents the revised lecture notes of selected talks given at the Fourth Central European Functional Programming School, CEFP 2011, held in June 2011 in Budapest, Hungary. The 11 revised full papers presented were carefully reviewed by experts on functional programming and revised based...

Повний опис

Збережено в:

Бібліографічні деталі
Співавтор:	SpringerLink (Online service)
Інші автори:	Horváth, Zoltán, Plasmeijer, Rinus, Zsók, Viktória
Формат:	eКнига
Мова:	English
Опубліковано:	Berlin, Heidelberg Imprint: Springer 2012.
Серія:	Lecture Notes in Computer Science 7241
Предмети:	Computer science. Software engineering.
Онлайн доступ:	Click here to view the full text content
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!

Схожі ресурси

Central European functional programming school : First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures /
Опубліковано: (2006)

Central european functional programming school third summer school, CEFP 2009, Budapest, Hungary, May 21-23, 2009 and Kom©Łrno, Slovakia, May 25-30, 2009, revised selected lectures /
Опубліковано: (2010)

Advanced functional programming : 5th International School, AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures /

Applications of graph transformations with industrial relevance : 4th International symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers /
Опубліковано: (2012)

The european central bank at ten
Опубліковано: (2010)

Trends in functional programming 12th international symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, revised selected papers /
Опубліковано: (2012)

Eternal systems : first international workshop, EternalS 2011, Budapest, Hungary, May 3, 2011, Revised Selected Papers /
Опубліковано: (2012)

Functional and constraint logic programming 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, revised selected papers /
Опубліковано: (2010)

Membrane computing : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers /
Опубліковано: (2013)

Generative and transformational techniques in software engineering IV : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers /
Опубліковано: (2013)

Functional and logic programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
Опубліковано: (2014)

ECOOP' 87 European Conference on Object-Oriented Programming Paris, France, June 15-17, 1987 Proceedings /
за авторством: Bézivin, Jean
Опубліковано: (1987)

Implementation and application of functional languages : 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers /
Опубліковано: (2007)

Trends in functional programming : 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers /
Опубліковано: (2013)

Programming multi-agent systems 9th international workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, revised selected papers /
Опубліковано: (2012)

Multi-agent systems : 9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011. Revised Selected Papers /
Опубліковано: (2012)

Software language engineering : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers /
Опубліковано: (2012)

Prestate societies of the north central European plains : 600-900 CE /
за авторством: Lozny, Ludomir R.
Опубліковано: (2013)

Trends in functional programming : 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers /
Опубліковано: (2014)

Implementation and application of functional languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /
Опубліковано: (2013)

Parallel processing and applied mathematics : 9th International conference, PPAM 2011, Torun, Poland, September 11-14, 2011. revised selected papers, Part II /
Опубліковано: (2012)

Parallel processing and applied mathematics : 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised selected papers, Part I /
Опубліковано: (2012)

5th European conference of the international federation for medical and biological engineering 14-18 September 2011, Budapest, Hungary /
Опубліковано: (2012)

RFID. security and privacy : 7th International Workshop, RFIDSec 2011, Amherst, USA, June 26-28, 2011, Revised Selected Papers /
Опубліковано: (2012)

Trustworthy global computing : 6th International symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised selected papers /
Опубліковано: (2012)

Software composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /
Опубліковано: (2013)

Fundamentals of software engineering : 4th IPM International conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, revised selected papers /
Опубліковано: (2012)

Enterprise information systems : 13th International Conference, ICEIS 2011, Beijing, China, June 8-11, 2011, Revised selected papers /
Опубліковано: (2012)

Recent advances in reinforcement learning: 9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised selected papers /
Опубліковано: (2012)

Perspectives of systems informatics: 8th International Andrei ershov memorial conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers /
Опубліковано: (2012)

Language, life, limits : 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings /
Опубліковано: (2014)

Advanced functional programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures /
Опубліковано: (2009)

Theory of quantum computation, communication, and cryptography : 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers /
Опубліковано: (2014)

Software engineering : International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures /
Опубліковано: (2013)

Runtime verification : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
Опубліковано: (2012)

Practical aspects of design science European design science symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers /
Опубліковано: (2012)

Mobile wireless middleware, operating systems, and applications : 4th International ICST Conference, Mobilware 2011, London, UK, June 22-24, 2011, Revised Selected Papers /
Опубліковано: (2012)

Logic-based program synthesis and transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. revised selected papers /
Опубліковано: (2012)

Reversible computation : Third international workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers /
Опубліковано: (2012)

Theory of security and applications joint workshop, TOSCA 2011, Saarbrucken, Germany, March 31 - April 1, 2011, revised selected papers /
Опубліковано: (2012)