Showing 1,281 - 1,300 results of 5,319 for search '"Compiler"', query time: 0.17s Refine Results
  1. 1281
    Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /
    Published 2009
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 1282
    Perspectives of Systems Informatics 7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009. Revised Papers /
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 1283
    Using and Improving OpenMP for Devices, Tasks, and More 10th International Workshop on OpenMP, IWOMP 2014, Salvador, Brazil, September 28-30, 2014. Proceedings /
    Published 2014
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 1284
    Software Engineering 1 Abstraction and Modelling /
    by Bjørner, Dines
    Published 2006
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 1285
    Multiparadigm Programming in Mozart/Oz Second International Conference, MOZ 2004, Charleroi, Belgium, October 7-8, 2004, Revised Selected and Invited Papers /
    Published 2005
    Table of Contents: “… Order Programming for Unordered Minds -- Software Engineering -- Compiling Formal Specifications to Oz…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 1286
    Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
    Published 2008
    Table of Contents: “… -- Incremental Hashing for Spin -- Verifying Compiler Based Refinement of Bluespec TM Specifications Using…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 1287
    Implementation and Application of Functional Languages 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers /
    Published 2008
    Table of Contents: “… in Quadratic Time -- The Structure of the Essential Haskell Compiler, or Coping with Compiler Complexity…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 1288
    An Integrated Approach to Software Engineering
    by Jalote, Pankaj
    Published 2005
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 1289
    Hardware Verification with SystemVerilog An Object-Oriented Framework /
    by Mintz, Mike, Ekendahl, Robert
    Published 2007
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 1290
    Automated Technology for Verification and Analysis 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings /
    Published 2017
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 1291
    Formal Foundations of Reuse and Domain Engineering 11th International Conference on Software Reuse, ICSR 2009, Falls Church, VA, USA, September 27-30, 2009. Proceedings /
    Published 2009
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 1292
    Software Language Engineering 4th International Conference, SLE 2011, Braga, Portugal, July 3-4, 2011, Revised Selected Papers /
    Published 2012
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 1293
    A Concise Introduction to Software Engineering
    by Jalote, Pankaj
    Published 2008
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 1294
    Essential RenderMan ®
    by Stephenson, Ian
    Published 2007
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 1295
    Programming Languages and Systems 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings /
    Published 2013
    Table of Contents: “… at Oracle (Invited Talk) -- Secure Compilation of Object-Oriented Components to Protected Module…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 1296
    Formal Methods for Industrial Critical Systems 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
    by Kowalewski, Stefan
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
  17. 1297
    Logic, Rewriting, and Concurrency Essays Dedicated to José Meseguer on the Occasion of His 65th Birthday /
    Published 2015
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 1298
    Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings /
    Published 2016
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 1299
    Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings /
    Published 2016
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 1300
    Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings /
    Published 2016
    Table of Contents: “… Verification with Confidence Intervals -- PrDK: Protocol Programming with Automata -- DLC: Compiling a…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search