1 |
A Generic Platform for Name Resolution in Source Code Analysis
|
|
|
|
In: https://hal.inria.fr/hal-01664258 ; [Research Report] Inria Lille Nord Europe - Laboratoire CRIStAL - Université de Lille. 2014 (2014)
|
|
Abstract:
Analysing a software system supposes two preliminary tasks: parsing the source code and resolving the names (identifiers) it contains. The parsing results in an Abstract Syntax Tree (AST) representing the source code. Name resolution maps all the identifiers found in the code to the software entities they refer to (variables, functions, classes,. . .). If there are solutions for some popular programming languages (e.g., JDT for the Java language), these two tasks can impose a significant burden on multi-language platforms (e.g., Cast, Eclipse, Rascal, Spoofax, Synectique) where a parser with name resolution must be implemented for each language analysed. For the parser, one may use a grammar of the language and a parser generator tool. For name resolution, solutions are ad-hoc and one must develop them by hand. We work with a company that had to create parsers and name resolvers for five languages in the past 18 months. As a solution, we describe in this paper, an infrastructure that helps implementing a name resolution tool. This infrastructure is based on an AST metamodel similar to ASTM (from the OMG). One part of the solution comes from decomposing the task into two phases: First, looking-up for candidate entities that could map to a name; second selecting among these candidates the entity that actually maps to the name. Another part of the solution relies on the definition of scopes as first class entities that can be attached to any node in an AST. We discuss implementation of our solution for two languages: Ada and Pharo (a Smalltalk dialect).
|
|
Keyword:
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]; ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.7: Distribution; and Enhancement; Maintenance
|
|
URL: https://hal.inria.fr/hal-01664258/document https://hal.inria.fr/hal-01664258/file/paper.pdf https://hal.inria.fr/hal-01664258
|
|
BASE
|
|
Hide details
|
|
2 |
XEML Interactive designer ; XEML Interactive designer: Machine Readable Metadata describing Genotypes, Environmental Conditions and Sampling Strategy
|
|
|
|
In: Bordeaux Computational Biology and Bioinformatics ; https://hal.archives-ouvertes.fr/hal-01203290 ; Bordeaux Computational Biology and Bioinformatics, Nov 2014, Bordeaux, France. 1 p., 2014 ; http://bcbb.labri.fr/ (2014)
|
|
BASE
|
|
Show details
|
|
3 |
Avantages et limites des modèles de caractéristiques dans la modélisation des exigences de variabilité
|
|
|
|
In: Revue Génie Logiciel, ISSN:0295-6322 ; https://hal-paris1.archives-ouvertes.fr/hal-01108917 ; Revue Génie Logiciel, ISSN:0295-6322, 2014, pp.42-48 (2014)
|
|
BASE
|
|
Show details
|
|
4 |
A Semiotics Approach to Semantic Mismatches
|
|
|
|
In: IFIP Advances in Information and Communication Technology ; 15th International Conference on Informatics and Semiotics in Organisations (ICISO) ; https://hal.inria.fr/hal-01350906 ; 15th International Conference on Informatics and Semiotics in Organisations (ICISO), May 2014, Shanghai, China. pp.11-21, ⟨10.1007/978-3-642-55355-4_2⟩ (2014)
|
|
BASE
|
|
Show details
|
|
5 |
Using Crowd-sourcing to Improve the Semantic Transparency of Committee-Designed Languages
|
|
|
|
In: ITSLE @ 7th International Conference on Software Language Engineering (SLE) ; https://hal.inria.fr/hal-01057526 ; ITSLE @ 7th International Conference on Software Language Engineering (SLE), Sep 2014, Vasteras, Sweden ; http://www.sleconf.org/2014/ITSLE.html (2014)
|
|
BASE
|
|
Show details
|
|
6 |
Improving Semantic Transparency of Committee-Designed Languages through Crowd-sourcing
|
|
|
|
In: 14th Workshop on Domain-Specific Modeling @ SPLASH ; https://hal.inria.fr/hal-01076729 ; 14th Workshop on Domain-Specific Modeling @ SPLASH, Oct 2014, Oregon - Portland, United States (2014)
|
|
BASE
|
|
Show details
|
|
7 |
Station Sensunique: Architecture générale d'une plateforme web paramétrable, modulaire et évolutive d'acquisition assistée de ressources
|
|
|
|
In: European Association for lexicography International Congress ; https://hal.archives-ouvertes.fr/hal-03221933 ; European Association for lexicography International Congress, Jul 2014, Bolzano, Italy (2014)
|
|
BASE
|
|
Show details
|
|
8 |
Station Sensunique: une plateforme Web modulaire, collaborative et évolutive d'acquisition assistée de ressources terminologiques et non terminologiques (orientée Langues Contrôlées)
|
|
|
|
In: European Association for lexicography International Congress ; https://hal.archives-ouvertes.fr/hal-03221934 ; European Association for lexicography International Congress, Jul 2014, Bolzano, Italy (2014)
|
|
BASE
|
|
Show details
|
|
9 |
GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems (Syntax and Formal Semantics)
|
|
|
|
In: https://hal.inria.fr/hal-00983711 ; [Research Report] RR-8527, INRIA. 2014 (2014)
|
|
BASE
|
|
Show details
|
|
10 |
Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)
|
|
|
|
In: https://hal.inria.fr/hal-00970244 ; [Technical Report] RT-0446, INRIA. 2014, pp.27 (2014)
|
|
BASE
|
|
Show details
|
|
11 |
Variability Management in Domain-Specific Languages
|
|
|
|
In: International School of Model-Driven Development for Distributed Real-Time Embedded Systems (MDDRES) ; https://hal.inria.fr/hal-01077788 ; International School of Model-Driven Development for Distributed Real-Time Embedded Systems (MDDRES), Sep 2014, Aber-Wrac'h, France. 2014 ; http://www.mdd4dres.org (2014)
|
|
BASE
|
|
Show details
|
|
12 |
Public policies and multilingualism in HCI
|
|
|
|
In: ISSN: 1072-5520 ; Interactions ; https://hal.archives-ouvertes.fr/hal-01154184 ; Interactions, Association for Computing Machinery, 2014, vol. 21 (n° 3), pp. 70-73. ⟨10.1145/2598608⟩ (2014)
|
|
BASE
|
|
Show details
|
|
13 |
The LIMA multilingual analyzer made free: FLOSS resources adaptation and correction
|
|
|
|
In: Proceedings of the 9th International Conference on Language Resources and Evaluation, LREC 2014 ; https://hal-cea.archives-ouvertes.fr/cea-01844458 ; Proceedings of the 9th International Conference on Language Resources and Evaluation, LREC 2014, May 2014, Reykjavik, Iceland. pp.2932-2937 (2014)
|
|
BASE
|
|
Show details
|
|
14 |
Praaline: Integrating Tools for Speech Corpus Research
|
|
|
|
In: Proceedings of the 9th International Conference on Language Resources and Evaluation (LREC) ; https://hal.archives-ouvertes.fr/hal-01703476 ; Proceedings of the 9th International Conference on Language Resources and Evaluation (LREC), May 2014, Reykjavik, Iceland (2014)
|
|
BASE
|
|
Show details
|
|
15 |
Automating Variability Model Inference for Component-Based Language Implementations
|
|
|
|
In: SPLC'14 - 18th International Software Product Line Conference ; https://hal.inria.fr/hal-01023864 ; SPLC'14 - 18th International Software Product Line Conference, Sep 2014, Florence, Italy (2014)
|
|
BASE
|
|
Show details
|
|
16 |
Instrumentation of annotated c programs for test generation
|
|
|
|
In: 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation ; https://hal-cea.archives-ouvertes.fr/cea-01836306 ; 2014 IEEE 14th International Working Conference on Source Code Analysis and Manipulation, Sep 2014, Victoria, Canada. pp.105-114, ⟨10.1109/SCAM.2014.19⟩ (2014)
|
|
BASE
|
|
Show details
|
|
20 |
Guiding learners to near native fluency in English through an adaptive programme of activities which includes phoneme and prosody analysis.
|
|
|
|
BASE
|
|
Show details
|
|
|
|