Search Results - D.3.2 [Programming Languages] Language Classification — Object-oriented languages
-
1
Authors: et al.
Source: ACM Transactions on Software Engineering and Methodology. 7:250-295
Subject Terms: 4. Education, Languages, 0202 electrical engineering, electronic engineering, information engineering, D.3.2 [Programming Languages]: Language Classifications - object-oriented languages, 02 engineering and technology, D.2.5 [Software Engineering]: Testing and Debugging - test data generators, D.2.1 [Software Engineering]: Requirements/Specifications-languages, Algorithms
Access URL: http://hub.hku.hk/bitstream/10722/48420/1/29731.pdf
https://core.ac.uk/display/24391879
https://doi.org/10.1145/287000.287004
https://doi.acm.org/10.1145/287000.287004
http://www.cs.hku.hk/research/techreps/document/TR-96-07.pdf
https://hub.hku.hk/handle/10722/48420
https://dl.acm.org/doi/abs/10.1145/287000.287004
http://hdl.handle.net/10722/48420 -
2
Authors: et al.
Source: Machine Learning; Oct2023, Vol. 112 Issue 10, p3805-3849, 45p
Subject Terms: PROGRAMMING languages, CYBER physical systems, AUTONOMOUS robots, DRIVERLESS cars, DEBUGGING
-
3
Authors:
Source: Communications of the ACM; Sep91, Vol. 34 Issue 9, p28-38, 11p, 1 Chart
-
4
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.1.5 [Programming Techniques, Object-Oriented Programming, D.1.6 [Programming Techniques, Logic Programming, D.3.2 [Programming Languages, Language Classification—object-oriented languages, H.2.1 [Database Management, Logical Design—data models, schema and subschema, H.2.3 [Database Management, Languages—data description languages (DDL, database (persistent) programming languages, query languages, I.2.3 [Artificial Intelligence, Deduction and Theorem Proving—deduction
File Description: application/pdf
-
5
Authors:
Source: ACM Transactions on Database Systems; Mar2002, Vol. 27 Issue 1, p117-151, 35p
-
6
Authors:
Source: Communications of the ACM; Feb1992, Vol. 35 Issue 2, p97-107, 11p
Subject Terms: PROGRAMMING languages, COMPUTER programmers, COMPUTER software, COMPUTER systems, SYSTEMS software
-
7
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.3.2 [Programming Languages, Language Classification—C, D.4.6 [Operating Systems, Security and Protection, D.1.5 [Software, Object-oriented Programming General Terms
File Description: application/pdf
-
8
Authors:
Contributors:
Subject Terms: Software Engineering, assertion semantics, soundness, run-time assertion checking, static program verification, logical foundations, Verifying Compiler. 2001 CR Categories, D.2.1 [Software Engineering] Requirements / Specifications — languages, tools, JML, D.2.2
File Description: application/pdf
-
9
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.3.2 [Programming languages, Language classifications—object-oriented languages, Java, Eiffel, Smalltalk, Clos, D.3.3 [Programming languages, Language constructs and features—cl
File Description: application/pdf
-
10
Authors:
Contributors:
Subject Terms: Formal annotation language, parser, static checker, CleanJava, JastAddJ. 1998 CR Categories, D.3.2 [Programming Languages] Language classifications⎯Object-oriented languages, D.3.4 [Programming Languages
File Description: application/pdf
-
11
Authors:
Contributors:
Source: ftp://ftp.cs.iastate.edu/pub/techreports/TR02-05/TR.pdf
Subject Terms: Software/Program Verification — Assertion checkers, class invariants, formal methods, programming by contract, reliability, tools, validation, JML, D.2.5 [Software Engineering] Testing and Debugging — Debugging aids, design, monitors, testing tools, theory, D.3.2 [Programming Languages] Language Classifications — Object-oriented languages, F.3.1 [Logics and Meanings of Programs] Specifying and Verifying and Reasoning about Programs — Asse, invariants, pre- and postconditions, specification techniques
File Description: application/pdf
-
12
Authors: Chodarev, Sergej
Source: Information Sciences & Technologies: Bulletin of the ACM Slovakia; Sep2012, Vol. 4 Issue 3, p47-53, 7p
-
13
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors, D.2.1 [Software Engineering, Requirements/Specifications ⎯languages, D.2.5 [Software Engineering, Testing and Debugging⎯test data generators, D.3.2 [Programming Languages, Language Classifications⎯object-oriented languages
File Description: application/pdf
-
14
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.3.3 [Language Constructs and Features, Classes and objects, D.3.2 [Language Classifications, Object-oriented languages, D.3.1 [Formal Definitions and Theory, F.3.2 [Semantics of Programming Languages, Operational semantics, F.3.3 [Studies of Program Constructs, Type structure, D.1.5 [Object-oriented Programming] General Terms Languages, Theory, Verification Keywords Session types, object-oriented calculus, non-uniform method
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.413.8460; http://www.dcs.gla.ac.uk/~simon/publications/DynamicInterfaces.pdf
-
15
Authors: et al.
Contributors: et al.
Subject Terms: Categories and Subject Descriptors D.3.3 [Language Constructs and Features, Classes and objects, D.3.2 [Language Classifications, Object-oriented languages, D.3.1 [Formal Definitions and Theory, F.3.2 [Semantics of Programming Languages, Operational semantics, F.3.3 [Studies of Program Constructs, Type structure, D.1.5 [Object-oriented Programming] General Terms Languages, Theory, Verification Keywords Session types, object-oriented calculus, non-uniform
File Description: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.295.720; http://www.dcs.gla.ac.uk/~simon/publications/fool09.pdf
-
16
Authors: Feldman, Michael B.
Source: Communications of the ACM; Nov92, Vol. 35 Issue 11, p53-67, 15p
-
17
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
-
18
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
-
19
Authors:
Contributors:
Subject Terms: random testing, test data generator, test oracle, pre and postconditions, JML language. 1998 CR Categories, D.2.5 [Software Engineering] Testing and Debugging — testing tools (e.g, data generators, coverage testing, D.3.2 [Programming Languages] Language Classifications — Object-oriented
File Description: application/pdf
-
20
Authors: et al.
Contributors: et al.
Subject Terms: ACM CCS Categories and Subject Descriptors, D.3.3 [Programming Lan- guages, Language Constructs and Features — inheritance, D.3.2 [Programming Languages, Language Classifications — object-oriented languages, Eiffel, D.2.3 [Software Engineering, Coding Tools and Techniques — object-oriented program- ming, D.2.2 [Software
Full Text Finder 
Nájsť tento článok vo Web of Science