Výsledky vyhledávání - "Studies of Program Constructs—Object-oriented constructs General Terms"
-
1
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
-
2
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Definitions and Theory—Semantics, D.3.4 [Programming Languages, Processors—Compilers, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs—Object-oriented constructs General Terms, Languages, Verification Additional Key Words and Phrases, Java, operational semantics, theorem proving
Popis souboru: application/pdf
-
3
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Definitions and Theory—Semantics, D.3.4 [Programming Languages, Processors—Compilers, F.3.3 [Logics and Meanings of Programs, Studies of Program Constructs—Object-oriented constructs General Terms, Languages, Verification Additional Key Words and Phrases, Java, operational semantics, theorem proving
Popis souboru: application/pdf
Nájsť tento článok vo Web of Science