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 (Lecture ... Computer Science and General Issues)
  • PDF
  • English
  • Year: 2010
  • Author: Gilles Barthe, Manuel Hermenegildo
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.)
Logic programming: proceedings of the 1990 North American conference
  • DJVU
  • English
  • Year: 1990
  • Author: Saumya Debray, Manuel Hermenegildo (ed.)
Static Analysis. 30th International Symposium, SAS 2023 Cascais, Portugal, October 22–24, 2023 Proceedings
  • PDF
  • English
  • Year: 2023
  • Author: Manuel V. Hermenegildo, José F. Morales
Logic-Based Program Synthesis and Transformation: 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers
  • PDF
  • English
  • Year: 2017
  • Author: Manuel V. Hermenegildo, Pedro Lopez-Garcia (editors)
Foundations of Probabilistic Programming
  • PDF
  • English
  • Year: 2021
  • Author: Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva
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.)
Applied Semantics: International Summer School, APPSEM 2000 Caminha, Portugal, September 9–15, 2000 Advanced Lectures
  • PDF
  • English
  • Year: 2002
  • Author: Gilles Barthe, Thierry Coquand (auth.), Gilles Barthe, Peter Dybjer, Luís Pinto, João Saraiva (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.)
search