Výsledky vyhledávání - D.1.5 [Object-oriented Programming] General Terms Languages
-
1
Autoři: a další
Přispěvatelé: a další
Témata: 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
Popis souboru: application/pdf
-
2
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
-
3
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
-
4
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.3.3 [Programming Languages, Language Constructs and Features, D.1.5 [Programming Techniques, Object- oriented Programming General Terms Languages, Theory Keywords information flow, reference immutability
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.572.4295; http://www.cs.rpi.edu/~milanova/docs/FTFJP13.pdf
-
5
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.1.5 [Programming Techniques, Object-oriented Programming, D.2.3 [Soft- ware Engineering, Coding Tools and Techniques, D.3.3 [Programming Languages, Language Constructs and Fea- tures, D.3.4 [Programming Languages, Processors General Terms Languages, Design Keywords Dryad Compiler, Stratego, Java, Bytecode, SDF, Compilers, Meta Programming, Embedded Languages, Lan- guage Extensions, Domain-Specific Languages, Source Trac- ing, Traits, Iterators
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.562.681; http://martin.bravenboer.name/docs/oopsla08.pdf
-
6
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.1.5 [Programming Techniques, Object-oriented programming, D.2.3 [Software Engineering, Coding tools and techniques General Terms Languages Keywords iterator, Java, Alloy, abstraction functions, synthesis
Popis souboru: application/pdf
-
7
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.1.5 [Object-oriented Programming, Memory Management, D.3.3 [Language Constructs and Features, Dynamic storage management, D.3.4 [Processors, Memory management (garbage collection, D.4.2 [Storage Management, Garbage Collection General Terms Languages, Performance, Algorithms, Theory. Keywords Runtime systems, Storage allocation, Dynamic storage allocation, Compaction, Partial compaction
Popis souboru: application/pdf
-
8
Autoři: a další
Přispěvatelé: a další
Témata: structure, D.1.5 [Object-oriented Programming] General Terms Languages, Theory, Verification Keywords Session types, object-oriented calculus, non-uniform method availability
Popis souboru: application/pdf
-
9
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.1.5 [Programming tech- niques, Object-oriented Programming, D.3.3 [Programming Lan- guages, Language Constructs and Features General Terms Languages, Design Keywords Pattern Matching
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.638.9380; http://www.stroustrup.com/OpenPatternMatching.pdf
-
10
Přispěvatelé: The Pennsylvania State University CiteSeerX Archives
Témata: Categories and Subject Descriptors F.3.1 [Specifying and Verifying and Reasoning about Programs, Invariants, F.3.3 [Studies of Program Constructs, Object-oriented constructs, Type structure, D.2.4 [Software/Program Verification, Class invariants, D.1.5 [Object-oriented Programming, D.3.3 [Language Constructs and Features, Classes and objects General Terms Languages, Reliability, Verification Keywords non-null types, object invariants, initialization
Popis souboru: application/pdf
-
11
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Programming, D.1.5 [Programming Techniques, Object-oriented Programming, D.3.1 [Programming Languages, Formal Definitions and Theory, D.3.3 [Programming Languages, Language Constructs and Features General Terms Languages, Theory, Design Keywords communication, Java, session types, typing system, socket
Popis souboru: application/pdf
-
12
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.1.5 [Programming Techniques, Object-oriented Programming, D.2.4 [Software/Program Verification, Formal Methods, F.4.1 [Mathematical Logic, Lambda calculus and related systems General Terms Languages, Theory Keywords Type Theory, Structural Typing, Flow Typing
Popis souboru: application/pdf
-
13
Autoři:
Přispěvatelé:
Témata: Language Constructs and Features, D.1.5 [Programming Techniques, Object-oriented Programming General Terms Languages, Security, Theory Keywords Alias protection, Representation exposure, Ownership types, State encapsulation, Java
Popis souboru: application/pdf
-
14
Autoři:
Přispěvatelé:
Témata: Language Constructs and Features, D.1.5 [Programming Techniques, Object-oriented Programming General Terms Languages, Security, Theory Keywords Alias protection, Representation exposure, Ownership types, State encapsulation, Java
Popis souboru: application/pdf
-
15
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.1.3 [Programming Techniques, Concurrent Program- ming, D.1.5 [Programming Techniques, Object-oriented Programming, D.2.5 [Software Engineering, Testing and Debugging General Terms Languages, Performance, Measurement, Algorithms Keywords Thread safety, Test generation, Performance measurement
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.488.2420; http://mp.binaervarianz.de/issta2014.pdf
-
16
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.1.5 [Object-oriented Programming, D.2.2 [Design Tools and Techniques, Modules and interfaces, Object-oriented design methods, D.2.3 [Coding Tools and Techniques, Object-oriented programming, D.3.3 [Language Constructs and Features, Classes and objects, Modules, packages General Terms Design, Human Factors, Languages. Keywords Aspect-oriented, classpect, join point-method binding
Popis souboru: application/pdf
-
17
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors D.3.3 [Programming Languages, Language Constructs and Features, D.1.5 [Programming Languages, Object-oriented Programming General Terms Language, Design Keywords Aspect, traits, inheritance, state, prototype
Popis souboru: application/pdf
-
18
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors D.2.10 [Software Engineering, Design, D.1.5 [Programming Techniques, Object-Oriented Programming, D.2.2 [Design Tools and Techniques, Modules and interfaces, Object-oriented design methods, D.2.3 [Coding Tools and Techniques, Object- Oriented Programming, D.3.3 [Programming Languages, Language Constructs and Features General Terms
Popis souboru: application/pdf
-
19
Autoři:
Přispěvatelé:
Témata: Categories and Subject Descriptors, D.2.10 [Software Engineering, Design, D.1.5 [Programming Tech- niques, Object-Oriented Programming, D.2.2 [Design Tools and Techniques, Modules and interfaces, Object- oriented design methods, D.2.3 [Coding Tools and Techniques, D.3.3 [Pro- gramming Languages, Language Constructs and Features General Terms, Human Factors, Languages Additional Key Words and Phrases, Classpect, Unified Aspect Language Model, Binding, Eos, Aspect-Oriented Programming, Instance-Level Advising, First Class Aspect Instances
Popis souboru: application/pdf
-
20
Autoři: a další
Přispěvatelé: a další
Témata: Categories and Subject Descriptors, D.1.5 [Programming Techniques, Object-oriented Programming, D.2.1 [Software Engineering, Requirements / Specifications[Languages, D.3.3 [Programming Languages]Language Constructs and Features General Terms, Design, Languages, Theory Keywords, const, Generic, IGJ, Immutability, Java, Readonly
Popis souboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.353.4193; http://homepages.mcs.vuw.ac.nz/~alex/files/ZibinPotaninAliArtziKiezunErnstFSE2007.pdf
Nájsť tento článok vo Web of Science