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

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

This book contains the selected peer-reviewed and revised papers from the 24th International Symposium on Implementation and Application of Functional Languages, IFL 2012, held in Oxford, UK, in August/September 2012. The 14 papers included in this volume were carefully reviewed and selected from 28...

Ամբողջական նկարագրություն

Պահպանված է:

Մատենագիտական մանրամասներ
Համատեղ հեղինակ:	SpringerLink (Online service)
Ձևաչափ:	էլ․ գիրք
Լեզու:	English
Հրապարակվել է:	Berlin, Heidelberg Springer Berlin Heidelberg Imprint: Springer, 2013.
Շարք:	Lecture Notes in Computer Science, 8241
Խորագրեր:	Computer science. Software engineering. Logic design.
Առցանց հասանելիություն:	Click here to view the full text content
Ցուցիչներ:	Ավելացրեք ցուցիչ Չկան պիտակներ, Եղեք առաջինը, ով նշում է այս գրառումը!

Նմանատիպ նյութեր

Implementation and application of functional languages : 18th International Symposium, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers /
Հրապարակվել է: (2007)

Implementation of functional languages 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003. Revised Papers /
Հրապարակվել է: (2005)

Implementation and application of functional languages : 17th international workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005 : revised selected papers /
Հրապարակվել է: (2006)

Implementation and application of functional languages : 17th international workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005 : revised selected papers /
Հրապարակվել է: (2006)

Unifying theories of programming : 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers /
Հրապարակվել է: (2013)

Implementation and application of automata : 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers /
Հրապարակվել է: (2007)

Model checking software 19th international workshop, SPIN 2012, Oxford, UK, July 23-24, 2012. proceedings /
Հրապարակվել է: (2012)

Functional and logic programming 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings /
Հրապարակվել է: (2012)

Declarative agent languages and technologies X : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers /
Հրապարակվել է: (2013)

Practical aspects of declarative languages : 14th international symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings /
Հրապարակվել է: (2012)

Formal methods for components and objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures /
Հրապարակվել է: (2013)

Rewriting logic and its applications : 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Tallinn, Estonia, March 24-25, 2012, Revised Selected Papers /
Հրապարակվել է: (2012)

Runtime verification : Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers /
Հրապարակվել է: (2013)

Implementation and application of automata (vol. # 3845) : 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers /

Structured object-oriented formal language and method : Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers /
Հրապարակվել է: (2013)

Implementation and application of functional languages (vol. # 4015) : 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers /

Static analysis 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings /
Հրապարակվել է: (2012)

Formal aspects of component software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers /
Հրապարակվել է: (2013)

Software language engineering : 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers /
Հրապարակվել է: (2012)

Reversible computation 4th International Workshop, RC 2012, Copenhagen, Denmark, July 2-3, 2012. revised papers /
Հրապարակվել է: (2013)

Formal modeling and analysis of timed systems 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings /
Հրապարակվել է: (2012)

Programming languages and systems : 21st European symposium on programming, ESOP 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings /
Հրապարակվել է: (2012)

Formal Methods: foundations and applications 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings /
Հրապարակվել է: (2012)

Evaluation of novel approaches to software engineering : 7th international conference, ENASE 2012, Warsaw, Poland, June 29-30, 2012, revised selected papers /
Հրապարակվել է: (2013)

Language and automata theory and applications : 6th International conference, LATA 2012, A Coruña, Spain, March 5-9, 2012. Proceedings /
Հրապարակվել է: (2012)

Functional and constraint logic programming 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, revised selected papers /
Հրապարակվել է: (2010)

Web services and formal methods : 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers /
Հրապարակվել է: (2013)

FM 2012: formal methods 18th International Symposium, Paris, France, August 27-31, 2012. proceedings /
Հրապարակվել է: (2012)

Reachability problems 6th International workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings /
Հրապարակվել է: (2012)

Model driven engineering languages and systems 15th International Conference, MODELS 2012, Innsbruck, Austria, September 30-October 5, 2012. Proceedings /
Հրապարակվել է: (2012)

Logic-based program synthesis and transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
Հրապարակվել է: (2013)

Logic, language, information and computation 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. proceedings /
Հրապարակվել է: (2012)

Theoretical aspects of computing - ICTAC 2012 9th International Colloquium, Bangalore, India, September 24-27, 2012. Proceedings /
Հրապարակվել է: (2012)

ICT in education, research, and industrial applications : 8th International Conference, ICTERI 2012, Kherson, Ukraine, June 6-10, 2012, Revised Selected Papers /
Հրապարակվել է: (2013)

Trends in functional programming : 14th International Symposium, TFP 2013, Provo, UT, USA, May 14-16, 2013, Revised Selected Papers /
Հրապարակվել է: (2014)

Reachability problems : 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings /
Հրապարակվել է: (2014)

Machines, computations, and Universality 4th international conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, revised selected papers
: Margenstern, Maurice
Հրապարակվել է: (2005)

Implementation and application of automata 14th International Conference, CIAA 2009, Sydney, Australia, July 14-17, 2009. Proceedings /
Հրապարակվել է: (2009)

Computer science - Theory and applications : 7th International Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, Russia, July 3-7, 2012. Proceedings /
Հրապարակվել է: (2012)

Verification, model checking, and abstract interpretation : 13th International Conference, VMCAI 2012, Philadelphia, PA, USA, January 22-24, 2012. Proceedings /
Հրապարակվել է: (2012)