Programming languages (Electronic computers) - Congresses.
Overview
| Works: | 100 works in 39 publications in 39 languages | |
|---|---|---|
Titles
Programming languages and systems : = second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings /
by:
(Language materials, printed)
Proceedings of the 1992 International Conference on Computer Languages : = April 20-23, 1992, Oakland, California /
by:
(Language materials, printed)
Proceedings of the 1994 International Conference on Computer Languages : = May 16-19, 1994, Toulouse, France /
by:
(Language materials, printed)
Languages and compilers for parallel computing = 16th international workshop, LCPC 2003, College Station, TX, USA, October 2-4, 2003 : revised papers /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Declarative Agent Languages and Technologies II = Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers /
by:
(Language materials, printed)
Static Analysis = 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings /
by:
(Language materials, printed)
Programming languages and systems = 6th Asian symposium, APLAS 2008, Bangalore, India, December 9-11, 2008, proceedings /
by:
(Language materials, printed)
Languages and compilers for parallel computing = 21st international workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008 : revised selected papers /
by:
(Language materials, printed)
Proceedings of International Computer Symposium 1978, December 18-20, 1978, Nanking, Taipei, Republic of China.
by:
(Language materials, printed)
Declarative agent languages and technologies VI = 6th international workshop, DALT 2008, Estoril, Portugal, May 12, 2008 : revised selected and invited papers /
by:
(Language materials, printed)
Languages and compilers for parallel computing = 14th International Workshop, LCPC 2001, Cumberland Falls, KY, USA, August 1-3, 2001 : revised papers /
by:
(Language materials, printed)
Modular programming languages = Joint Modular Languages Conference, JMLC 2003, Klagenfurt, Austria, August 25-27, 2003 proceedings /
by:
(Language materials, printed)
Programming languages and systems = 12th European Symposium on Programming, ESOP 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003 : proceedings /
by:
(Language materials, printed)
Programming languages and systems = first Asian symposium, APLAS 2003, Beijing, China, November 27-29, 2003 : proceedings /
by:
(Language materials, printed)
Domain-specific program generation = international seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers /
by:
(Language materials, printed)
Programming languages = 20th Brazilian Symposium, SBLP 2016, Maringa, Brazil, September 22-23, 2016 : proceedings /
by:
(Electronic resources)
Programming languages and systems = 26th European Symposium on Programming, ESOP 2017, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017 : proceedings /
by:
(Electronic resources)
Software technologies = 14th International Conference, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019 : revised selected papers /
by:
(Electronic resources)
Computer safety, reliability, and security = 38th International Conference, SAFECOMP 2019, Turku, Finland, September 11-13, 2019 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security = SAFECOMP 2019 Workshops, ASSURE, DECSoS, SASSUR, STRIVE, and WAISE, Turku, Finland, September 10, 2019 : proceedings /
by:
(Electronic resources)
Search-based software engineering = 11th International Symposium, SSBSE 2019, Tallinn, Estonia, August 31 - September 1, 2019 : proceedings /
by:
(Electronic resources)
Languages and compilers for parallel computing = 33rd International Workshop, LCPC 2020, virtual event, October 14-16, 2020 : revised selected papers /
by:
(Electronic resources)
Languages and compilers for parallel computing = 34th International Workshop, LCPC 2021, Newark, DE, USA, October 13-14, 2021 : revised selected papers /
by:
(Electronic resources)
Programming languages and systems = 31st European Symposium on Programming, ESOP 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings /
by:
(Electronic resources)
Software technologies = 16th International Conference, ICSOFT 2021, virtual event, July 6-8, 2021 : revised selected papers /
by:
(Electronic resources)
Programming languages and systems = 32nd European Symposium on programming, Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023 : proceedings /
by:
(Electronic resources)
Software technologies = 17th International Conference, ICSOFT 2022, Lisbon, Portugal, July 11-13, 2022 : revised selected papers /
by:
(Electronic resources)
Computer safety, reliability, and security = SAFECOMP 2023 Workshops, ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023 : proceedings /
by:
(Electronic resources)
Static analysis = 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023 : proceedings /
by:
(Electronic resources)
Programming languages and systems = 21st Asian Symposium, APLAS 2023, Taipei, Taiwan, November 26-29, 2023 : proceedings /
by:
(Electronic resources)
Database programming languages = 9th international workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003 : revised papers /
by:
(Language materials, printed)
Languages and Compilers for High Performance Computing = 17th International Workshop, LCPC 2004, West Lafayette, IN, USA, September 22-24, 2004, Revised Selected Papers
by:
(Language materials, printed)
Static Analysis = 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings /
by:
(Language materials, printed)
Programming Languages and Systems : = Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings
by:
(Language materials, printed)
Languages and Compilers for Parallel Computing : = 15th Workshop, LCPC 2002, College Park, MD, USA, July 25-27, 2002, Revised Papers
by:
(Language materials, printed)
Database Programming Languages : = 10th International Symposium, DBPL 2005, Trondheim, Norway, August 28-29, 2005, Revised Selected Papers
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Advances in computing science--ASIAN 2003 = programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003 : proceedings /
by:
(Language materials, printed)
Static analysis = 10th international symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003 : proceedings /
by:
(Language materials, printed)
Database programming languages = 9th international workshop, DBPL 2003, Potsdam, Germany, September 6-8, 2003 : revised papers /
by:
(Language materials, printed)
Declarative agent languages and technologies = first international workshop, DALT 2003, Melbourne, Australia, July 15, 2003, revised selected and invited papers /
by:
(Language materials, printed)
Programming languages and systems = second Asian symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004 : proceedings /
by:
(Language materials, printed)
Programming languages and systems = 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings /
by:
(Language materials, printed)
Static analysis = 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings /
by:
(Language materials, printed)
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 /
by:
(Language materials, printed)
Programming languages and systems = 7th European Symposium on Programming, ESOP'98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998 : proceedings /
by:
(Language materials, printed)
Static analysis = 5th international symposium, SAS'98, Pisa, Italy, September 14-16, 1998 : proceedings /
by:
(Language materials, printed)
Automata, languages and programming = 26th international colloquium, ICALP'99, Prague, Czech Republic, July 11-15, 1999 : proceedings /
by:
(Language materials, printed)
Meta-level architectures and reflection = Second International Conference, Reflection'99, Saint-Malo, France, July 19-21, 1999 : proceedings /
by:
(Language materials, printed)
Programming languages and systems = 8th European Symposium on Programming, ESOP '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings /
by:
(Language materials, printed)
Programming languages and systems = 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings /
by:
(Language materials, printed)
Static analysis = 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002 : proceedings /
by:
(Language materials, printed)
Formal methods for quantitative aspects of programming languages = 10th international school on formal methods for the design of computer, communication and software systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010 : advanced lectures /
by:
(Language materials, printed)
Programming languages and systems = 14th Asian Symposium, APLAS 2016, Hanoi, Vietnam, November 21 - 23, 2016 : proceedings /
by:
(Electronic resources)
Software Technologies = 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016 : revised selected papers /
by:
(Electronic resources)
Programming languages and systems = 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017 : proceedings /
by:
(Electronic resources)
Programming languages and systems = 27th European Symposium on Programming, ESOP 2018, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018 : proceedings /
by:
(Electronic resources)
Software technologies = 13th International Conference, ICSOFT 2018, Porto, Portugal, July 26-28, 2018 : revised selected papers /
by:
(Electronic resources)
Programming languages and systems = 29th European Symposium on Programming, ESOP 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings /
by:
(Electronic resources)
Languages and compilers for parallel computing = 32nd International Workshop, LCPC 2019, Atlanta, GA, USA, October 22-24, 2019 : revised selected papers /
by:
(Electronic resources)
Software technologies = 15th International Conference, ICSOFT 2020, Online event, July 7-9, 2020 : revised selected papers /
by:
(Electronic resources)
OpenMP = conquering the full hardware spectrum : 15th International Workshop on OpenMP, IWOMP 2019, Auckland, New Zealand, September 11-13, 2019 : proceedings /
by:
(Electronic resources)
OpenMP = portable multi-level parallelism on modern systems : 16th International Workshop on OpenMP, IWOMP 2020, Austin, TX, USA, September 22-24, 2020 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security = 39th International Conference, SAFECOMP 2020, Lisbon, Portugal, September 16-18, 2020 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security = SAFECOMP 2020 Workshops : DECSoS 2020, DepDevOps 2020, USDAI 2020, and WAISE 2020, Lisbon, Portugal, September 15, 2020 : proceedings /
by:
(Electronic resources)
Programming languages and systems = 18th Asian Symposium, APLAS 2020, Fukuoka, Japan, November 30 - December 2, 2020 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security = 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6-9, 2022 : proceedings /
by:
(Electronic resources)
Computer safety, reliability, and security = SAFECOMP 2022 Workshops, DECSoS, DepDevOps, SASSUR, SENSEI, USDAI, and WAISE, Munich, Germany, September 6-9, 2002 : proceedings /
by:
(Electronic resources)
Programming languages and systems = 20th Asian Symposium, APLAS 2022, Auckland, New Zealand, December 5, 2022 : proceedings /
by:
(Electronic resources)
Static analysis = 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022 : proceedings /
by:
(Electronic resources)
Languages and compilers for parallel computing = 35th International Workshop, LCPC 2022, Chicago, IL, USA, October 12-14, 2022 : revised selected papers /
by:
(Electronic resources)
Static analysis = 8th International Symposium, SAS 2001, Paris, France, July 16-18, 2001 : proceedings /
by:
(Language materials, printed)
Computer safety, reliability, and security = SAFECOMP 2021 Workshops : DECSoS, MAPSOD, DepDevOps, USDAI, and WAISE, York, UK, September 7, 2021 : proceedings /
by:
(Electronic resources)
Programming languages and systems = 19th Asian Symposium, APLAS 2021, Chicago, IL, USA, October 17-18, 2021 : proceedings /
by:
(Electronic resources)
Declarative agent languages and technologies = first international workshop, DALT 2003, Melbourne, Australia, July 15, 2003, revised selected and invited papers /
by:
(Language materials, printed)
Programming languages and systems = 13th European Symposium on Programming, ESOP 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings /
by:
(Language materials, printed)
Domain-specific program generation = international seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers /
by:
(Language materials, printed)
Static analysis = 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004 : proceedings /
by:
(Language materials, printed)
Analysis and verification of multiple-agent languages = 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996 : selected papers /
by:
(Language materials, printed)
Languages and compilers for parallel computing = 9th international workshop, LCPC'96, San Jose, California, USA, August 8-10, 1996 : proceedings /
by:
(Language materials, printed)
Modular programming languages = Joint Modular Languages Conference, JMLC '97, Linz, Austria, March 19-21, 1997 : proceedings /
by:
(Language materials, printed)
Programming languages = implementations, logics, and programs : 9th international symposium, PLILP'97, including a special track on declarative programming languages in education, Southampton, UK, September 3-5, 1997 : proceedings /
by:
(Language materials, printed)
Static analysis = 4th international symposium, SAS'97, Paris, France, September 8-10, 1997 : proceedings /
by:
(Language materials, printed)
Database programming languages = 6th international workshop, DBPL-6, Estes Park, Colorado, USA, August 18-20, 1997 : proceedings /
by:
(Language materials, printed)
Static analysis = 6th international symposium, SAS'99, Venice, Italy, September 22-24, 1999 : proceedings /
by:
(Language materials, printed)
Automata, languages and programming = 27th international colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000 ; proceedings /
by:
(Language materials, printed)
Languages and compilers for parallel computing = 12th International Workshop, LCPC '99, La Jolla, CA, USA, August 4-6, 1999 ; proceedings /
by:
(Language materials, printed)
Languages, compilers, and run-time systems for scalable computers = 5th international workshop, LCR 2000, Rochester, NY, USA, May 2000 : selected papers /
by:
(Language materials, printed)
Metalevel architectures and separation of crosscutting concerns = third international conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 : proceedings /
by:
(Language materials, printed)
Modular programming languages = Joint Modular Languages Conference, JMLC 2000, Zurich, Switzerland, September 6-8,2000 : proceedings /
by:
(Language materials, printed)
Research issues in structured and semistructured database programming = 7th International Workshop on Database Programming Languages, DBPL'99, Kinloch, Rannoch, UK, September 1-3, 1999 : revised papers/
by:
(Language materials, printed)
Static analysis = 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings/
by:
(Language materials, printed)
Languages and compilers for parallel computing = 13th international workshop, LCPC 2000, Yorktown Heights, NY, USA, August 10-12, 2000 : revised papers /
by:
(Language materials, printed)
Languages, compilers, and tools for embedded systems = ACM SIGPLAN Workshop LCTES 2000, Vancouver, Canada, June18, 2000 : proceedings /
by:
(Language materials, printed)
Database programming languages = 8th international workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001 : revised papers /
by:
(Language materials, printed)
Scaling OpenMP for exascale performance and portability = 13th International Workshop on OpenMP, IWOMP 2017, Stony Brook, NY, USA, September 20-22, 2017 : proceedings /
by:
(Electronic resources)
Show more
Fewer
Subjects