Programming languages and systems (vol. # 3444) 14th european symposium on programming, ESOP 2005, held as part of the joint european conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4-8,

Programming languages and systems (vol. # 3444) 14th european symposium on programming, ESOP 2005, held as part of the joint european conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4-8,

Saved in:

Bibliographic Details
Main Author:	Sagiv, Mooly (Author)
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin Heidelberg : Springer 2005
Series:	Lecture Notes in Computer Science, 3444
Subjects:	Data structures (Computer science) Software engineering Computer science Logic design
Online Access:	Click here to view the full text content
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Fundamental approaches to software engineering (vol. # 3442) 8th international conference, FASE 2005, held as part of the joint european conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April
by: Cerioli, Maura
Published: (2005)

Programming languages and systems : 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
Published: (2013)

Compiler construction (vol. # 3443) 14th international conference, CC 2005, held as part of the joint european conferences on theory and practice of Software, ETAPS 2005
Published: (2005)

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 /
Published: (2012)

Foundations of software science and computational structures (vol. # 3441) 8th international conference, FOSSACS 2005, held as part of the joint european conferences on theory and practice of software, ETAPS 2005
by: Sassone, Vladimiro
Published: (2005)

Programming languages and systems 19th european symposium on programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
Published: (2010)

Programming languages and systems 18th European symposium on programming, ESOP 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
Published: (2009)

Developments in language theory (vol. # 3572) 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings
Published: (2005)

Programming languages and systems (vol. # 3780) : Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Programming languages and systems (vol. # 3924) : 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European /
Published: (2006)

Practical aspects of declarative languages (vol. # 3350) 7th international symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
by: Cabeza, Daniel
Published: (2005)

Component-Based Software Engineering (vol. # 3489) 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
by: Crnkovic, Ivica
Published: (2005)

Computer aided verification (vol. # 3576) : 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings

Computer Science Logic (vol. # 3634) 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings

Practical aspects of declarative languages (vol. # 3819) : 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings /

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

Tools and algorithms for the construction and analysis of systems (vol. # 3440) 11th international conference, TACAS 2005, held as part of the joint european conference on theory and practice of software, ETAPS 2005, Ed
by: Halbwachs, Nicolas
Published: (2005)

Trustworthy global computing : International Symposium, TGC 2005, Edinburgh, UK, April 7-9, 2005. Revised Selected Papers /

Hybrid systems: computation and control (vol. # 3414) 8th international workshop, HSCC 2005, Zurich, Switzerland, March 9-11, 2005, Proceedings
Published: (2005)

Software composition : 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers /

Extreme programming and agile processes in software engineering (vol. # 3556) / 6th International Conference, XP 2005, Sheffield, UK, June 18-23, 2005, Proceedings

Formal modeling and analysis of timed systems (vol. # 3829) / third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings

Fundamental approaches to software engineering : 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Published: (2014)

Verification, model checking, and abstract interpretation (vol. # 3385) 6th international conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings
by: Cousot, Radhia
Published: (2005)

Term Rewriting and Applications (vol. # 3467) 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings
Published: (2005)

Logic based program synthesis and transformation (vol. # 3573) / 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, revised selected papers
Published: (2005)

Recent advances in constraints (vol. # 3978) : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers /
Published: (2006)

Foundations of software science and computational structures : 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal.
by: Seidl, Helmut
Published: (2007)

Foundations of software science and computation structures : 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
Published: (2014)

Logic for programming, artificial intelligence, and reasoning (vol. # 3452) 11th international workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings
by: Baader, Franz
Published: (2005)

Logic for programming, artificial intelligence, and reasoning (vol. # 3835) : 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings

Introduction to the theory of programming languages
by: Dowek, Gilles
Published: (2011)

Compiler construction : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings.
by: Krishnamurthi, Shriram
Published: (2007)

ECOOP 2005 - object-oriented programming 19th European Conference, Glasgow, UK, July 25-29, 2005. Proceedings
Published: (2005)

Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings
by: Urzyczyn, Pawel
Published: (2005)

Tools and algorithms for the construction and analysis of systems : 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings /
Published: (2014)

Static analysis : 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings

Programming multi-agent systems (vol. # 3862) : Third International Workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005, Revised and Invited Papers /
by: Bordini, Rafael H.
Published: (2006)

Job Scheduling Strategies for Parallel Processing (vol. # 3834) 11th International Workshop, JSSPP 2005, Cambridge, MA, USA, June 19, 2005, Revised Selected Papers
Published: (2005)

Genetic programming (vol. # 3447) 8th european conference, EuroGP 2005, Lausanne, Switzerland, March 30-April 1, 2005, proceedings
Published: (2005)