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

Tallennettuna:

Bibliografiset tiedot
Yhteisötekijä:	SpringerLink (Online service)
Muut tekijät:	Horváth, Zoltán, Plasmeijer, Rinus, Zsók, Viktória
Aineistotyyppi:	E-kirja
Kieli:	English
Julkaistu:	Berlin, Heidelberg Imprint: Springer 2012.
Sarja:	Lecture Notes in Computer Science 7241
Aiheet:	Computer science. Software engineering.
Linkit:	Click here to view the full text content
Tagit:	Lisää tagi Ei tageja, Lisää ensimmäinen tagi!

Samankaltaisia teoksia

Central European functional programming school : First Central European Summer School, CEFP 2005, Budapest, Hungary, July 4-15, 2005, Revised Selected Lectures /
Julkaistu: (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 /
Julkaistu: (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 /
Julkaistu: (2012)

The european central bank at ten
Julkaistu: (2010)

Trends in functional programming 12th international symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, revised selected papers /
Julkaistu: (2012)

Eternal systems : first international workshop, EternalS 2011, Budapest, Hungary, May 3, 2011, Revised Selected Papers /
Julkaistu: (2012)

Functional and constraint logic programming 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, revised selected papers /
Julkaistu: (2010)

Membrane computing : 13th International Conference, CMC 2012, Budapest, Hungary, August 28-31, 2012, Revised Selected Papers /
Julkaistu: (2013)

Generative and transformational techniques in software engineering IV : International Summer School, GTTSE 2011, Braga, Portugal, July 3-9, 2011. Revised Papers /
Julkaistu: (2013)

Functional and logic programming : 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings /
Julkaistu: (2014)

ECOOP' 87 European Conference on Object-Oriented Programming Paris, France, June 15-17, 1987 Proceedings /
Tekijä: Bézivin, Jean
Julkaistu: (1987)

Implementation and application of functional languages : 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers /
Julkaistu: (2007)

Trends in functional programming : 13th International Symposium, TFP 2012, St. Andrews, UK, June 12-14, 2012, Revised Selected Papers /
Julkaistu: (2013)

Programming multi-agent systems 9th international workshop, ProMAS 2011, Taipei, Taiwan, May 3, 2011, revised selected papers /
Julkaistu: (2012)

Multi-agent systems : 9th European Workshop, EUMAS 2011, Maastricht, The Netherlands, November 14-15, 2011. Revised Selected Papers /
Julkaistu: (2012)

Software language engineering : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers /
Julkaistu: (2012)

Prestate societies of the north central European plains : 600-900 CE /
Tekijä: Lozny, Ludomir R.
Julkaistu: (2013)

Trends in functional programming : 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers /
Julkaistu: (2014)

Implementation and application of functional languages : 24th International Symposium, IFL 2012, Oxford, UK, August 30 - September 1, 2012, Revised Selected Papers /
Julkaistu: (2013)

Parallel processing and applied mathematics : 9th International conference, PPAM 2011, Torun, Poland, September 11-14, 2011. revised selected papers, Part II /
Julkaistu: (2012)

Parallel processing and applied mathematics : 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised selected papers, Part I /
Julkaistu: (2012)

5th European conference of the international federation for medical and biological engineering 14-18 September 2011, Budapest, Hungary /
Julkaistu: (2012)

RFID. security and privacy : 7th International Workshop, RFIDSec 2011, Amherst, USA, June 26-28, 2011, Revised Selected Papers /
Julkaistu: (2012)

Trustworthy global computing : 6th International symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised selected papers /
Julkaistu: (2012)

Software composition : 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings /
Julkaistu: (2013)

Fundamentals of software engineering : 4th IPM International conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, revised selected papers /
Julkaistu: (2012)

Enterprise information systems : 13th International Conference, ICEIS 2011, Beijing, China, June 8-11, 2011, Revised selected papers /
Julkaistu: (2012)

Recent advances in reinforcement learning: 9th European Workshop, EWRL 2011, Athens, Greece, September 9-11, 2011, Revised selected papers /
Julkaistu: (2012)

Perspectives of systems informatics: 8th International Andrei ershov memorial conference, PSI 2011, Novosibirsk, Russia, June 27-July 1, 2011, Revised Selected Papers /
Julkaistu: (2012)

Language, life, limits : 10th Conference on Computability in Europe, CiE 2014, Budapest, Hungary, June 23-27, 2014. Proceedings /
Julkaistu: (2014)

Advanced functional programming 6th International School, AFP 2008, Heijen, The Netherlands, May 2008, Revised Lectures /
Julkaistu: (2009)

Theory of quantum computation, communication, and cryptography : 6th Conference, TQC 2011, Madrid, Spain, May 24-26, 2011, Revised Selected Papers /
Julkaistu: (2014)

Software engineering : International Summer Schools, ISSSE 2009-2011, Salerno, Italy. Revised Tutorial Lectures /
Julkaistu: (2013)

Runtime verification : Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised selected papers /
Julkaistu: (2012)

Practical aspects of design science European design science symposium, EDSS 2011, Leixlip, Ireland, October 14, 2011, Revised Selected Papers /
Julkaistu: (2012)

Mobile wireless middleware, operating systems, and applications : 4th International ICST Conference, Mobilware 2011, London, UK, June 22-24, 2011, Revised Selected Papers /
Julkaistu: (2012)

Logic-based program synthesis and transformation 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. revised selected papers /
Julkaistu: (2012)

Reversible computation : Third international workshop, RC 2011, Gent, Belgium, July 4-5, 2011. Revised Papers /
Julkaistu: (2012)

Theory of security and applications joint workshop, TOSCA 2011, Saarbrucken, Germany, March 31 - April 1, 2011, revised selected papers /
Julkaistu: (2012)