Showing 1,661 - 1,680 results of 5,319 for search '"compilers"', query time: 2.17s Refine Results
  1. 1661
    Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I /
    Published 2017
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 1662
    Models, Algorithms, Logics and Tools Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday /
    Published 2017
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 1663
    Search Based Software Engineering 9th International Symposium, SSBSE 2017, Paderborn, Germany, September 9-11, 2017, Proceedings /
    Published 2017
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 1664
    Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers /
    Published 2017
    Table of Contents: “… Functional-Logic Compiler for Curry: Sprite -- lpopt: A Rule Optimization Tool for Answer Set Programming…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 1665
    Small Dynamic Complexity Classes An Investigation into Dynamic Descriptive Complexity /
    by Zeume, Thomas
    Published 2017
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 1666
    NASA Formal Methods 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings /
    Published 2017
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 1667
    Rules and Reasoning International Joint Conference, RuleML+RR 2017, London, UK, July 12–15, 2017, Proceedings /
    Published 2017
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 1668
    Software-Intensive Systems and New Computing Paradigms Challenges and Visions /
    Published 2008
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 1669
    Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers /
    Published 2008
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 1670
    ECOOP 2009 – Object-Oriented Programming 23rd European Conference, Genoa, Italy, July 6-10, 2009. Proceedings /
    Published 2009
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 1671
    Logic and Its Applications Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings /
    Published 2009
    Table of Contents: “…-Dimensional Hybrid Logic of Subset Spaces -- A Unified Framework for Certificate and Compilation for QBF…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 1672
    Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings /
    Published 2009
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 1673
    Software Engineering International Summer Schools, ISSSE 2006-2008, Salerno, Italy, Revised Tutorial Lectures /
    Published 2009
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 1674
    Logic-Based Program Synthesis and Transformation 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers /
    Published 2009
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 1675
    Programming Languages and Systems 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings /
    Published 2009
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 1676
    Advances in Software Engineering International Conference on Advanced Software Engineering and Its Applications, ASEA 2009 Held as Part of the Future Generation Information Technology Conference, FGIT 2009, Jeju Island, Korea, December 10-12, 2009. Proceedings /
    Published 2009
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 1677
    Declarative Agent Languages and Technologies VII 7th International Workshop, DALT 2009, Budapest, Hungary, May 11, 2009. Revised Selected and Invited Papers /
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 1678
    Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
    Published 2010
    Table of Contents: “… for Compensation Handling -- Separating Shape Graphs -- Deadlock-Free Channels and Locks -- Verifying a Compiler…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 1679
    Fundamental Approaches to Software Engineering 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 1680
    Foundations of Software Science and Computational Structures 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search