المؤلفون: 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), Inria Grenoble - Rhône-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

المؤلفون: 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

المؤلفون: 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://www.cs.utep.edu/cheon/techreport/tr13-33.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.434.5948
http://www.cs.utep.edu/cheon/techreport/tr13-33.pdf

المؤلفون: 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://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-13-03/TR.pdf

الاتاحة: 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

المؤلفون: 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

المؤلفون: 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://hal.archives-ouvertes.fr/docs/00/45/65/49/PDF/ppdp22-chenouard.pdf

الاتاحة: 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

المؤلفون: 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://soft.vub.ac.be/soft/_media/edu/aosd/p51-dinkelaker.pdf

الاتاحة: 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

المؤلفون: 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://hal.archives-ouvertes.fr/docs/00/43/25/38/PDF/fjtraits.pdf

الاتاحة: 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

المؤلفون: 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

المؤلفون: 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://www.eecs.ucf.edu/~leavens/tech-reports/UCF/CS-TR-13-03/TR.pdf

الاتاحة: 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

المؤلفون: 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

المؤلفون: 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://www.cs.stevens-tech.edu/~naumann/publications/ISU-TR-2006-20.pdf

الاتاحة: 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

المؤلفون: 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

المؤلفون: 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://www.cs.ucla.edu/~todd/research/eml-toplas.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.118.1181
http://www.cs.ucla.edu/~todd/research/eml-toplas.pdf

المؤلفون: 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://www.cis.ohio-state.edu/~gb/Brew/Publications/Protocols.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.5180
http://www.cis.ohio-state.edu/~gb/Brew/Publications/Protocols.pdf

المؤلفون: 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.

مصطلحات موضوعية: Language constructs and features— classes and objects, inheritance, modules and packages aspects, classes, crosscutting concerns, expression problem, hierarchies, import, linearization, meta-modeling, mixins, modules, multiple inheritance, overloading, redefinition, refinement, static typing, Object-oriented programming, Design tools and techniques—modules and interfaces, Software Architectures—information hiding, Reusable Software—reusable models, reusable libraries, C++, Java, Eiffel, Smalltalk, Clos, Prm, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Relation: Report N°: RR 07021; lirmm-00180214; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00180214; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00180214/document; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00180214/file/RD-FM-JP-TOPLAS-07-v09.pdf

الاتاحة: https://hal-lirmm.ccsd.cnrs.fr/lirmm-00180214
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00180214/document
https://hal-lirmm.ccsd.cnrs.fr/lirmm-00180214/file/RD-FM-JP-TOPLAS-07-v09.pdf

المؤلفون: Simon J. Gay, Nils Gesbert, António Ravara, Vasco T. Vasconcelos

المساهمون: School of Computing Science [Glasgow, Scotland], University of Glasgow, Types and Reasoning for the Web (TYREX), Inria Grenoble - Rhône-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 (ULISBOA), DI - Departamento de Informática, NOVALincs, 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)-Université Pierre Mendès France - Grenoble 2 (UPMF)-Université Joseph Fourier - Grenoble 1 (UJF), Universidade de Lisboa (ULISBOA)

المصدر: Logical Methods in Computer Science
Logical Methods in Computer Science, 2015, 4 (12), pp.76. ⟨10.2168/LMCS-11(4:12)2015⟩
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2015, 4 (12), pp.76. ⟨10.2168/LMCS-11(4:12)2015⟩

مصطلحات موضوعية: FOS: Computer and information sciences, General Computer Science, session types, 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, Computer science, Session types, computer.software_genre, Theoretical Computer Science, Set (abstract data type), Session (computer science), Protocol (object-oriented programming), Class (computer programming), Computer Science - Programming Languages, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Syntax (programming languages), Non-uniform method availability, Programming language, [INFO.INFO-WB]Computer Science [cs]/Web, Object-oriented calculus, typestate, Encapsulation (networking), Delegation (computing), Typestate, object-oriented calculus, Communications protocol, computer, Programming Languages (cs.PL), Computer Science(all)

وصف الملف: application/pdf

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4bde3eae61fca1d031cb2a90bbc3ddc2
https://doi.org/10.2168/lmcs-11(4:12)2015

المؤلفون: Gary T. Leavens, David A. Naumann

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.stevens.edu/~naumann/pub/behsub2.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.380.9411; http://www.cs.stevens.edu/~naumann/pub/behsub2.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.380.9411
http://www.cs.stevens.edu/~naumann/pub/behsub2.pdf

المؤلفون: Todd Millstein, Christopher Frost, Jason Ryder, Alessandro Warth

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.ucla.edu/~todd/research/toplas08.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors, D.1.5 [Programming Techniques, Object-oriented Programming, D.3.3 [Programming Languages, Language Constructs and Features—classes and objects, inheritance, procedures, functions, and subroutines, patterns, D.3.1 [Programming

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.380.6103; http://www.cs.ucla.edu/~todd/research/toplas08.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.380.6103
http://www.cs.ucla.edu/~todd/research/toplas08.pdf

المؤلفون: Stéphane Ducasse, Oscar Nierstrasz, Nathanael Schärli, Andrew P. Black

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://web.cecs.pdx.edu/~black/publications/TOPLASTraits.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, Mixins Additional Key Words and Phrases, Mixins, Multiple Inheritance, Traits, Reuse

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.2657; http://web.cecs.pdx.edu/~black/publications/TOPLASTraits.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.2657
http://web.cecs.pdx.edu/~black/publications/TOPLASTraits.pdf