Search Results - "D.3.3 [Programming Languages] Language Constructs and Features — Classes and objects"

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

    Traits: A mechanism for fine-grained reuse

    Authors: Ducasse, Stéphane Nierstrasz, Oscar Schärli, Nathanael et al.

    Contributors: Ducasse, Stéphane Nierstrasz, Oscar Schärli, Nathanael et al.

    Source: ACM Transactions on Programming Languages and Systems. 28:331-388

    Subject Terms: Multiple Inheritance, Inheritance, D.3.3 [Programming Languages]: Language Constructs and Features-Classes and objects inheritance, Mixins, Informatique appliquée logiciel, Reuse, 0102 computer and information sciences, 02 engineering and technology, Traits, 01 natural sciences, D.3.3 [Programming Languages]: Language Constructs and Features-Classes and objects, D.2.7 [Software Engineering]: Distribution and Maintenance-Restructuring Inheritance Mixins Multiple Inheritance Traits Reuse Smalltalk, [INFO.INFO-CL] Computer Science [cs]/Computation and Language [cs.CL], D.2.7 [Software Engineering]: Distribution and Maintenance-Restructuring Inheritance, Languages, 0202 electrical engineering, electronic engineering, information engineering, inheritance, Smalltalk, Multiple inheritance

    File Description: application/pdf; No full-text files

    Access URL: https://hal.science/hal-05025979v1
    https://boris.unibe.ch/104506/
    http://portal.acm.org/citation.cfm?id=1119479.1119483
    https://dialnet.unirioja.es/servlet/articulo?codigo=1966090
    https://difusion.ulb.ac.be/vufind/Record/ULB-DIPOT:oai:dipot.ulb.ac.be:2013/166280/Details
    http://scg.unibe.ch/archive/papers/Duca06bTOPLASTraits.pdf
    https://dl.acm.org/doi/10.1145/1119479.1119483

    View record at OpenAIRE Full Text Finder Nájsť tento článok vo Web of Science
    Save to List
  2. 2

    Traits: A Mechanism for Fine-grained Reuse

    Authors: Ducasse, Stephane Nierstrasz, Oscar Schärli, Nathanael et al.

    Contributors: Ducasse, Stephane Nierstrasz, Oscar Schärli, Nathanael et al.

    Subject Terms: D.3.3 [Programming Languages]: Language Constructs and Features-Classes and objects inheritance, D.2.7 [Software Engineering]: Distribution and Maintenance-Restructuring Inheritance Mixins Multiple Inheritance Traits Reuse Smalltalk, D.3.3 [Programming Languages]: Language Constructs and Features-Classes and objects, inheritance, D.2.7 [Software Engineering]: Distribution and Maintenance-Restructuring Inheritance, Mixins, Multiple Inheritance, Traits, Reuse, Smalltalk

    File Description: application/octet-stream

    Relation: ACM Transactions on Programming Languages and Systems (TOPLAS); http://hdl.handle.net/20.500.12210/126962

    Availability: https://hdl.handle.net/20.500.12210/126962

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

    Enhancing the Expressiveness of the CleanJava Language

    Authors: Melisa Vela Yoonsik Cheon The Pennsylvania State University CiteSeerX Archives

    Contributors: Melisa Vela Yoonsik Cheon The Pennsylvania State University CiteSeerX Archives

    Source: http://www.cs.utep.edu/cheon/techreport/tr13-33.pdf.

    Subject Terms: languages, D.3.3 [Programming Languages] Language Constructs and Features — Classes and objects, control structures, inheritance, polymorphism, functions, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Asse, logics of programs, specification techniques

    File Description: application/pdf

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

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.434.5948
    http://www.cs.utep.edu/cheon/techreport/tr13-33.pdf

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

    and Modular Reasoning

    Authors: Gary T. Leavens David A. Naumann The Pennsylvania State University CiteSeerX Archives

    Contributors: Gary T. Leavens David A. Naumann The Pennsylvania State University CiteSeerX Archives

    Source: http://www.cs.stevens-tech.edu/~naumann/publications/ISU-TR-2006-20.pdf.

    Subject Terms: Language Classifications — Object-oriented languages, D.3.3 [Programming Languages] Language Constructs and Features — classes and objects

    File Description: application/pdf

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

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.1144
    http://www.cs.stevens-tech.edu/~naumann/publications/ISU-TR-2006-20.pdf

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

    CleanJava: A formal notation for functional program verification

    Authors: Yoonsik Cheon Cesar Yeep Melisa Vela et al.

    Contributors: Yoonsik Cheon Cesar Yeep Melisa Vela et al.

    Source: http://www.cs.utep.edu/cheon/techreport/tr10-49.pdf.

    Subject Terms: formal specification, formal verification, functional program verification, intended function, CleanJava. 1998 CR Categories, D.2.4 [Software Engineering] Software/Program Verification — Correctness proofs, formal methods, D.3.3 [Programming Languages] Language Constructs and Features — Classes and objects, control structures, inheritance, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Asse, logics of programs, specification techniques

    File Description: application/pdf

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

    Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.639.3169
    http://www.cs.utep.edu/cheon/techreport/tr10-49.pdf

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

Search Tools: