-
1eBook
Authors: Cottenier, ThomasAff18, van den Berg, AswinAff18, Weigert, ThomasAff19
Contributors: Hutchison, David, Series editorAff1, Kanade, Takeo, Series editorAff2, Kittler, Josef, Series editorAff3, Kleinberg, Jon M., Series editorAff4, Mattern, Friedemann, Series editorAff5, Mitchell, John C., Series editorAff6, Naor, Moni, Series editorAff7, Nierstrasz, Oscar, Series editorAff8, Pandu Rangan, C., Series editorAff9, Steffen, Bernhard, Series editorAff10, Sudan, Madhu, Series editorAff11, Terzopoulos, Demetri, Series editorAff12, Tygar, Doug, Series editorAff13, Vardi, Moshe Y., Series editorAff14, Weikum, Gerhard, Series editorAff15, Ober, Iulian, editorAff16, Ober, Ileana, editorAff17
Source: SDL 2011: Integrating System and Software Modeling : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers. 7083:168-185
-
2Academic Journal
Contributors: Ducasse, Stéphane
Source: ACM Transactions on Programming Languages and Systems. 28:331-388
Subject Terms: 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
File Description: application/pdf; No full-text files
Access URL: 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 -
3Academic Journal
Contributors: Reflective Evolution of Ever-running Software Systems EVREF, Software Composition Group Bern SCG, University of British Columbia Canada UBC
Subject Terms: 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
File Description: application/octet-stream
Relation: ACM Transactions on Programming Languages and Systems (TOPLAS); http://hdl.handle.net/20.500.12210/126962
Availability: https://hdl.handle.net/20.500.12210/126962
-
4Academic Journal
Contributors: School of Computing Science Glasgow, University of Glasgow, Types and Reasoning for the Web (TYREX), Centre Inria de l'Université Grenoble Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire d'Informatique de Grenoble (LIG), Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Centro de Informática e Tecnologia Informação (CITI), Departamento de Informática (DI), Faculdade de Ciências e Tecnologia = School of Science & Technology (FCT NOVA), Universidade Nova de Lisboa = NOVA University Lisbon (NOVA)-Universidade Nova de Lisboa = NOVA University Lisbon (NOVA)-Faculdade de Ciências e Tecnologia = School of Science & Technology (FCT NOVA), Universidade Nova de Lisboa = NOVA University Lisbon (NOVA)-Universidade Nova de Lisboa = NOVA University Lisbon (NOVA), Department of Informatics Lisbon, Universidade de Lisboa = University of Lisbon = Université de Lisbonne (ULISBOA)
Source: 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/
Subject Terms: 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
-
5Academic Journal
Authors: Wonsun Ahn, Jiho Choi, Thomas Shull, María J. Garzarán, Josep Torrellas
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: 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
-
6Conference
Authors: Black, Andrew, Schärli, Nathanael, Ducasse, Stéphane
Contributors: University of British Columbia Canada (UBC), Software Composition Group Bern (SCG), Universität Bern = University of Bern = Université de Berne (UNIBE), Reflective Evolution of Ever-running Software Systems (EVREF), Centre Inria de l'Université de Lille, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille-Berger-Levrault-Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 (CRIStAL), Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)-Centrale Lille-Université de Lille-Centre National de la Recherche Scientifique (CNRS)
Source: OOPSLA 2003 - 18th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications ; https://hal.science/hal-05074033 ; OOPSLA 2003 - 18th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, Oct 2003, Anaheim, United States. pp.47-64
Subject Terms: Mixins, Traits, Smalltalk, Collection hierarchy, Stream classes, Refactoring, Inheritance, Multiple Inheritance, Languages Reuse, D.2.3 [Coding Tools and Techniques]: Object-oriented programming Design, D.2.3 [Coding Tools and Techniques]: Object-oriented programming Design Languages Reuse Mixins Traits Smalltalk Collection hierarchy Stream classes Refactoring Inheritance Multiple Inheritance, D.3.3 [Language Constructs and Features]: Classes and objects, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]
Subject Geographic: Anaheim, United States
-
7Academic Journal
Authors: Melisa Vela, Yoonsik Cheon
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: application/pdf
-
8Academic Journal
Authors: Gary T. Leavens, David A. Naumann
Contributors: The Pennsylvania State University CiteSeerX Archives
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
-
9Academic Journal
Authors: Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: 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
-
10Academic Journal
Authors: Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: application/pdf
-
11Academic Journal
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.3.3 [Software Engineering, Language Constructs and Features—Classes and Objects, Frameworks, D.2.11 [Soft- ware Architectures, Languages General Terms Design, Languages Keywords Aspect-Oriented Programming, Meta-Object Protocols, Open Implementation, Debugging, Aspect Interactions
File Description: application/pdf
-
12Academic Journal
Authors: Luigi Liquori, Arnaud Spiwack
Contributors: The Pennsylvania State University CiteSeerX Archives
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
-
13Academic Journal
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: 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
-
14Academic Journal
Authors: Gary T. Leavens, David A. Naumann
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: application/pdf
-
15Academic Journal
Authors: Alex Potanin, James Noble, Dave Clarke, Robert Biddle
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: 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
-
16Academic Journal
Authors: Gary T. Leavens, David A. Naumann
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Language Classifications — Object-oriented languages, D.3.3 [Programming Languages] Language Constructs and Features — classes and objects
File Description: application/pdf
-
17Academic Journal
Authors: D. Reilly, A. Taleb-bendiab, A. Laws, N. Badr
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: 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
-
18Academic Journal
Authors: Todd Millstein, Colin Bleckner, Craig Chambers
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: 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
File Description: application/pdf
-
19Academic Journal
Authors: Sergey Butkevich, Marco Renedo
Contributors: The Pennsylvania State University CiteSeerX Archives
Subject Terms: Categories and Subject Descriptors D.2.5 [Software Engineering, Testing and Debugging---debug- ging aids, tracing, D.2.4 [Software Engineering, Software/Pro- gram Verification---assertion checkers, D.3.3 [Programming Lan- guages, Language Constructs and Features---classes and objects General Terms
File Description: application/pdf
-
20Report
Authors: Ducournau, Roland, Morandat, Floréal, Privat, Jean
Contributors: Models And Reuse Engineering, Languages (MAREL), Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier (LIRMM), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS)-Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Université de Montpellier (UM)-Centre National de la Recherche Scientifique (CNRS), Département d'informatique Montréal, Université du Québec à Montréal = University of Québec in Montréal (UQAM), Secure Software Systems (S3L), Purdue University West Lafayette
Source: https://hal-lirmm.ccsd.cnrs.fr/lirmm-00180214 ; RR 07021, 2007, pp.66.
Subject Terms: modules and packages aspects, static typing, classes, crosscutting concerns, expression problem, hierarchies, import, linearization, meta-modeling, mixins, modules, multiple inheritance, overloading, redefinition, refinement, inheritance, Language constructs and features— classes and objects, Prm, Clos, Smalltalk, Eiffel, Java, C++, reusable libraries, Reusable Software—reusable models, Software Architectures—information hiding, Design tools and techniques—modules and interfaces, Object-oriented programming, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Relation: Report N°: RR 07021