Výsledky vyhledávání - D.3.2 [Programming Languages] Language Classification — Object-oriented languages*
-
1
Autoři: a další
Zdroj: ACM Transactions on Software Engineering and Methodology. 7:250-295
Témata: 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
Přístupová URL adresa: 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
Autoři: a další
Zdroj: Machine Learning; Oct2023, Vol. 112 Issue 10, p3805-3849, 45p
-
3
Autoři:
Zdroj: Communications of the ACM; Sep91, Vol. 34 Issue 9, p28-38, 11p, 1 Chart
-
4
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: application/pdf
-
5
Autoři:
Zdroj: ACM Transactions on Database Systems; Mar2002, Vol. 27 Issue 1, p117-151, 35p
-
6
Autoři:
Zdroj: Communications of the ACM; Feb1992, Vol. 35 Issue 2, p97-107, 11p
-
7
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: application/pdf
-
8
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
9
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: application/pdf
-
10
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
11
Autoři:
Přispěvatelé:
Zdroj: ftp://ftp.cs.iastate.edu/pub/techreports/TR02-05/TR.pdf
Témata: 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
Popis souboru: application/pdf
-
12
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: application/pdf
-
13
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
14
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: 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
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: 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
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
17
Autoři: Chodarev, Sergej
Zdroj: Information Sciences & Technologies: Bulletin of the ACM Slovakia; Sep2012, Vol. 4 Issue 3, p47-53, 7p
-
18
Autoři: a další
Přispěvatelé: a další
Témata: 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
-
19
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
-
20
Autoři:
Přispěvatelé:
Témata: 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
Popis souboru: application/pdf
Full Text Finder 
Nájsť tento článok vo Web of Science