No photo of Carl Gunter

View Scopus Profile

Carl Gunter

Search results

  • 1999

    PLANet: An active internetwork

    Hicks, M., Moore, J. T., Alexander, D. S., Gunter, C. A. & Nettles, S. M., 1999, Proceedings - IEEE INFOCOM'99: The Conference on Computer Communications - 18th Annual Joint Conference of the IEEE Computer and Communications Societies: The Future is Now. p. 1124-1133 10 p. 751668. (Proceedings - IEEE INFOCOM; vol. 3).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Specifying the PLAN network programming langauge

    Kakkar, P., Hicks, M., Moore, J. & Gunter, C. A., 1999, In: Electronic Notes in Theoretical Computer Science. 26, p. 87-104 18 p.

    Research output: Contribution to journal › Conference article › peer-review

  • 1998

    PLAN: A Packet Language for Active Networks

    Hicks, M., Kakkar, P., Moore, J. T., Gunter, C. A. & Nettles, S., 1998, p. 86-93. 8 p.

    Research output: Contribution to conference › Paper › peer-review

  • The switchware active network architecture

    Alexander, D. S., Arbaugh, W. A., Hicks, M. W., Kakkar, P., Keromytis, A. D., Moore, J. T., Gunter, C. A., Nettles, S. M. & Smith, J. M., May 1998, In: IEEE Network. 12, 3, p. 29-36 8 p.

    Research output: Contribution to journal › Article › peer-review

  • The village telephone system: A case study in formal software engineering

    Bhargavan, K., Gunter, C. A., Gunter, E. L., Jackson, M., Obradovic, D. & Zave, P., 1998, Theorem Proving in Higher Order Logics - 11th International Conference, TPHOLs 1998, Proceedings. Grundy, J. & Newey, M. (eds.). Springer, p. 49-66 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1479).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1997

    The common order-theoretic structure of version spaces and ATMSs

    Gunter, C. A., Ngair, T. H. & Subramanian, D., Sep 1997, In: Artificial Intelligence. 95, 2, p. 357-407 51 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
  • 1996

    Abstracting dependencies between software configuration items

    Gunter, C. A., 1996, p. 167-178. 12 p.

    Research output: Contribution to conference › Paper › peer-review

  • Reference counting as a computational interpretation of linear logic

    Chirimar, J., Gunter, C. A. & Riecke, J. G., Mar 1996, In: Journal of Functional Programming. 6, 2, p. 195-244 50 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access

  • Sets as anti-chains

    Gunter, C. A., Ngair, T. H. & Subramanian, D., 1996, Concurrency and Parallelism, Programming, Networking, and Security - 2nd Asian Computing Science Conference, ASIAN 1996, Proceedings. Jaffar, J. & Yap, R. H. C. (eds.). Springer, p. 116-128 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 1179).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Strategic directions in software engineering and programming languages

    Gunter, C., Mitchell, J. & Notkin, D., Dec 1996, In: ACM Computing Surveys. 28, 4, p. 727-737 11 p.

    Research output: Contribution to journal › Article › peer-review

    Open Access
  • 1995

    Generalization of exceptions and control in ML-like languages

    Gunter, C. A., Remy, D. & Riecke, J. G., 1995, p. 12-23. 12 p.

    Research output: Contribution to conference › Paper › peer-review

  • 1993

    Computing ml equality kinds using abstract interpretation

    Gunter, C. A., Gunter, E. L. & Macqueen, D. B., Dec 1993, In: Information and Computation. 107, 2, p. 303-323 21 p.

    Research output: Contribution to journal › Article › peer-review

  • 1992

    Proving memory management invariants for a language based on linear logic

    Chirimar, J., Gunter, C. A. & Riecke, J. G., 1992, Proc 92 ACM Conf Lisp Funct Program. Publ by ACM, p. 139-150 12 p. (Proc 92 ACM Conf Lisp Funct Program).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • The mixed powerdomain

    Gunter, C. A., Sep 14 1992, In: Theoretical Computer Science. 103, 2, p. 311-334 24 p.

    Research output: Contribution to journal › Article › peer-review

  • Xpnet: A graphical interface to proof nets with an efficient proof checker

    Chirimar, J., Gunter, C. A. & VanInwegen, M., 1992, Automated Deduction — CADE-11 - 11 th International Conference on Automated Deduction, Proceedings. Kapur, D. (ed.). Springer, p. 711-715 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 607 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1991

    An abstract interpretation for ML equality kinds

    Gunter, C. A., Gunter, E. L. & MacQueen, D. B., 1991, Theoretical Aspects of Computer Software - International Conference TACS 1991, Proceedings. Meyer, A. R. & Ito, T. (eds.). Springer, p. 112-130 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 526 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Inheritance as implicit coercion

    Breazu-Tannen, V., Coquand, T., Gunter, C. A. & Scedrov, A., Jul 1991, In: Information and Computation. 93, 1, p. 172-221 50 p.

    Research output: Contribution to journal › Article › peer-review

  • The Common Order-theoretic Structure of Version Spaces and ATMS's

    Gunter, C. A., Ngair, T. H., Panangaden, P. & Subramanian, D., 1991, Proceedings of the 9th National Conference on Artificial Intelligence, AAAI 1991. American Association for Artificial Intelligence (AAAI) Press, p. 500-505 6 p. (Proceedings of the 9th National Conference on Artificial Intelligence, AAAI 1991; vol. 1).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1990

    Coherence and consistency in domains

    Gunter, C. A. & Jung, A., Feb 23 1990, In: Journal of Pure and Applied Algebra. 63, 1, p. 49-66 18 p.

    Research output: Contribution to journal › Article › peer-review

  • Computing with coercions

    Breazu-Tannen, V., Gunter, C. A. & Scedrov, A., 1990, Proc 1990 ACM Conf LISP Funct Program. Publ by ACM, p. 44-60 17 p. (Proc 1990 ACM Conf LISP Funct Program).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

    Open Access

  • Normal process representatives

    Gehlot, V. & Gunter, C., 1990, Computer Science. Publ by IEEE, p. 200-207 8 p. (Proceedings - Symposium on Logic in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • Relating total and partial correctness interpretations of non-deterministic programs

    Gunter, C. A., 1990, In: Conference Record of the Annual ACM Symposium on Principles of Programming Languages. p. 306-319 14 p.

    Research output: Contribution to journal › Conference article › peer-review

  • 1989

    Domain theoretic models of polymorphism

    Coquand, T., Gunter, C. & Winskel, G., May 1989, In: Information and Computation. 81, 2, p. 123-167 45 p.

    Research output: Contribution to journal › Article › peer-review

  • Inheritance and explicit coercion

    Breazu-Tannen, V., Coquand, T., Gunter, C. A. & Scedrov, A., 1989, Proc Fourth Ann Symp Logic Comput Sci. Anon (ed.). Publ by IEEE, p. 112-129 18 p. (Proc Fourth Ann Symp Logic Comput Sci).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1988

    Coherence and consistency in domains.

    Gunter, C. A., 1988, Proc Third Annu Symp on Logic in Comput Sci. Publ by IEEE, p. 309-317 9 p. (Proc Third Annu Symp on Logic in Comput Sci).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • dI-domains as a model of polymorphism

    Coquand, T., Gunter, C. & Winskel, G., 1988, Mathematical Foundations of Programming Language Semantics - 3rd Workshop, Proceedings. Main, M., Melton, A., Schmidt, D. & Mislove, M. (eds.). Springer, p. 344-363 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 298 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1987

    Universal profinite domains

    Gunter, C. A., Jan 1987, In: Information and Computation. 72, 1, p. 1-30 30 p.

    Research output: Contribution to journal › Article › peer-review

  • 1986

    Comparing categories of domains

    Gunter, C. A., 1986, Mathematical Foundations of Programming Semantics - International Conference, Proceedings. Melton, A. (ed.). Springer, p. 101-121 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 239 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • LARGEST FIRST-ORDER-AXIOMATIZABLE CARTESIAN CLOSED CATEGORY OF DOMAINS.

    Gunter, C. A., 1986, Unknown Host Publication Title. IEEE, p. 142-148 7 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  • 1985

    A universal domain technique for profinite posets

    Gunter, C. A., 1985, Automata, Languages and Programming - 12th Colloquium. Brauer, W. (ed.). Springer, p. 232-243 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 194 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution