Showing 141 - 160 results of 2,051 for search 'interpretability logic', query time: 0.11s Refine Results
  1. 141
    A List of Successes That Can Change the World Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday /
    Published 2016
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 142
    Programming Languages 20th Brazilian Symposium, SBLP 2016, Maringá, Brazil, September 22-23, 2016, Proceedings /
    Published 2016
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 143
    Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings /
    Published 2015
    Table of Contents: “… -- Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism -- An Infinitary Model of Linear Logic…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 144
    Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers /
    Published 2015
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 145
    Grand Timely Topics in Software Engineering International Summer School GTTSE 2015, Braga, Portugal, August 23-29, 2015, Tutorial Lectures /
    Published 2017
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 146
    25 Years of Model Checking History, Achievements, Perspectives /
    Published 2008
    Table of Contents: “… USING BRANCHING TIME TEMPORAL LOGIC -- SPECIFICATION AND VERIFICATION OF CONURRENT SYSTEMS IN CESAR.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 147
    Program Analysis and Compilation, Theory and Practice Essays Dedicated to Reinhard Wilhelm on the Occasion of His 60th Birthday /
    Published 2007
    Table of Contents: “… Components -- ViDoC - Visual Design of Optimizing Compilers -- Abstract Interpretation for Worst and Average…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 148
    Foundations of Software Science and Computation Structures 16th International Conference, FOSSACS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings /
    Published 2013
    Table of Contents: “… -- Partiality and Recursion in Higher-Order Logic -- Some Sahlqvist Completeness Results for Coalgebraic Logics…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 149
    Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers /
    Published 2011
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 150
    Foundations of Software Science and Computational Structures 14th International Conference, FOSSACS 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 /
    Published 2011
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 151
    Tests and Proofs 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings /
    Published 2011
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 152
    Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings /
    Published 2017
    Table of Contents: “… -- Logics of repeating values on data trees and branching counter systems -- Automata, Logic and Formal…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 153
    Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers /
    Published 2017
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 154
    Foundations of Software Science and Computational Structures 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings /
    Published 2005
    Table of Contents: “… Charts -- Logics -- A Simpler Proof Theory for Nominal Logic -- From Separation Logic to First-Order…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 155
    Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday /
    Published 2007
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 156
    Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
    Published 2008
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 157
    Implementation and Application of Functional Languages 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers /
    Published 2011
    Subjects: “…Computer logic.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 158
    Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /
    Published 2012
    Table of Contents: “… for Embedded Languages -- From Stack Traces to Lazy Rewriting Sequences -- Model Based Testing with Logical…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 159
    Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings /
    Published 2013
    Table of Contents: “…Abstract domains -- Abstract interpretation -- Abstract testing -- Bug detection -- Data flow…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 160
    Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
    Published 2014
    Table of Contents: “… Problems in Separation Logic with General Inductive Predicates -- A Coalgebraic Approach to Linear-Time…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search