-
1Dissertation/ Thesis
المؤلفون: Touma, Rizkallah
المساهمون: University/Department: Universitat Politècnica de Catalunya. Departament d'Arquitectura de Computadors
Thesis Advisors: Cortés, Toni, Queralt, Anna
المصدر: TDX (Tesis Doctorals en Xarxa)
مصطلحات موضوعية: Data prefetching, Persistent object stores, Object-oriented languages, RDF Triplestore, SPARQL, Àrees temàtiques de la UPC::Informàtica
وصف الملف: application/pdf
URL الوصول: http://hdl.handle.net/10803/665207
-
2
المؤلفون: Szalas, Andrzej, Professor, 1956
المصدر: 26th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems Procedia Computer Science. :299-308
مصطلحات موضوعية: rule-based languages, object-oriented languages, query languages, inheritance
وصف الملف: print
-
3Academic Journal
المساهمون: Reflective Evolution of Ever-running Software Systems (EVREF), Inria Lille - Nord Europe, 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)
المصدر: ISSN: 2473-7321 ; The Art, Science, and Engineering of Programming ; https://hal.science/hal-04119017 ; The Art, Science, and Engineering of Programming, 2023, ⟨10.22152/programming-journal.org/2024/8/2⟩.
مصطلحات موضوعية: Object-oriented languages, protected, encapsulation, Extensible languages, Language features, Dynamically-typed languages, Pharo, [INFO]Computer Science [cs], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Relation: hal-04119017; https://hal.science/hal-04119017; https://hal.science/hal-04119017/document; https://hal.science/hal-04119017/file/Thoma23a-Protected-Programming.pdf
-
4Conference
المؤلفون: Mackay, Julian, Drossopoulou, Sophia, Noble, James, Eisenbach
مصطلحات موضوعية: Language Design, Safety, Object Oriented Languages, Verification
Relation: https://doi.org/10.5281/zenodo.7084290; https://doi.org/10.5281/zenodo.7085179; oai:zenodo.org:7085179
-
5Dissertation/ Thesis
Thesis Advisors: UAM. Departamento de Ingeniería Informática, Herramientas Interactivas Avanzadas (ING EPS-003)
المصدر: Simulation 73.1 (1999): 5 – 12
0037-5497 (print)
1741-3133 (online)
5
1
12
73مصطلحات موضوعية: Simulation in the Web, Education, Object Oriented Languages, Java code generation, Continuous Simulation, Informática
URL الوصول: http://hdl.handle.net/10486/664733
-
6Conference
المؤلفون: Artem Usov, Ornela Dardha
المصدر: COORDINATION, Coordination Models and Languages, Valletta, Malta, 15-19 June, 2020
مصطلحات موضوعية: nominal subtyping, structural subtyping, Semantic Featherweight Java, object-oriented languages, boolean types
Relation: https://zenodo.org/communities/eu; oai:zenodo.org:3956238
-
7Academic Journal
المؤلفون: Danijel Mlinarić, Vedran Mornar, Boris Milašinović
المصدر: Computers; Volume 9; Issue 2; Pages: 35
مصطلحات موضوعية: generating trees, algorithms, tree edit distance, tree analysis, class hierarchy, object-oriented languages
وصف الملف: application/pdf
-
8Dissertation/ Thesis
-
9
المؤلفون: Patrignani, Marco, Clarke, Dave, Piessens, Frank
المصدر: Programming Languages and Systems Lecture Notes in Computer Science. :176-191
مصطلحات موضوعية: security, secure compilation, object-oriented languages, Datavetenskap, Computer Science
وصف الملف: electronic
-
10Academic Journal
المصدر: PeerJ Computer Science, Vol 4, p e159 (2018)
مصطلحات موضوعية: Temporal constrained objects, Constraint programming, Object-oriented languages, Declarative modelling, Neuron models, Electronic computers. Computer science, QA75.5-76.95
وصف الملف: electronic resource
-
11Report
المساهمون: Fritzson, Peter, Cellier, François, Nytsch-Geusen, Christoph
مصطلحات موضوعية: 004 Datenverarbeitung, Informatik, equation-based object-oriented languages, multiple application domains, computer aided modeling, complex systems, languages
وصف الملف: application/pdf
Relation: https://depositonce.tu-berlin.de/handle/11303/11414; http://dx.doi.org/10.14279/depositonce-10298
-
12
-
13
المؤلفون: Harris, Sarah, Cooksey, Simon, Vollmer, Michael, Batty, Mark
مصطلحات موضوعية: Software and its engineering → Object oriented languages, Compilers, Rust, Memory Safety, Software and its engineering → Compilers, CHERI, Software and its engineering → Software safety
-
14
المؤلفون: Harris, Sarah, Cooksey, Simon, Vollmer, Michael, Batty, Mark
مصطلحات موضوعية: Software and its engineering → Object oriented languages, Compilers, Rust, Memory Safety, Software and its engineering → Compilers, CHERI, Software and its engineering → Software safety
-
15
المؤلفون: Black, Andrew P., Bruce, Kim B., Noble, James
مصطلحات موضوعية: Software and its engineering → Semantics, Software and its engineering → Object oriented languages, Spoofax, Grace, Eelco Visser, Software and its engineering → Syntax, Software and its engineering → Translator writing systems and compiler generators, syntax
-
16Conference
المؤلفون: Cruz, Raimil, Rezk, Tamara, Serpette, Bernard, P., Tanter, Éric
المساهمون: Computer Science Department Santiago (DCC), Faculty of Science, Universidad de Chile = University of Chile Santiago (UCHILE)-Universidad de Chile = University of Chile Santiago (UCHILE), Secure Diffuse Programming (INDES), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Programming Language Technology For Communication Services (Phoenix), Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)-Université de Bordeaux (UB)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB)-Centre National de la Recherche Scientifique (CNRS)-Inria Bordeaux - Sud-Ouest, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation Bordeaux (EA4136), UFR Sciences médicales 3 Bordeaux -Université de Bordeaux Ségalen Bordeaux 2 -UFR Sciences médicales 3 Bordeaux -Université de Bordeaux Ségalen Bordeaux 2
المصدر: ECOOP 2017 - 31st European Conference on Object-Oriented Programming ; https://hal.science/hal-01637023 ; ECOOP 2017 - 31st European Conference on Object-Oriented Programming, Jun 2017, Barcelona, Spain. pp.1-27, ⟨10.4230/LIPIcs.ECOOP.2017.53⟩
مصطلحات موضوعية: type abstraction, relaxed noninterference, information flow control, and phrases type abstraction, 1998 ACM Subject Classification D.4.6 Security and Protection: Information flow controls, D.3.2 Language Classifications: Object-oriented languages, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
جغرافية الموضوع: Spain
Time: Barcelona, Spain
-
17Conference
المساهمون: Centre for Digital Systems (CERI SN - IMT Nord Europe), Ecole nationale supérieure Mines-Télécom Lille Douai (IMT Nord Europe), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), Analyses and Languages Constructs for Object-Oriented Application Evolution (RMOD), Laboratoire d'Informatique Fondamentale de Lille (LIFL), Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Université de Lille, Sciences et Technologies-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lille, Sciences Humaines et Sociales-Centre National de la Recherche Scientifique (CNRS)-Inria Lille - Nord Europe, Institut National de Recherche en Informatique et en Automatique (Inria), 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)
المصدر: Meta'16 ; https://inria.hal.science/hal-01611600 ; Meta'16, Oct 2016, Amsterdam, Netherlands
مصطلحات موضوعية: Object-oriented Languages, Dynamic Software Update, State Migration, Object Oriented Programming, DSU, OOP, Pharo, Meta-programming, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
جغرافية الموضوع: Amsterdam, Netherlands
-
18Conference
المؤلفون: Bergaoui, Salma, Llopard, Ivan, Hili, Nicolas, Fabre, Christian, Benaziz, Fayçal
المساهمون: Université Grenoble Alpes 2016-2019 (UGA 2016-2019 ), Commissariat à l'énergie atomique et aux énergies alternatives - Laboratoire d'Electronique et de Technologie de l'Information (CEA-LETI), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Laboratoire d'Informatique de Grenoble (LIG), Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP)-Centre National de la Recherche Scientifique (CNRS)-Université Grenoble Alpes 2016-2019 (UGA 2016-2019 ), European Project: 332913,EC:FP7:SP1-JTI,ARTEMIS-2012-1,COPCAMS(2013)
المصدر: 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016)
https://cea.hal.science/cea-01236474
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), Jan 2016, Toulouse, France
https://hal.archives-ouvertes.fr/ERTS2016/مصطلحات موضوعية: Development Processes, Embedded Systems, Methods & Tools, Project Management, Model-Based System Engineering, Action Language, Parallelism, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques/D.2.2.9: State diagrams, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.1: Parallel programming, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.11: Object-oriented languages, ACM: I.: Computing Methodologies/I.6: SIMULATION AND MODELING/I.6.5: Model Development/I.6.5.0: Modeling methodologies, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Relation: info:eu-repo/grantAgreement/EC/FP7/332913/EU/COgnitive & Perceptive CAMeraS/COPCAMS
-
19Academic Journal
المؤلفون: Ahmed H. Yousef, Tamer A. El-lateef, Mona F. Ismail
المصدر: Ain Shams Engineering Journal, Vol 4, Iss 2, Pp 241-257 (2013)
مصطلحات موضوعية: Object-oriented languages, Multi-staging, Benchmarking, Performance enhancement framework, Java, C#, Performance analysis, Engineering (General). Civil engineering (General), TA1-2040
وصف الملف: electronic resource
-
20Academic Journal
المؤلفون: Cruz, Raimil, Rezk, Tamara, Serpette, Bernard, P., Tanter, Éric
المساهمون: PLEIAD, Computer Science Department Santiago (DCC), Faculty of Science, Universidad de Chile = University of Chile Santiago (UCHILE)-Universidad de Chile = University of Chile Santiago (UCHILE)-Faculty of Science, Universidad de Chile = University of Chile Santiago (UCHILE)-Universidad de Chile = University of Chile Santiago (UCHILE), Secure Diffuse Programming (INDES), Inria Sophia Antipolis - Méditerranée (CRISAM), Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
المصدر: ISSN: 2509-8195 ; Dagstuhl Artifacts Series ; https://inria.hal.science/hal-01644835 ; Dagstuhl Artifacts Series, 2017, 3 (2), 2 p. ⟨10.4230/DARTS.3.2.9⟩.
مصطلحات موضوعية: information flow control, type abstraction, relaxed noninterference, 1998 ACM Subject Classification D.4.6 Security and Protection: Information flow controls, D.3.2 Language Classifications: Object-oriented languages, [INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]
Relation: hal-01644835; https://inria.hal.science/hal-01644835; https://inria.hal.science/hal-01644835/document; https://inria.hal.science/hal-01644835/file/DARTS-3-2-9.pdf