Search Results - D.3.3 [Programming Languages]: Language Constructs and Features-Classes and objects inheritance*
-
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:
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
-
3
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
-
4
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.2.2 [Software Engineering, Design Tools and Tech- niques — Object-oriented design methods, D.2.3 [Software Engineering, Coding Tools and Techniques — Object-oriented programming, D.2.4 [Software Engineering, Software/Program Verification — Correctness proofs, formal methods, programming by contract, reliability, tools, Eiffel, JML, D.2.7 [Software Engineering, Distribution, Maintenance, and Enhancement — Documentation, D.3.1 [Programming Languages, Definitions and Theory — Semantics, D.3.2 [Programming Languages, Language Classifications — Object-oriented languages, D.3.3 [Programming Languages, Language Constructs and Features — classes and objects, inher- itance, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, logics of programs, pre- and post-conditions, specification tech- niques. General Terms, Specification
File Description: application/pdf
-
5
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.3.2 [Programming Languages, Language Classifica- tions—Very high-level languages, D.3.3 [Programming Lan- guages, Language Constructs and Features—Classes and objects, Inheritance, Polymorphism, D.3.4 [Programming Languages, Processors—Code generation, Compilers, Op- timization General Terms Design, Languages, Performance Keywords JavaScript, Scripting Language, Dynamic Typing, Type Spe- cialization, Hidden Class, Inline Caching, Prototype
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.278; http://polaris.cs.uiuc.edu/%7Egarzaran/doc/pldi14.pdf
-
6
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Definitions and Theory—Syntax and Semantics, D.3.2 [Programming Languages, Language Classifications— Object-oriented languages, D.3.3 [Programming Languages, Language Constructs and Features—Classes and objects, Inheritance, F.3.3 [Logics and Meaning of Programs, Studies of Program Constructs—Object-oriented constructs General Terms, Design, Languages, Theory Additional Key Words and Phrases, Java, Language design, Language semantics
File Description: application/pdf
-
7
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.2.2 [Software Engineering, Design Tools and Techniques — Object-oriented design methods, D.2.3 [Software Engineering, Coding Tools and Techniques — Object-oriented programming, D.2.4 [Software Engineering, Software/Program Verification — Correctness proofs, formal methods, programming by contract, reliability, tools, Eiffel, JML, D.2.7 [Software Engineering, Distribution, Maintenance, and Enhancement — Documentation, D.3.1 [Programming Languages, Definitions and Theory — Semantics, D.3.2 [Programming Languages, Language Classifications — Object-oriented languages, D.3.3 [Programming Languages, Language Constructs and Features — classes and objects, inheritance, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, logics of programs, pre- and post-conditions, specification techniques. General Terms, Specification
File Description: application/pdf
-
8
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.3.3 [Programming Languages, Language Constructs and Features— Classes and objects, inheritance, D.2.7 [Software Engineering, Distribution and Maintenance—Restructuring General Terms, Languages Additional Key Words and Phrases, Mixins, Multiple Inheritance, Traits, Reuse
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.2480; http://www.iam.unibe.ch/~scg/Archive/Papers/Duca06bTOPLASTraits.pdf
-
9
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors, D.2.2 [Software Engineering, Design Tools and Techniques — Object-oriented design methods, D.2.3 [Software Engineering, Coding Tools and Techniques — Object-oriented programming, D.2.4 [Software Engineering, Software/Program Verification — Correctness proofs, formal methods, programming by contract, reliability, tools, Eiffel, JML, D.2.7 [Software Engineering, Distribution, Maintenance, and Enhancement — Documentation, D.3.1 [Programming Languages, Definitions and Theory — Semantics, D.3.2 [Programming Languages, Language Classifications — Object-oriented languages, D.3.3 [Programming Languages, Language Constructs and Features — classes and objects, inheritance, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, logics of programs, pre- and post-conditions, specification techniques. General Terms, Specification
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.380.9411; http://www.cs.stevens.edu/~naumann/pub/behsub2.pdf
-
10
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.1.5 [Programming techniques, Object-oriented Programming, D.2.0 [Software Engineering, General—Standards, D.2.2 [Software Engineer- ing, Design Tools and Techniques—Object-oriented design methods, D.2.4 [Software Engineering, Software/Program Verification—Correctness proofs, D.3.3 [Programming Languages, Language Constructs and Features—Classes and objects, Inheritance, F.3.3 [Logics and meanings of programs
File Description: application/pdf
-
11
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.3.3 [Programming Languages, Language Constructs and Features— Classes and objects, inheritance, D.2.7 [Software Engineering, Distribution and Maintenance—Restructuring General Terms, Mixins Additional Key Words and Phrases, Mixins, Multiple Inheritance, Traits, Reuse
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.2657; http://web.cecs.pdx.edu/~black/publications/TOPLASTraits.pdf
-
12
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.1.5 [Programming Techniques, Object-oriented Programming, D.3.3 [Programming Languages, Language Constructs and Features—classes and objects, inheritance, procedures, functions, and subroutines, patterns, D.3.1 [Programming
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.380.6103; http://www.cs.ucla.edu/~todd/research/toplas08.pdf
-
13
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.3.2 [Programming Languages, Language Classifica- tions—Very high-level languages, D.3.3 [Programming Lan- guages, Language Constructs and Features—Classes and objects, Inheritance, Polymorphism, D.3.4 [Programming Languages, Processors—Code generation, Compilers, Op- timization General Terms Design, Languages, Performance Keywords JavaScript, Scripting Language, Dynamic Typing, Type Spe- cialization, Hidden Class, Inline Caching, Prototype
File Description: application/pdf
-
14
Authors:
Contributors:
Subject Terms: Categories and Subject Descriptors D.2.3 [Software Engineering, Coding Tools and Techniques, D.2.11 [Software Engineering, Software Architectures, D.3.3 [Programming Languages, Language Constructs and Features – Classes and objects, Frameworks, Inheritance, Modules, packages, D.3.4 [Programming Languages, Processors — Code generation, Compilers, Debuggers, Parsing, Run-time environments Languages, Documentation, Stan- General Terms dardization Keywords JavaScript, ActionScript, RIA, Programming in the large, Browser, Opensource, Flash
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.301.7497; http://plastic.host.adobe.com/plastic4.pdf
-
15
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
-
16
Authors: Ducournau, Roland
Source: ACM Computing Surveys; Apr2011, Vol. 43 Issue 3, p1-48, 48p
-
17
Authors:
Contributors:
Subject Terms: variants, D.3.3 [Programming Languages, Language Constructs and Features—Modules, packages, D.3.3 [Programming Langua- ges, Language Constructs and Features—Classes and inheritance General Terms Languages, Theory, Verification Keywords Separation Logic, Modularity, Resources, Abstract data types, Class- es
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.597.8752; http://www2.tcs.ifi.lmu.de/~mhofmann/appsem2/papers/parkinson.pdf
-
18
Authors:
Source: ACM Transactions on Programming Languages & Systems; Jul2011, Vol. 33 Issue 4, p12:1-12:83, 83p
-
19
Authors: Bishop, Judith
Source: ICSE: International Conference on Software Engineering; 2008, p1-7, 7p, 3 Diagrams, 5 Charts
Subject Terms: SOFTWARE engineering, PROGRAMMING languages, ARTIFICIAL languages, SOFTWARE architecture, COMPUTER software industry
-
20
Authors: et al.
Source: ACM Transactions on Programming Languages & Systems; Feb2009, Vol. 31 Issue 2, p7:1-7:54, 54p, 43 Diagrams, 2 Charts
Full Text Finder 
Nájsť tento článok vo Web of Science