Showing 1 - 8 results of 8 for search 'Hermenegildo, Manuel', query time: 0.05s Refine Results
  1. 1
    Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation
    Published 2019
    Other Authors: “…Hermenegildo, Manuel…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 2
    Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Published 2010
    Other Authors: “…Hermenegildo, Manuel…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 3
    Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
    by Barthe, Gilles
    Published 2010
    Other Authors: “…Hermenegildo, Manuel…”
    Get full text
    Electronic Kit Book
  4. 4
    Static Analysis 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002. Proceedings /
    Published 2002
    Other Authors: “…Hermenegildo, Manuel…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Verification, Model Checking, and Abstract Interpretation 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings /
    Published 2010
    Other Authors: “…Hermenegildo, Manuel…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Practical Aspects of Declarative Languages 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005. Proceedings /
    Published 2005
    Other Authors: “…Hermenegildo, Manuel V.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings /
    Published 2008
    Other Authors: “…Hermenegildo, Manuel V.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers /
    Published 2017
    Other Authors: “…Hermenegildo, Manuel V.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search