Showing 1,281 - 1,300 results of 5,319 for search '"compilers"', query time: 0.15s Refine Results
  1. 1281
    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
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 1282
    Unifying Theories of Programming 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers /
    Published 2017
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 1283
    Programming Languages and Systems 15th Asian Symposium, APLAS 2017, Suzhou, China, November 27-29, 2017, Proceedings /
    Published 2017
    Table of Contents: “… logic specifications -- Heap and Equivalence Reasoning -- Black-box equivalence checking across compiler…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 1284
    Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /
    Published 2008
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 1285
    Systematic Methodology for Real-Time Cost-Effective Mapping of Dynamic Concurrent Task-Based Systems on Heterogeneous Platforms
    Published 2007
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 1286
    Implementing Distributed Systems with Java and CORBA
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 1287
    Satellite Events at the MoDELS 2005 Conference MoDELS 2005 International Workshops Doctoral Symposium, Educators Symposium Montego Bay, Jamaica, October 2-7, 2005 Revised Selected Papers /
    Published 2006
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 1288
    Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2 – 5, 2004, Revised Lectures /
    Published 2005
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 1289
    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
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 1290
    Operational Semantics for Timed Systems A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems /
    by Rust, Heinrich
    Published 2005
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 1291
    Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday /
    Published 2007
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 1292
    Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures /
    Published 2007
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 1293
    Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /
    Published 2008
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 1294
    Verification Methodology Manual for SystemVerilog
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 1295
    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: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 1296
    The Logic of Categorial Grammars A Deductive Account of Natural Language Syntax and Semantics /
    by Moot, Richard, Retoré, Christian
    Published 2012
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 1297
    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: “…-In-Time Compiler for Haskell -- Lazy Generation of Canonical Test Programs -- Generic Monadic Constructs…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 1298
    Static Analysis 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings /
    Published 2013
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 1299
    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
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 1300
    From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings /
    Published 2014
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search