Title: Static Analysis: 10th International Symposium, SAS 2003, San Diego, CA, USA, June 11-13, 2003. Proceedings / Edition 1, Author: Radhia Cousot
Title: Database Programming Languages: 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers / Edition 1, Author: Marcelo Arenas
Title: Static Analysis: 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings / Edition 1, Author: Jens Palsberg
Title: Practical Aspects of Declarative Languages: 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings, Author: Josï Jïlio Alferes
Title: 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 / Edition 1, Author: Mooly Sagiv
Title: Languages and Compilers for Parallel Computing: 30th International Workshop, LCPC 2017, College Station, TX, USA, October 11-13, 2017, Revised Selected Papers, Author: Lawrence Rauchwerger
Title: Domain-Specific Program Generation: International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers / Edition 1, Author: Christian Lengauer
Title: Programming Languages and Systems: 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, Author: Peter Thiemann
Title: Languages and Compilers for Parallel Computing: 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers, Author: Xipeng Shen
Title: Reasoning About Program Transformations: Imperative Programming and Flow of Data / Edition 1, Author: Jean-Francois Collard
Title: Reliable Software Technologies - Ada-Europe 2016: 21st Ada-Europe International Conference on Reliable Software Technologies, Pisa, Italy, June 13-17, 2016, Proceedings, Author: Marko Bertogna
Title: The Denotational Description of Programming Languages: An Introduction, Author: M.J.C. Gordon
Title: Modular Programming Languages: Joint Modular Languages Conference, JMLC 2000 Zurich, Switzerland, September 6-8, 2000 Proceedings / Edition 1, Author: Jïrg Gutknecht
Title: Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings, Author: Falk Howar
Title: Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings / Edition 1, Author: Radhia Cousot
Title: The World of Programming Languages / Edition 1, Author: Michael Marcotty
Title: Programming Language Design Concepts / Edition 1, Author: David A. Watt
Title: 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 / Edition 1, Author: David Schmidt
Title: Modular Programming Languages: Joint Modular Languages Conference, JMLC'97 Linz, Austria, March 19-21, 1997, Proceedings / Edition 1, Author: Hanspeter Mïssenbïck
Title: Languages and Compilers for Parallel Computing: 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers / Edition 1, Author: José Nelson Amaral

Pagination Links