Showing 1,981 - 2,000 results of 5,319 for search '"Compiler"', query time: 0.33s Refine Results
  1. 1981
    Application and Theory of Petri Nets and Concurrency 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings /
    Published 2013
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 1982
    ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings /
    Published 2013
    Table of Contents: “… -- Feature-Oriented Programming with Object Algebras -- Composition and Reuse with Compiled Domain-Specific…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 1983
    Structured Object-Oriented Formal Language and Method Second International Workshop, SOFL 2012, Kyoto, Japan, November 13, 2012. Revised Selected Papers /
    Published 2013
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 1984
    Formal Methods and Software Engineering 15th International Conference on Formal Engineering Methods, ICFEM 2013, Queenstown, New Zealand, October 29 – November 1, 2013, Proceedings /
    Published 2013
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 1985
    Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings /
    Published 2013
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 1986
    Verified Software: Theories, Tools, Experiments 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers /
    Published 2014
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 1987
    ECOOP 2014 – Object-Oriented Programming 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedings /
    Published 2014
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 1988
    Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II /
    Published 2014
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 1989
    Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I /
    Published 2014
    Table of Contents: “… Verification of Software Product Lines with mCRL2 -- Model-Based Code-Generators and Compilers - Track…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 1990
    Theoretical Introduction to Programming
    by Mills, Bruce
    Published 2006
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  11. 1991
    New Modeling Concepts for Today’s Software Processes International Conference on Software Process, ICSP 2010, Paderborn, Germany, July 8-9, 2010. Proceedings
    by MΓΌnch, JΓΌrgen
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
  12. 1992
    Functional and Constraint Logic Programming 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
    by Escobar, Santiago
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
  13. 1993
    Formal Methods and Software Engineering 12th International Conference on Formal Engineering Methods, ICFEM 2010, Shanghai, China, November 17-19, 2010. Proceedings
    by Dong, Jin Song
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
  14. 1994
    Software Composition 9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings
    by Baudry, Benoit
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
  15. 1995
    Automated Technology for Verification and Analysis 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings
    by Bouajjani, Ahmed
    Published 2010
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
  16. 1996
    Verification of Object-Oriented Software. The KeY Approach Foreword by K. Rustan M. Leino
    by Beckert, Bernhard
    Published 2006
    Subjects: “…Programming Languages, Compilers, Interpreters 64661…”
    Get full text
    Electronic Kit Book
  17. 1997
    Formal Aspects of Component Software 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers /
    Published 2015
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  18. 1998
    Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings /
    Published 2015
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  19. 1999
    Modelling Foundations and Applications 11th European Conference, ECMFA 2015, Held as Part of STAF 2015, L`Aquila, Italy, July 20-24, 2015. Proceedings /
    Published 2015
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
  20. 2000
    Formal Aspects of Component Software 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers /
    Published 2016
    Subjects: “…Programming Languages, Compilers, Interpreters.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search