Showing 1,521 - 1,540 results of 5,319 for search '"Compiler"', query time: 0.33s Refine Results
  1. 1521
    Formal Methods for Web Services 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures /
    Published 2009
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 1522
    Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings /
    Published 2008
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 1523
    Pattern Calculus Computing with Functions and Structures /
    by Jay, Barry
    Published 2009
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 1524
    Innovations for Requirement Analysis. From Stakeholders’ Needs to Formal Designs 14th Monterey Workshop 2007, Monterey, CA, USA, September 10-13, 2007. Revised Selected Papers /
    Published 2008
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 1525
    Mastering Scale and Complexity in Software Reuse 16th International Conference on Software Reuse, ICSR 2017, Salvador, Brazil, May 29-31, 2017, Proceedings /
    Published 2017
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 1526
    Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II /
    Published 2017
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 1527
    Engineering Trustworthy Software Systems Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures /
    Published 2017
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 1528
    Reliable Software Technologies – Ada-Europe 2017 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings /
    Published 2017
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 1529
    Fundamental Approaches to Software Engineering 12th International Conference, FASE 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
  10. 1530
    Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 1531
    Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings /
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  12. 1532
    Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
    Published 2010
    Table of Contents: “… -- A Framework for Formal Verification of Compiler Optimizations -- On the Formalization…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 1533
    Mathematical Foundations of Computer Science 2010 35th International Symposium, MFCS 2010, Brno, Czech Republic, August 23-27, 2010. Proceedings /
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 1534
    Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part II /
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  15. 1535
    Model Driven Engineering Languages and Systems 13th International Conference, MODELS 2010, Oslo, Norway, October 3-8, 2010, Proceedings, Part I /
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  16. 1536
    Modelling Foundations and Applications 10th European Conference, ECMFA 2014, Held as Part of STAF 2014, York, UK, July 21-25, 2014. Proceedings /
    Published 2014
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  17. 1537
    Euro-Par 2014 Parallel Processing 20th International Conference, Porto, Portugal, August 25-29, 2014. Proceedings /
    Published 2014
    Table of Contents: “… balancing -- High-performance architectures and compilers -- Parallel and distributed data management…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 1538
    System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings /
    Published 2014
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 1539
    Rewriting Logic and Its Applications 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers /
    Published 2014
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 1540
    A Pipelined Multi-core MIPS Machine Hardware Implementation and Correctness Proof /
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search