Cover Image

Static analysis : 13th international symposium, SAS 2006, Seoul, Korea, August 29-31, 2006 : proceedings /

Show other versions (1)

Bibliographic Details
Corporate Authors:	International Static Analysis Symposium Seoul, Korea, SpringerLink (Online service)
Other Authors:	Yi, Kwangkeun
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2006]
Series:	Lecture notes in computer science. 4134.
Subjects:	Computer programming > Congresses. Programming languages (Electronic computers) > Congresses. Langages de programmation > Congrès. Programmation (Informatique) > Congrès. Electronic books.
Online Access:	Connect to the full text of this electronic book Publisher description

Similar Items

Static analysis : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings /
Published: (2001)

Static analysis : 12th international symposium, SAS 2005, London, UK, September 7-9, 2005 : proceedings /
Published: (2005)

Programming languages and systems : 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, 2005 : proceedings /
Published: (2005)

Modular programming languages : 7th Joint Modular Languages Conference, JMLC 2006, Oxford, UK, September 13-15, 2006, proceedings /
Published: (2006)

Unifying theories of programming : first international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006 : revised selected papers /
Published: (2006)

Programming languages and systems : third Asian symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005 : proceedings /
Published: (2005)

Static analysis : 14th international Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007 : proceedings /
Published: (2007)

Static analysis : 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009 : proceedings /
Published: (2009)

Static analysis : 15th international symposium, SAS 2008, Valencia, Spain, July 16-18, 2008 : proceedings /
Published: (2008)

Static analysis : 18th international symposium, SAS 2011, Venice, Italy, September 14-16, 2011 : proceedings /
Published: (2011)

Mathematics of program construction : 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings /
Published: (2006)

Communicating sequential processes : the first 25 years : Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004 : revised invited papers /
Published: (2005)

Static analysis : First International Static Analysis Symposium, SAS '94, Namur, Belgium, September 28-30, 1994 : proceedings /
Published: (1994)

Static analysis : 8th International Symposium, SAS 2001,Paris, France, July 16-18, 2001 : proceedings /
Published: (2001)

Machines, computations, and universality : 4th international conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004 ; revised selected papers /
Published: (2005)

Unconventional programming paradigms : international workshop UPP 2004, Le Mont Saint Michel, France, September 15-17, 2004 : revised selected and invited papers /
Published: (2005)

Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979 /
Published: (1980)

Programming languages and systems : 15th European Symposium on Programming, ESOP 2006, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006 ; proceedings /
Published: (2006)

ESOP '92 : 4th European Symposium on Programming, Rennes, France, February 26-28, 1992 : proceedings /
Published: (1992)

Term rewriting and applications : 17th international conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006 : proceedings /
Published: (2006)

ESOP '90 : 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990 : proceedings /
Published: (1990)

Automata, languages and programming : 33rd international colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006 : proceedings /
Published: (2006)

Database programming languages : 10th International Sympsosium, DBPL 2005, Trondheim, Norway, August 28-29, 2005 : revised selected papers /
Published: (2005)

Mathematical foundations of computer science 2006 : 31st international symposium, MFCS 2006, Stara Lesna, Slovakia, August 28-September 1, 2006 ; proceedings /
Published: (2006)

Languages and compilers for parallel computing : 15th workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002 ; revised papers /
Published: (2005)

Declarative agent languages and technologies II : second international workshop, DALT 2004, New York, NY, USA, July 19, 2004 : revised selected papers /
Published: (2005)

Programming multi-agent systems : third international workshop, ProMAS 2005, Utrecht, The Netherlands, July 26, 2005 : revised and invited papers /
Published: (2006)

Programming languages and systems : 17th European Symposium on Programming, ESOP 2008, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008 : proceedings /
Published: (2008)

Programming multi-agent systems : second international workshop, ProMAS 2004, New York, NY, USA, July 20, 2004 : selected revised and invited papers /
Published: (2005)

Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers /
Published: (2006)

ESOP 86 : European Symposium on Programming, Saarbrücken, Federal Republic of Germany, March 17-19, 1986 : proceedings /
Published: (1986)

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 : 16th European Symposium on Programming, ESOP 2007, held as part of the Joint European Conferences on Theory and Practics [as printed] of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007 : proceedings /
Published: (2007)

Database programming languages : 8th international workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001 : revised papers /
Published: (2002)

Languages and compilers for high performance computing : 17th international workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004 : revised selected papers /
Published: (2005)

Software engineering : COINS III: proceedings of the Third Symposium on Computer and Information Sciences held in Miami Beach, Florida, December, 1969 /
Published: (1970)

Declarative agent languages and technologies III : third international workshop, DALT 2005, Utrecht, The Netherlands, July 25, 2005 : selected and revised papers /
Published: (2006)

Language hierarchies and interfaces : international summer school /
Published: (1976)

Genetic programming : 9th European conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006 : proceedings /
Published: (2006)

Programming methodology : 4th Informatik Symposium, IBM Germany, Wildbad, September 25-27, 1974 /
Published: (1975)