Home Advanced Search

Advanced Search - Page 1

Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Olivier Danvy, Ian Zerny (auth.), María Alpuente (eds.)
Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Olivier Danvy, Ian Zerny (auth.), María Alpuente (eds.)
Domain-Specific Languages: IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Olivier Danvy, Chung-chieh Shan, Ian Zerny (auth.), Walid Mohamed Taha (eds.)
Domain-Specific Languages: IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Olivier Danvy, Chung-chieh Shan, Ian Zerny (auth.), Walid Mohamed Taha (eds.)
Domain-Specific Languages: IFIP TC 2 Working Conference, DSL 2009 Oxford, UK, July 15-17, 2009 Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Olivier Danvy, Chung-chieh Shan, Ian Zerny (auth.), Walid Mohamed Taha (eds.)
Programs as Data Objects: Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Neil D. Jones (auth.), Olivier Danvy, Andrzej Filinski (eds.)
Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday
  • PDF
  • English
  • Year: 2011
  • Author: Solomon Feferman (auth.), Gul Agha, Olivier Danvy, José Meseguer (eds.)
Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Olivier Danvy, Jacob Johannsen (auth.), Wilfrid Hodges, Ruy de Queiroz (eds.)
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.)
Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Dino Distefano (auth.), María Alpuente, Byron Cook, Christophe Joubert (eds.)
search