Search Results - acm: d.: software/d.3: programming languages/d.3.4: processes/d.3.4.6: optimization
-
1
Authors: et al.
Contributors: et al.
Source: 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2018
https://inria.hal.science/hal-02314731
Tim Felgentreff
Olivier Zendra. 13th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2018, Jul 2018, Amsterdam, Netherlands. ACM, 2018, 978-1-4503-5804-0
https://dl.acm.org/citation.cfm?doid=3242947Subject Terms: compilation, languages, implementation, optimization, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Subject Geographic: Amsterdam, Netherlands
-
2
Authors: et al.
Contributors: et al.
Source: 10th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2015
https://inria.hal.science/hal-01546055
Floréal Morandat
Olivier Zendra. 10th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2015, Jul 2015, Prague, Czech Republic. ACM, 2015, 978-1-4503-3657-4. ⟨10.1145/2843915⟩
http://dl.acm.org/citation.cfm?doid=2843915Subject Terms: compilation, languages, implementation, optimization, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution, Maintenance, and Enhancement, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Subject Geographic: Prague, Czech Republic
-
3
Authors: et al.
Contributors: et al.
Source: 8th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2013
https://inria.hal.science/hal-01546070
Olivier Zendra
Eric Jul. 8th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems, ICOOOLPS 2013, Jul 2013, Montpellier, France. ACM, 2013, 978-1-4503-2045-0. ⟨10.1145/2491404⟩
http://doi.acm.org/10.1145/2491404Subject Terms: compilation, implementation, runtime, optimization, programming languages, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.5: Testing and Debugging, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.6: Programming Environments, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]
Subject Geographic: Montpellier, France
-
4
Authors: et al.
Contributors: et al.
Source: 33rd Symposium Principles of Programming Languages (POPL 2006)
https://hal.inria.fr/inria-00000963
33rd Symposium Principles of Programming Languages (POPL 2006), Jan 2006, Charleston, SC, United States. pp.42--54, ⟨10.1145/1111037.1111042⟩Subject Terms: ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs/F.3.1.3: Mechanical verification, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.3: Formal methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.2: Correctness proofs, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification/D.2.4.6: Reliability, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.6: Optimization, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Subject Geographic: Charleston, SC, United States
Relation: inria-00000963; https://hal.inria.fr/inria-00000963; https://hal.inria.fr/inria-00000963/document; https://hal.inria.fr/inria-00000963/file/compiler-certif.pdf
-
5
Authors:
Source: Journal of Functional Programming; 2021, Vol. 31 Issue 1/2, p1-56, 56p
-
6
Authors:
Source: Journal of Functional Programming; 2021, Vol. 31 Issue 1/2, p1-139, 139p
-
7
Authors: et al.
Contributors: et al.
Source: IEEE-CiSE 2010 (International Conference on Computational Intelligence and Software Engineering) ; https://inria.hal.science/inria-00541375 ; IEEE-CiSE 2010 (International Conference on Computational Intelligence and Software Engineering), Dec 2010, Wuhan, China
Subject Terms: memory management, optimization, simulated annealing, embedded systems, Distributed systems, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.2: Design Styles/B.3.2.1: Cache memories, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.1: Semiconductor Memories/B.3.1.2: Static memory (SRAM), ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.0: General, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.0: Combinatorial algorithms, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.3: Graph and tree search strategies, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.9: Simulated annealing, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.4: Sequential Programming, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.0: Distributed programming, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.5: Memory management (garbage collection), and Search/I.2.8.4: Heuristic methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Availability: https://inria.hal.science/inria-00541375
-
8
Authors: et al.
Contributors: et al.
Source: IEEE-ICTAI 2010 (22th International Conference on Tools with Articial Intelligence) ; https://inria.hal.science/inria-00524976 ; IEEE-ICTAI 2010 (22th International Conference on Tools with Articial Intelligence), Oct 2010, Arras, France. pp.35-42
Subject Terms: ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.0: Combinatorial algorithms, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.3: Graph and tree search strategies, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.5: Memory management (garbage collection), and Search/I.2.8.4: Heuristic methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.0: General, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC]
Availability: https://inria.hal.science/inria-00524976
-
9
Authors: et al.
Contributors: et al.
Source: https://theses.hal.science/tel-01892198 ; Calcul parallèle, distribué et partagé [cs.DC]. Université de Versailles Saint-Quentin-en-Yvelines, 2005. Français. ⟨NNT : ⟩.
Subject Terms: Algorithm Recognition, High-Performance Libraries, Polyhedral Model, Source-to-Source Compiler, bibliothèques haute-performance, reconnaissance d'algorithmes, modèle polyédrique, Compilateur source-à-source, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques/D.2.2.8: Software libraries, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.6: Optimization, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
-
10
Authors: et al.
Contributors: et al.
Source: the IADIS International Conference Applied Computing 2010 ; https://inria.hal.science/inria-00524974 ; the IADIS International Conference Applied Computing 2010, Oct 2010, Timisoara, Romania. pp.167-174
Subject Terms: genetic algorithms, simulated annealing, memory management, optimization, embedded systems, Distributed systems, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.2: Design Styles/B.3.2.1: Cache memories, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.1: Semiconductor Memories/B.3.1.2: Static memory (SRAM), ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.0: General, ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.0: Combinatorial algorithms, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.3: Graph and tree search strategies, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization/G.1.6.9: Simulated annealing, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.4: Sequential Programming, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.3: Concurrent Programming/D.1.3.0: Distributed programming, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.5: Memory management (garbage collection), and Search/I.2.8.4: Heuristic methods, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Availability: https://inria.hal.science/inria-00524974
-
11
Authors: et al.
Contributors: et al.
Source: Constraints. 18:535-578
Subject Terms: ACM: F.: Theory of Computation/F.4: MATHEMATICAL LOGIC AND FORMAL LANGUAGES, Artificial intelligence, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], Computer Networks and Communications, Variety (cybernetics), Distributed Constraint Optimization Problems and Algorithms, Stochastic programming, Geometry, 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Data science, Soft Constraints, Theoretical computer science, Logic Programming and Knowledge Representation, Artificial Intelligence, Concurrent engineering, FOS: Mathematics, 0202 electrical engineering, electronic engineering, information engineering, Cloud computing, Constraint programming, Constraint (computer-aided design), [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC], [INFO.INFO-SC] Computer Science [cs]/Symbolic Computation [cs.SC], Mathematical optimization, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO], Computer science, Distributed computing, Operating system, Constraint Logic Programming, Computer Science, Physical Sciences, Constraint Optimization, Concurrent Constraint Programming, Program Analysis and Verification Techniques, Scheduling (production processes), Mathematics
File Description: application/pdf
Access URL: http://hal.archives-ouvertes.fr/docs/00/86/91/92/PDF/ccp-survey-article.pdf
https://inria.hal.science/hal-00869192v2/document
https://inria.hal.science/hal-00869192v2
https://doi.org/10.1007/s10601-013-9145-3
https://hal.inria.fr/hal-00869192v2
https://core.ac.uk/display/23707991
https://hal.inria.fr/hal-00869192/document
https://link.springer.com/article/10.1007%2Fs10601-013-9145-3 -
12
Authors:
Source: Communications of the ACM; Dec1975, Vol. 18 Issue 12, p675-675, 1p
Subject Terms: CONFERENCES & conventions, PROGRAMMING languages, COMPUTER programming, ARTIFICIAL languages, TECHNICAL reports, SCIENTIFIC literature, INFORMATION theory, SEMINARS
Company/Entity: ASSOCIATION for Computing Machinery
-
13
Authors:
Source: Software: Practice & Experience; Jan2012, Vol. 42 Issue 1, p3-18, 16p
Subject Terms: PROGRAMMING languages, FORTRAN, ALGOL (Computer program language), JAVASCRIPT programming language
Company/Entity: JOHN Wiley & Sons Ltd.
-
14
Authors:
Source: ACM Transactions on Programming Languages & Systems; Apr2010, Vol. 32 Issue 4, p12-12.83, 63p, 7 Diagrams, 6 Charts
Subject Terms: MOBILE computing, SYSTEM analysis, SYSTEMS software, PROGRAMMING languages, ALGORITHMS, COMPUTER programming
-
15
Authors: et al.
Contributors: et al.
Source: ICSET 2010 - International Conference on Software Engineering and Technology ; https://inria.hal.science/inria-00491191 ; ICSET 2010 - International Conference on Software Engineering and Technology, WASET - World Academy of Science, Engineering and Technology, Apr 2010, Rome, Italy. pp.386-390 ; http://www.waset.org/journals/waset/v64.php
Subject Terms: Tabu Search heuristic, Energy consumption, memory allocation management, optimization, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.2: Design Styles/B.3.2.1: Cache memories, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.1: Semiconductor Memories/B.3.1.2: Static memory (SRAM), ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.0: Combinatorial algorithms, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.3: Graph and tree search strategies, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.0: General, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Availability: https://inria.hal.science/inria-00491191
-
16
Authors: et al.
Contributors: et al.
Source: ISSN: 0098-3500 ; ACM Transactions on Mathematical Software ; https://inria.hal.science/hal-00913983 ; ACM Transactions on Mathematical Software, 2013, 39 (3), ⟨10.1145/2450153.2450158⟩.
Subject Terms: Adjoint compiler, Source transformation, Algorithmic Differentiation, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.4: Quadrature and Numerical Differentiation, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.2: Automatic Programming, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.1: Specifying and Verifying and Reasoning about Programs, ACM: F.: Theory of Computation/F.3: LOGICS AND MEANINGS OF PROGRAMS/F.3.2: Semantics of Programming Languages, ACM: G.: Mathematics of Computing/G.1: NUMERICAL ANALYSIS/G.1.6: Optimization, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
-
17
Authors: et al.
Contributors: et al.
Source: ISSN: 0164-0925.
Subject Terms: affine vector, scalarization, Static program analysis, divergence analysis, SIMD, graphics processing units, register allocation, scalarizing compiler, D34 [Software]: Programming Languages General Terms: Languages, Design, Algorithms, Performance Additional Key Words and Phrases: Static program analysis, high performance, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.6: Optimization, ACM: C.: Computer Systems Organization/C.1: PROCESSOR ARCHITECTURES/C.1.2: Multiple Data Stream Architectures (Multiprocessors)/C.1.2.7: Single-instruction-stream, multiple-data-stream processors (SIMD), [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR]
-
18
Authors: et al.
Contributors: et al.
Source: ICSOFT 2010 - 5th International Conference on Software Engineering and Data Technologies ; https://inria.hal.science/inria-00516396 ; ICSOFT 2010 - 5th International Conference on Software Engineering and Data Technologies, Jul 2010, Athens, Greece. pp.394-402
Subject Terms: optimizations, memory allocation management, Genetic heuristics, Energy consumption reduction, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.2: Design Styles/B.3.2.1: Cache memories, ACM: B.: Hardware/B.3: MEMORY STRUCTURES/B.3.1: Semiconductor Memories/B.3.1.2: Static memory (SRAM), ACM: G.: Mathematics of Computing/G.2: DISCRETE MATHEMATICS/G.2.1: Combinatorics/G.2.1.0: Combinatorial algorithms, ACM: I.: Computing Methodologies/I.2: ARTIFICIAL INTELLIGENCE/I.2.8: Problem Solving, Control Methods, and Search/I.2.8.3: Graph and tree search strategies, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.8: Metrics/D.2.8.1: Performance measures, ACM: D.: Software/D.1: PROGRAMMING TECHNIQUES/D.1.0: General, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-AI]Computer Science [cs]/Artificial Intelligence [cs.AI], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [MATH.MATH-OC]Mathematics [math]/Optimization and Control [math.OC], [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation
Availability: https://inria.hal.science/inria-00516396
-
19
Authors: et al.
Contributors: et al.
Source: 21st International Static Analysis Symposium (SAS'14)
https://inria.hal.science/hal-01096110
21st International Static Analysis Symposium (SAS'14), Sep 2014, Munich, Germany
http://cs.uni-muenster.de/sev/sas14/Subject Terms: Program equivalence, reduction, system of affine recurrence equations, parametric bipartite graph matching, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.6: Optimization, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.2: Language Classifications/D.3.2.3: Data-flow languages, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification, [INFO.INFO-ES]Computer Science [cs]/Embedded Systems, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-DC]Computer Science [cs]/Distributed, Parallel, and Cluster Computing [cs.DC]
-
20
Authors: et al.
Contributors: et al.
Source: https://inria.hal.science/inria-00516990 ; [Technical Report] RT-0390, INRIA. 2010, pp.149.
Subject Terms: C language, reference manual, user's guide, runtime specialization, compile-time specialization, partial evaluation, program specialization, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.0: Code generation, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.1: Compilers, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.4: Interpreters, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.6: Optimization, ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.11: Translator writing systems and compiler generators, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.3: Coding Tools and Techniques, ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.11: Software Architectures, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL], [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Nájsť tento článok vo Web of Science 
Full Text Finder