Showing 121 - 140 results of 9,010 for search '"Program"', query time: 0.07s Refine Results
  1. 121
    Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Published 2007
    Subjects: “…Program verification…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 122
    Proceedings of the 7th workshop on Foundations of aspect-oriented languages
    Published 2008
    Subjects: “…Program reasoning…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 123
    Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming
    Published 2009
    Subjects: “…Program semantics…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  4. 124
    Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation
    Published 2016
    Subjects: “…Program reasoning…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  5. 125
    Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
    Published 2011
    Subjects: “…Program analysis…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  6. 126
    Proceedings of the 12th workshop on Foundations of aspect-oriented languages
    Published 2013
    Subjects: “…Program semantics…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  7. 127
    Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
    Published 2016
    Subjects: “…Program reasoning…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  8. 128
    Proceedings of the 14th symposium on Principles and practice of declarative programming
    Published 2012
    Subjects: “…Program semantics…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  9. 129
    Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation
    Published 2005
    Subjects: “…Program reasoning…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  10. 130
    Proceedings of the 9th symposium on Dynamic languages
    Published 2013
    Subjects: “…Program semantics…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  11. 131
    Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation
    Published 2002
    Subjects: “…Program semantics…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  12. 132
    Proceedings of the Workshop on Distributional Semantics and Compositionality
    Published 2011
    Subjects: “…Program semantics…”
    Full Text via HEAL-Link
    Electronic eBook
  13. 133
    Proceedings of the 1986 ACM conference on LISP and functional programming
    Published 1986
    Subjects: “…Program semantics…”
    Full Text via HEAL-Link
    Electronic eBook
  14. 134
    Proceedings of the 8th International Workshop on Virtual Machines and Intermediate Languages
    Published 2016
    Subjects: “…Program semantics…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  15. 135
    Proceedings of the 14th Workshop on Formal Techniques for Java-like Programs
    Published 2012
    Subjects: “…Program semantics…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  16. 136
    Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
    Published 2007
    Subjects: “…Program semantics…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  17. 137
    Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
    Published 2002
    Subjects: “…Program semantics…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  18. 138
    Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Published 2013
    Subjects: “…Program semantics…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  19. 139
    Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Published 2006
    Subjects: “…Program reasoning…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  20. 140
    Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
    Published 2003
    Subjects: “…Program semantics…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
Search Tools: RSS Feed – Email Search