Výsledky vyhledávání - "D.3.3 [Programming Languages]: Language Constructs and Features-Classes and objects"

  • Zobrazuji výsledky 1 - 15 z 15
Upřesnit hledání
  1. 1

    Traits: A mechanism for fine-grained reuse

    Autoři: Ducasse, Stéphane Nierstrasz, Oscar Schärli, Nathanael a další

    Přispěvatelé: Ducasse, Stéphane Nierstrasz, Oscar Schärli, Nathanael a další

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

    Témata: 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

    Popis souboru: application/pdf; No full-text files

    Přístupová URL adresa: 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
    Přidat do oblíbených
  2. 2

    Traits: A Mechanism for Fine-grained Reuse

    Autoři: Ducasse, Stephane Nierstrasz, Oscar Schärli, Nathanael a další

    Přispěvatelé: Ducasse, Stephane Nierstrasz, Oscar Schärli, Nathanael a další

    Témata: 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

    Popis souboru: application/octet-stream

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

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

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  3. 3

    Enhancing the Expressiveness of the CleanJava Language

    Autoři: Melisa Vela Yoonsik Cheon The Pennsylvania State University CiteSeerX Archives

    Přispěvatelé: Melisa Vela Yoonsik Cheon The Pennsylvania State University CiteSeerX Archives

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

    Témata: 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

    Popis souboru: application/pdf

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

    Dostupnost: 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
    Přidat do oblíbených
  4. 4

    and Modular Reasoning

    Autoři: Gary T. Leavens David A. Naumann The Pennsylvania State University CiteSeerX Archives

    Přispěvatelé: Gary T. Leavens David A. Naumann The Pennsylvania State University CiteSeerX Archives

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

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

    Popis souboru: application/pdf

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

    Dostupnost: 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
    Přidat do oblíbených
  5. 5

    CleanJava: A formal notation for functional program verification

    Autoři: Yoonsik Cheon Cesar Yeep Melisa Vela a další

    Přispěvatelé: Yoonsik Cheon Cesar Yeep Melisa Vela a další

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

    Témata: 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

    Popis souboru: application/pdf

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

    Dostupnost: 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
    Přidat do oblíbených
  6. 6

    Subjective, Multidimensional Modularity with Korz.

    Autoři: Ossher, Harold Ungar, David Kimelman, Doug

    Zdroj: Aspect-oriented Software Development; 3/16/15, p15-18, 4p

    Přidat do oblíbených
  7. 7

    Language Features Meet Design Patterns: Raising the Abstraction Bar.

    Autoři: Bishop, Judith

    Zdroj: ICSE: International Conference on Software Engineering; 2008, p1-7, 7p, 3 Diagrams, 5 Charts

    Témata: SOFTWARE engineering, PROGRAMMING languages, ARTIFICIAL languages, SOFTWARE architecture, COMPUTER software industry

    Přidat do oblíbených
  8. 8

    JavaGI: The Interaction of Type Classes with Interfaces and Inheritance.

    Autoři: Wehr, Stefan Thiemann, Peter

    Zdroj: ACM Transactions on Programming Languages & Systems; Jul2011, Vol. 33 Issue 4, p12:1-12:83, 83p

    Témata: JAVA programming language, COMPUTER interfaces, BINARY-coded decimal system, COMPILERS (Computer programs), CODE generators, COMPUTER software

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  9. 9

    Implementing statically typed object-oriented programming languages.

    Autoři: Ducournau, Roland

    Zdroj: ACM Computing Surveys; Apr2011, Vol. 43 Issue 3, p1-48, 48p

    Témata: OBJECT-oriented programming, DATA structures, COMPUTER programming, ELECTRONIC file management, OBJECT-oriented methods (Computer science)

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  10. 10

    Expressive and Modular Predicate Dispatch for Java.

    Autoři: MILLSTEIN, TODD FROST, CHRISTOPHER RYDER, JASON a další

    Zdroj: ACM Transactions on Programming Languages & Systems; Feb2009, Vol. 31 Issue 2, p7:1-7:54, 54p, 43 Diagrams, 2 Charts

    Témata: JAVA programming language, OBJECT-oriented programming, MODULAR programming, ALGORITHMS, CASE studies, EQUALITY, FUNCTIONAL programming (Computer science)

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  11. 11

    A Real-Time Java Virtual Machine with Applications in Avionics.

    Autoři: Armbruster, Austin Baker, Jason Cunei, Antonio a další

    Zdroj: ACM Transactions on Embedded Computing Systems; Dec2007, Vol. 7 Issue 1, p1-49, 49p, 1 Black and White Photograph, 26 Diagrams, 3 Charts, 6 Graphs

    Témata: AVIONICS, JAVA programming language, VIRTUAL machine systems, COMPUTER memory management, OPEN source software

    Full Text Finder Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  12. 12

    Verification

    Autoři: Juan Chen Chris Hawblitzel Frances Perry a další

    Přispěvatelé: Juan Chen Chris Hawblitzel Frances Perry a další

    Zdroj: http://www.cs.umd.edu/%7Epolyvios/publications/pldi08.pdf.

    Popis souboru: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.8643; http://www.cs.umd.edu/%7Epolyvios/publications/pldi08.pdf

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.8643
    http://www.cs.umd.edu/%7Epolyvios/publications/pldi08.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  13. 13

    The Boeing Company

    Autoři: Austin Armbruster Jason Baker Antonio Cunei a další

    Přispěvatelé: Austin Armbruster Jason Baker Antonio Cunei a další

    Zdroj: http://promenade.cz/marek/papers/RTJava_in_Avionics_tecs2006.pdf.

    Popis souboru: application/pdf

    Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.4951; http://promenade.cz/marek/papers/RTJava_in_Avionics_tecs2006.pdf

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.140.4951
    http://promenade.cz/marek/papers/RTJava_in_Avionics_tecs2006.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  14. 14

    Modular Verification of Higher-Order Methods with Mandatory Calls Specified by Model Programs

    Autoři: Steve M. Shaner Gary T. Leavens David A. Naumann a další

    Přispěvatelé: Steve M. Shaner Gary T. Leavens David A. Naumann a další

    Zdroj: http://www.cs.stevens-tech.edu/~naumann/publications/mvhom.pdf.

    Témata: call, Hoare logic, refinement calculus

    Popis souboru: application/pdf

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

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.113.1998
    http://www.cs.stevens-tech.edu/~naumann/publications/mvhom.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených
  15. 15

    General Terms

    Autoři: Greg Bollella Tim Canham Vanessa Carson a další

    Přispěvatelé: Greg Bollella Tim Canham Vanessa Carson a další

    Zdroj: http://trs-new.jpl.nasa.gov/dspace/bitstream/2014/7888/1/03-2455.pdf.

    Témata: Design, Experimentation, Languages. Keywords Programming model, scoped memory, architecture

    Popis souboru: application/pdf

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

    Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.102.5372
    http://trs-new.jpl.nasa.gov/dspace/bitstream/2014/7888/1/03-2455.pdf

    View record from BASE Nájsť tento článok vo Web of Science
    Přidat do oblíbených

Vyhledávací nástroje: