Výsledky vyhľadávania - d.3.3 [programming languages]: language construct and features-classes and objects
-
1
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: EISSN: 1860-5974 ; Logical Methods in Computer Science ; https://hal.science/hal-00700635 ; Logical Methods in Computer Science, 2015, 4 (12), pp.76. ⟨10.2168/LMCS-11(4:12)2015⟩ ; http://www.lmcs-online.org/
Predmety: session types, object-oriented calculus, Non-uniform method availability, typestate, D.3.3 [Language Constructs and Features]: Classes and objects, 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, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-WB]Computer Science [cs]/Web
Relation: info:eu-repo/semantics/altIdentifier/arxiv/1205.5344; ARXIV: 1205.5344
-
2
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: ACM Transactions on Programming Languages and Systems. 28:331-388
Predmety: 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
Popis súboru: application/pdf; No full-text files
Prístupová URL adresa: 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 -
3
Autori:
Prispievatelia:
Predmety: 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
Popis súboru: application/pdf
-
4
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: application/octet-stream
Relation: ACM Transactions on Programming Languages and Systems (TOPLAS); http://hdl.handle.net/20.500.12210/126962
Dostupnosť: https://hdl.handle.net/20.500.12210/126962
-
5
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: 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
Autori:
Prispievatelia:
Predmety: 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 súboru: application/pdf
-
7
Autori:
Prispievatelia:
Predmety: 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 súboru: application/pdf
-
8
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors D.3.2 [Programming Techniques, Object-Oriented Programming, D.3.3 [Programming Languages, Language Constructs and Features—Classes and Objects, Polymorphism General Terms Design, Languages, Theory Keywords generics, ownership, type system, Java
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.353.1394; http://homepages.mcs.vuw.ac.nz/~alex/files/PotaninNobleClarkeBiddleOOPSLA2006.pdf
-
9
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: D.2.2 [Software Engineering, Design Tools and Techniques—User interfaces, D.3.3 [Programming Languages, Language Constructs and Features—Classes and objects, Constraints General Terms Languages Keywords Constraint Modeling Languages, Constraint Programming, Metamodeling, Model Transformation
Popis súboru: application/pdf
-
10
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors D.3.4 [Programming Languages, Processors—run-time environments, D.3.3 [Programming Languages, Language Constructs and Features—classes and objects, D.4.7 [Operating Systems, Organization and Design—real-time systems and embedded systems. General Terms Languages, Experimentation. Keywords Safety Critical Systems, Java virtual machine, Memory management
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.414.8748; http://www.cs.kent.ac.uk/pubs/2010/3124/content.pdf
-
11
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors, D.3.1 [Programming Languages, Formal Definitions and Theory—Semantics, syntax, D.3.3 [Programming Languages, Language Constructs and Features—Classes and objects, data types and structures, procedures, functions, and subroutines General Terms, Design, Languages, Theory Additional Key Words and Phrases, Extensible datatypes, extensible functions, modular typechecking
Popis súboru: application/pdf
-
12
Autori:
Prispievatelia:
Predmety: 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 súboru: application/pdf
-
13
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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
Popis súboru: 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
-
14
Autori:
Prispievatelia:
Predmety: Language Classifications — Object-oriented languages, D.3.3 [Programming Languages] Language Constructs and Features — classes and objects
Popis súboru: application/pdf
-
15
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: D.3.3 [Programming Languages, Language Constructs and Features – classes and objects, control structures, frameworks. General Terms Design, Management, Experimentation, Languages. Keywords Middleware, Instrumentation, Control, Dependency Management, Jini Technology
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.596.760; http://eprints.gla.ac.uk/3414/1/delinstrumentatio_CBD.pdf
-
16
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: 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 súboru: application/pdf
-
17
Autori: a ďalší
Prispievatelia: a ďalší
Predmety: Categories and Subject Descriptors C.2.4 [Computer Communication Networks, Distributed Systems—Client/server, D.1.3 [Programming Techniques, Concurrent Programming—Distributed Programming, D.3.3 [Programming Languages, Language Constructs and Features—Classes and objects General Terms Languages, Performance Keywords argument passing, method remote, Java, future, invocation, asynchronous
Popis súboru: application/pdf
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.1431; http://www.cs.purdue.edu/homes/peugster/EventJava/lazyRMI.pdf
-
18
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification — Class invariants, correctness proofs, formal methods, programming by contract, object orientation, D.3.1 [Programming Languages, Definitions and Theory — Semantics, D.3.3 [Programming Languages, Language Constructs and Features — Classes and objects, modules, packages, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, invariants, logics of programs, specification techniques. General Terms, Verification, Languages Additional Key Words and Phrases, modularity, data abstraction, data invariants, information hiding, heap separation, resource
Popis súboru: application/pdf
-
19
Autori:
Prispievatelia:
Predmety: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification — Class invariants, correctness proofs, formal methods, programming by contract, object orientation, D.3.1 [Programming Languages, Definitions and Theory — Semantics, D.3.3 [Programming Languages, Language Constructs and Features — Classes and objects, modules, packages, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, invariants, logics of programs, specification techniques. General Terms, Verification, Languages Additional Key Words and Phrases, modularity, data abstraction, data invariants, information hiding, heap separation, resource
Popis súboru: application/pdf
-
20
Autori:
Prispievatelia:
Predmety: Class invariants, correctness proofs, formal methods, programming by contract, object orientation, D.3.1 [Programming Languages, Definitions and Theory — Semantics, D.3.3 [Programming Languages, Language Constructs and Features — Classes and objects, modules, packages, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs — Assertions, invariants, logics of programs, specification techniques. General Terms, Verification, Languages Additional Key Words and Phrases, modularity, data abstraction, data invariants, information hiding, heap separation, resource protection Contents
Popis súboru: application/pdf
Nájsť tento článok vo Web of Science 
Full Text Finder