Search Results - "D.3.3 [Programming Languages] Language Constructs and Features — Classes and objects"
-
1
Authors: et al.
Contributors: 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 -
2
Authors: et al.
Contributors: 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
-
3
Authors:
Contributors:
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
-
4
Authors:
Contributors:
Subject Terms: Language Classifications — Object-oriented languages, D.3.3 [Programming Languages] Language Constructs and Features — classes and objects
File Description: application/pdf
-
5
Authors: et al.
Contributors: et al.
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
Full Text Finder
Nájsť tento článok vo Web of Science