Separation of Concerns with Transactional Regions

Συγγραφείς: Cottenier, Thomas^Aff18, van den Berg, Aswin^Aff18, Weigert, Thomas^Aff19

Συνεισφορές: Hutchison, David, Series editor^Aff1, Kanade, Takeo, Series editor^Aff2, Kittler, Josef, Series editor^Aff3, Kleinberg, Jon M., Series editor^Aff4, Mattern, Friedemann, Series editor^Aff5, Mitchell, John C., Series editor^Aff6, Naor, Moni, Series editor^Aff7, Nierstrasz, Oscar, Series editor^Aff8, Pandu Rangan, C., Series editor^Aff9, Steffen, Bernhard, Series editor^Aff10, Sudan, Madhu, Series editor^Aff11, Terzopoulos, Demetri, Series editor^Aff12, Tygar, Doug, Series editor^Aff13, Vardi, Moshe Y., Series editor^Aff14, Weikum, Gerhard, Series editor^Aff15, Ober, Iulian, editor^Aff16, Ober, Ileana, editor^Aff17

Πηγή: SDL 2011: Integrating System and Software Modeling : 15th International SDL Forum Toulouse, France, July 5-7, 2011. Revised Papers. 7083:168-185

Traits: A mechanism for fine-grained reuse

Συγγραφείς: Ducasse, Stéphane, Nierstrasz, Oscar, Schärli, Nathanael, Wuyts, Roel, Black, Andrew

Συνεισφορές: Ducasse, Stéphane

Πηγή: ACM Transactions on Programming Languages and Systems. 28:331-388

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf; No full-text files

Σύνδεσμος πρόσβασης: 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

Traits: A Mechanism for Fine-grained Reuse

Συγγραφείς: Ducasse, Stephane, Nierstrasz, Oscar, Schärli, Nathanael, Wuyts, Roel, Black, Andrew

Συνεισφορές: Reflective Evolution of Ever-running Software Systems EVREF, Software Composition Group Bern SCG, University of British Columbia Canada UBC

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/octet-stream

Relation: ACM Transactions on Programming Languages and Systems (TOPLAS); http://hdl.handle.net/20.500.12210/126962

Διαθεσιμότητα: https://hdl.handle.net/20.500.12210/126962

Modular session types for objects

Συγγραφείς: Gay, Simon J., Gesbert, Nils, Ravara, António, Vasconcelos, Vasco Thudichum

Συνεισφορές: 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)

Πηγή: 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/

Θεματικοί όροι: 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

Διαθεσιμότητα: https://hal.science/hal-00700635
https://hal.science/hal-00700635v4/document
https://hal.science/hal-00700635v4/file/main.pdf
https://doi.org/10.2168/LMCS-11(4:12)2015

Improving JavaScript performance by deconstructing the type system

Συγγραφείς: Wonsun Ahn, Jiho Choi, Thomas Shull, María J. Garzarán, Josep Torrellas

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://polaris.cs.uiuc.edu/%7Egarzaran/doc/pldi14.pdf.

Θεματικοί όροι: 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

Περιγραφή αρχείου: 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

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.278
http://polaris.cs.uiuc.edu/%7Egarzaran/doc/pldi14.pdf

Applying Traits to the Smalltalk Collection Classes *

Συγγραφείς: Black, Andrew, Schärli, Nathanael, Ducasse, Stéphane

Συνεισφορές: 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)

Πηγή: 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

Θεματικοί όροι: 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]

Θέμα γεωγραφικό: Anaheim, United States

Διαθεσιμότητα: https://hal.science/hal-05074033
https://hal.science/hal-05074033v1/document
https://hal.science/hal-05074033v1/file/Blac03a-OOSPLA03-TraitsHierarchy.pdf

Enhancing the Expressiveness of the CleanJava Language

Συγγραφείς: Melisa Vela, Yoonsik Cheon

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.cs.utep.edu/cheon/techreport/tr13-33.pdf.

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.434.5948

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.434.5948
http://www.cs.utep.edu/cheon/techreport/tr13-33.pdf

Modular Reasoning

Συγγραφείς: Gary T. Leavens, David A. Naumann

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-13-03/TR.pdf.

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.357.7470

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.357.7470
http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-13-03/TR.pdf

Developing Safety Critical Java applications with oSCJ/L0

Συγγραφείς: Ales Plsek, Lei Zhao, Veysel H. Sahin, Daniel Tang, Tomas Kalibera, Jan Vitek

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.cs.kent.ac.uk/pubs/2010/3124/content.pdf.

Θεματικοί όροι: 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

Περιγραφή αρχείου: 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

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.414.8748
http://www.cs.kent.ac.uk/pubs/2010/3124/content.pdf

DOI:10.1145/1389449.1389479 Model-Driven Constraint Programming

Συγγραφείς: Raphaël Chenouard, Laurent Granvilliers, Ricardo Soto

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://hal.archives-ouvertes.fr/docs/00/45/65/49/PDF/ppdp22-chenouard.pdf.

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.406.5054

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.406.5054
http://hal.archives-ouvertes.fr/docs/00/45/65/49/PDF/ppdp22-chenouard.pdf

Bockisch C.: The art of the meta-aspect protocol

Συγγραφείς: Tom Dinkelaker, Mira Mezini, Christoph Bockisch, Technische Universität Darmstadt

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://soft.vub.ac.be/soft/_media/edu/aosd/p51-dinkelaker.pdf.

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.565.2509

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.565.2509
http://soft.vub.ac.be/soft/_media/edu/aosd/p51-dinkelaker.pdf

FeatherTrait: a modest extension of Featherweight Java

Συγγραφείς: Luigi Liquori, Arnaud Spiwack

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://hal.archives-ouvertes.fr/docs/00/43/25/38/PDF/fjtraits.pdf.

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.7747

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.366.7747
http://hal.archives-ouvertes.fr/docs/00/43/25/38/PDF/fjtraits.pdf

Traits: A mechanism for fine-grained reuse

Συγγραφείς: Stéphane Ducasse, Oscar Nierstrasz, Nathanael Schärli, Andrew P. Black

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.iam.unibe.ch/~scg/Archive/Papers/Duca06bTOPLASTraits.pdf.

Θεματικοί όροι: 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

Περιγραφή αρχείου: 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

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.64.2480
http://www.iam.unibe.ch/~scg/Archive/Papers/Duca06bTOPLASTraits.pdf

Behavioral subtyping, specification inheritance, and modular reasoning

Συγγραφείς: Gary T. Leavens, David A. Naumann

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-13-03/TR.pdf.

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.637.9929

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.637.9929
http://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-13-03/TR.pdf

Generic ownership for generic Java

Συγγραφείς: Alex Potanin, James Noble, Dave Clarke, Robert Biddle

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://homepages.mcs.vuw.ac.nz/~alex/files/PotaninNobleClarkeBiddleOOPSLA2006.pdf.

Θεματικοί όροι: 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

Περιγραφή αρχείου: 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

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.353.1394
http://homepages.mcs.vuw.ac.nz/~alex/files/PotaninNobleClarkeBiddleOOPSLA2006.pdf

and Modular Reasoning

Συγγραφείς: Gary T. Leavens, David A. Naumann

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.cs.stevens-tech.edu/~naumann/publications/ISU-TR-2006-20.pdf.

Θεματικοί όροι: Language Classifications — Object-oriented languages, D.3.3 [Programming Languages] Language Constructs and Features — classes and objects

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.1144

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.1144
http://www.cs.stevens-tech.edu/~naumann/publications/ISU-TR-2006-20.pdf

An instrumentation and control-based approach for distributed application management and adaptation

Συγγραφείς: D. Reilly, A. Taleb-bendiab, A. Laws, N. Badr

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://eprints.gla.ac.uk/3414/1/delinstrumentatio_CBD.pdf.

Θεματικοί όροι: 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

Περιγραφή αρχείου: 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

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.596.760
http://eprints.gla.ac.uk/3414/1/delinstrumentatio_CBD.pdf

Modular typechecking for hierarchically extensible datatypes and functions

Συγγραφείς: Todd Millstein, Colin Bleckner, Craig Chambers

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.cs.ucla.edu/~todd/research/eml-toplas.pdf.

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.118.1181

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.118.1181
http://www.cs.ucla.edu/~todd/research/eml-toplas.pdf

Compiler and Tool Support for Debugging Object Protocols

Συγγραφείς: Sergey Butkevich, Marco Renedo

Συνεισφορές: The Pennsylvania State University CiteSeerX Archives

Πηγή: http://www.cis.ohio-state.edu/~gb/Brew/Publications/Protocols.pdf.

Θεματικοί όροι: 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

Περιγραφή αρχείου: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.5180

Διαθεσιμότητα: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.5180
http://www.cis.ohio-state.edu/~gb/Brew/Publications/Protocols.pdf

Modules and Class Refinement: A Meta-modeling Approach to Object-Oriented Programming

Συγγραφείς: Ducournau, Roland, Morandat, Floréal, Privat, Jean

Συνεισφορές: 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

Πηγή: https://hal-lirmm.ccsd.cnrs.fr/lirmm-00180214 ; RR 07021, 2007, pp.66.

Θεματικοί όροι: 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

Διαθεσιμότητα: https://hal-lirmm.ccsd.cnrs.fr/lirmm-00180214
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00180214v1/document
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00180214v1/file/RD-FM-JP-TOPLAS-07-v09.pdf