Home Advanced Search

Advanced Search - Page 1

Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Javier Esparza (auth.), Gilles Barthe, Manuel Hermenegildo (eds.)
Security and Trust Management: 6th International Workshop, STM 2010, Athens, Greece, September 23-24, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2011
  • Author: Jason Crampton, Charles Morisset (auth.), Jorge Cuellar, Javier Lopez, Gilles Barthe, Alexander Pretschner (eds.)
Programming Languages and Systems: 20th European Symposium on Programming, ESOP 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26–April 3, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: Andrew W. Appel (auth.), Gilles Barthe (eds.)
Types for Proofs and Programs: International Workshop, TYPES '95 Torino, Italy, June 5–8, 1995 Selected Papers
  • DJVU
  • English
  • Year: 1996
  • Author: Gilles Barthe (auth.), Stefano Berardi, Mario Coppo (eds.)
Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Catuscia Palamidessi (auth.), Manuel Hermenegildo, Jaan Penjam (eds.)
Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings
  • DJVU
  • English
  • Year: 1994
  • Author: Catuscia Palamidessi (auth.), Manuel Hermenegildo, Jaan Penjam (eds.)
Analysis and Visualization Tools for Constraint Programming: Constraint Debugging
  • PDF
  • English
  • Year: 2000
  • Author: Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (auth.), Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (eds.)
Analysis and Visualization Tools for Constraint Programming: Constraint Debugging
  • PDF
  • English
  • Year: 2000
  • Author: Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (auth.), Pierre Deransart, Manuel V. Hermenegildo, Jan Małuszynski (eds.)
Practical Aspects of Declarative Languages: 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings
  • DJVU
  • English
  • Year: 2005
  • Author: Norman Ramsey (auth.), Manuel V. Hermenegildo, Daniel Cabeza (eds.)
Functional and Logic Programming: 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Torsten Schaub (auth.), Jacques Garrigue, Manuel V. Hermenegildo (eds.)
search