Dissertation/ Thesis
Static and dynamic debugging techniques for the HipHop.js language ; Techniques de débogage statique et dynamique pour le langage HipHop.js
| Τίτλος: | Static and dynamic debugging techniques for the HipHop.js language ; Techniques de débogage statique et dynamique pour le langage HipHop.js |
|---|---|
| Συγγραφείς: | Krishnamurthy, Jayanth |
| Συνεισφορές: | Secure Diffuse Programming (INDES), Centre Inria d'Université Côte d'Azur, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), Université Côte d'Azur (UniCA), Université Côte d'Azur, Manuel Serrano |
| Πηγή: | https://theses.hal.science/tel-04193271 ; Computation and Language [cs.CL]. Université Côte d'Azur, 2023. English. ⟨NNT : 2023COAZ4035⟩. |
| Στοιχεία εκδότη: | CCSD |
| Έτος έκδοσης: | 2023 |
| Συλλογή: | HAL Université Côte d'Azur |
| Θεματικοί όροι: | Synchronous reactive programming, Causality error, HipHop.js, Debugging techniques, Programmation réactive synchrone, Erreur de causalité, Techniques de débogage, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL] |
| Περιγραφή: | Many of the modern day computer applications are reactive in nature, continuously reacting to the stimulus from its environment. IoT controllers for orchestration,responsive GUIs, collaborative video games are some of those reactive applications.HipHop.js, a synchronous reactive DSL inspired by Esterel for JavaScript can beused to build reactive applications. The objective of this thesis is to provide supporting infrastructure for building error free reactive applications using HipHop.js.There are two main contributions in this thesis. First one is the support for debugging a special class of errors - causal errors, typical to synchronous reactive systems,and the second one is to provide a software infrastructure for HipHop.js programmers to understand, and test the temporal behavior of their programs, aiding infault localization and improved debugging experience of HipHop.js programs.HipHop.js follows the model of perfect synchrony introduced in the Esterel programming language, and this may lead to classical causality error cycles during execution. These are generally difficult to isolate and to fix. In this thesis, the support for debugging causality errors in compile time and run time is presented in detail. First, illustrative examples explaining the origin and formation of causality errors in HipHop.js and the difficulties faced in debugging them are presented.Then, the techniques based on graph based algorithms that are used to construct better error messages directing programmers to the source of causal errors are presented. The effectiveness of the proposed methods is demonstrated with a realworld example.As a second contribution, a program analyzer with utilities that can be usedto understand the temporal behavior of HipHop.js programs, right from the early stages of program development is presented. The program analyzer aims to provide HipHop.js programmers easy to use interface that can simplify and automate error identification and localization. The presentation in the thesis has introduction to the ... |
| Τύπος εγγράφου: | doctoral or postdoctoral thesis |
| Γλώσσα: | English |
| Relation: | NNT: 2023COAZ4035 |
| Διαθεσιμότητα: | https://theses.hal.science/tel-04193271 https://theses.hal.science/tel-04193271v1/document https://theses.hal.science/tel-04193271v1/file/2023COAZ4035.pdf |
| Rights: | https://about.hal.science/hal-authorisation-v1/ ; info:eu-repo/semantics/OpenAccess |
| Αριθμός Καταχώρησης: | edsbas.A534E26 |
| Βάση Δεδομένων: | BASE |
καταχωρήστε σχόλιο πρώτοι!