ITU

Lecture Notes in Computer Science

  1. 2006
  2. Published

    An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework

    Schürmann, C. & Stehr, M-O., 2006, In: Lecture Notes in Computer Science. 4246

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  3. Exceptions in Java and Eiffel: Two Extremes in Exception Design and Application

    Kiniry, J. R., 2006, In: Lecture Notes in Computer Science. 4119, p. 288-300 13 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  4. Published

    Interpreting polymorphic FPC into domain theoretic models of parametric polymorphism

    Møgelberg, R. E., 2006, In: Lecture Notes in Computer Science. 4052

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  5. 2008
  6. Published

    A logic for parametric polymorphism with effects

    Møgelberg, R. E. & Simpson, A., 2008, In: Lecture Notes in Computer Science. 4941, p. 142-156

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  7. Published

    A Realizability Model for Impredicative Hoare Type Theory

    Petersen, R. L., Birkedal, L., Nanevski, A. & Morrisett, G., 2008, In: Lecture Notes in Computer Science. p. 337-352

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  8. Published

    A Simple Model of Separation Logic for Higher-order Store

    Birkedal, L., Reus, B., Schwinghammer, J. & Yang, H., 2008, In: Lecture Notes in Computer Science. p. 348-360

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  9. Published

    Actors with Multi-Headed Message Receive Patterns

    Sulzmann, M., Lam, E. S. L. & Van Weert, P., 2008, In: Lecture Notes in Computer Science. p. 315-330

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  10. Published

    Approximate Compilation of Constraints into Multivalued Decision Diagrams

    Hadzic, T., Hooker, J. N., O’Sullivan, B. & Tiedemann, P., 2008, In: Lecture Notes in Computer Science. p. 448-462

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  11. Published

    Celf – A Logical Framework for Deductive and Concurrent Systems (System Description)

    Schack-Nielsen, A. & Schürmann, C., 2008, In: Lecture Notes in Computer Science. p. 320-326

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  12. Published

    Complexity of Decision Problems for Mixed and Modal Specifications

    Antonik, A., Huth, M., Nyman, U. M., Larsen, K. G. & Wasowski, A., 2008, In: Lecture Notes in Computer Science. p. 112-126

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

Previous 1 2 3 4 5 6 7 8 ...10 Next

ID: 79745