Výsledky vyhledávání - "D.3.3 [Programming Languages]: Language Constructs and Features-Classes and objects"
-
1
Autoři: a další
Přispěvatelé: 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 -
2
Autoři: a další
Přispěvatelé: 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
-
3
Autoři:
Přispěvatelé:
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
-
4
Autoři:
Přispěvatelé:
Témata: Language Classifications — Object-oriented languages, D.3.3 [Programming Languages] Language Constructs and Features — classes and objects
Popis souboru: application/pdf
-
5
Autoři: a další
Přispěvatelé: a další
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
-
6
Autoři:
Zdroj: Aspect-oriented Software Development; 3/16/15, p15-18, 4p
-
7
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
-
8
Autoři:
Zdroj: ACM Transactions on Programming Languages & Systems; Jul2011, Vol. 33 Issue 4, p12:1-12:83, 83p
-
9
Autoři: Ducournau, Roland
Zdroj: ACM Computing Surveys; Apr2011, Vol. 43 Issue 3, p1-48, 48p
-
10
Autoři: a další
Zdroj: ACM Transactions on Programming Languages & Systems; Feb2009, Vol. 31 Issue 2, p7:1-7:54, 54p, 43 Diagrams, 2 Charts
-
11
Autoři: 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
-
12
Autoři: a další
Přispěvatelé: a další
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
-
13
Autoři: a další
Přispěvatelé: a další
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
-
14
Autoři: a další
Přispěvatelé: a další
Témata: call, Hoare logic, refinement calculus
Popis souboru: application/pdf
-
15
Autoři: a další
Přispěvatelé: a další
Popis souboru: application/pdf
Full Text Finder
Nájsť tento článok vo Web of Science