Search Results - "D.1.5 [Object-oriented Programming] General Terms Languages"

  • Showing 1 - 5 results of 5
Refine Results
  1. 1

    Dynamic Interfaces

    Authors: Simon J. Gay António Ravara Vasco T. Vasconcelos et al.

    Contributors: Simon J. Gay António Ravara Vasco T. Vasconcelos et al.

    Source: http://www.dcs.gla.ac.uk/~simon/publications/DynamicInterfaces.pdf.

    Subject Terms: Categories and Subject Descriptors D.3.3 [Language Constructs and Features, Classes and objects, D.3.2 [Language Classifications, Object-oriented languages, D.3.1 [Formal Definitions and Theory, F.3.2 [Semantics of Programming Languages, Operational semantics, F.3.3 [Studies of Program Constructs, Type structure, D.1.5 [Object-oriented Programming] General Terms Languages, Theory, Verification Keywords Session types, object-oriented calculus, non-uniform method

    File Description: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.413.8460; http://www.dcs.gla.ac.uk/~simon/publications/DynamicInterfaces.pdf

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.413.8460
    http://www.dcs.gla.ac.uk/~simon/publications/DynamicInterfaces.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  2. 2

    Dynamic interfaces

    Authors: Vasco T. Vasconcelos Simon J. Gay António Ravara et al.

    Contributors: Vasco T. Vasconcelos Simon J. Gay António Ravara et al.

    Source: http://www.dcs.gla.ac.uk/~simon/publications/fool09.pdf.

    Subject Terms: Categories and Subject Descriptors D.3.3 [Language Constructs and Features, Classes and objects, D.3.2 [Language Classifications, Object-oriented languages, D.3.1 [Formal Definitions and Theory, F.3.2 [Semantics of Programming Languages, Operational semantics, F.3.3 [Studies of Program Constructs, Type structure, D.1.5 [Object-oriented Programming] General Terms Languages, Theory, Verification Keywords Session types, object-oriented calculus, non-uniform

    File Description: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.295.720; http://www.dcs.gla.ac.uk/~simon/publications/fool09.pdf

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.295.720
    http://www.dcs.gla.ac.uk/~simon/publications/fool09.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  3. 3

    Dynamic interfaces

    Authors: Vasco T. Vasconcelos Simon J. Gay António Ravara et al.

    Contributors: Vasco T. Vasconcelos Simon J. Gay António Ravara et al.

    Source: http://www.di.fc.ul.pt/~vv/papers/vasconcelos.gay.etal_dynamic-interfaces.pdf.

    Subject Terms: Categories and Subject Descriptors D.3.3 [Language Constructs and Features, Classes and objects, D.3.2 [Language Classifications, Object-oriented languages, D.3.1 [Formal Definitions and Theory, F.3.2 [Semantics of Programming Languages, Operational semantics, F.3.3 [Studies of Program Constructs, Type structure, D.1.5 [Object-oriented Programming] General Terms Languages, Theory, Verification Keywords Session types, object-oriented calculus, non-uniform method

    File Description: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.1244

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.1244
    http://www.di.fc.ul.pt/~vv/papers/vasconcelos.gay.etal_dynamic-interfaces.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  4. 4

    Dynamic Interfaces

    Authors: Simon J. Gay António Ravara Vasco T. Vasconcelos et al.

    Contributors: Simon J. Gay António Ravara Vasco T. Vasconcelos et al.

    Source: http://www.di.fc.ul.pt/~vv/papers/gay.vasconcelos.ravara_dynamic-interfaces.pdf.

    Subject Terms: Categories and Subject Descriptors D.3.3 [Language Constructs and Features, Classes and objects, D.3.2 [Language Classifications, Object-oriented languages, D.3.1 [Formal Definitions and Theory, F.3.2 [Semantics of Programming Languages, Operational semantics, F.3.3 [Studies of Program Constructs, Type structure, D.1.5 [Object-oriented Programming] General Terms Languages, Theory, Verification Keywords Session types, object-oriented calculus, non-uniform method

    File Description: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.139.4334

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.139.4334
    http://www.di.fc.ul.pt/~vv/papers/gay.vasconcelos.ravara_dynamic-interfaces.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List
  5. 5

    Modular Session Types for Distributed Object-Oriented Programming

    Authors: Simon J. Gay Vasco T. Vasconcelos António Ravara et al.

    Contributors: Simon J. Gay Vasco T. Vasconcelos António Ravara et al.

    Source: http://www.di.fc.ul.pt/~vv/papers/gay.vasconcelos.etal_modular-session-types.pdf.

    Subject Terms: structure, D.1.5 [Object-oriented Programming] General Terms Languages, Theory, Verification Keywords Session types, object-oriented calculus, non-uniform method availability

    File Description: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.5609

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.150.5609
    http://www.di.fc.ul.pt/~vv/papers/gay.vasconcelos.etal_modular-session-types.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Save to List

Search Tools: