Dissertation/ Thesis
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 ; Static and dynamic debugging techniques for the HipHop.js language |
|---|---|
| Συγγραφείς: | Krishnamurthy, Jayanth |
| Συνεισφορές: | Université Côte d'Azur, Serrano, Manuel |
| Έτος έκδοσης: | 2023 |
| Συλλογή: | theses.fr |
| Θεματικοί όροι: | Techniques de débogage, HipHop.js, Erreur de causalité, Programmation réactive synchrone, Debugging techniques, Causality error, Synchronous reactive programming |
| Περιγραφή: | Un grand nombre d’applications informatiques modernes sont interactives, réagissant au stimulus fourni par l’environnement global. HipHop.js est un DSL réactif synchrone inspiré d’Esterel pour JavaScript construit sur Hop.js dédié à la programmation de telles applications. HipHop.js peut être utilisé pour développer des applications telles que les contrôleurs IoT, des interfaces graphiques réactives, etc.Traditionnellement les systèmes réactifs ont été utilisés dans des systèmes critiques car ils apportent des garanties de sécurités au delà de ce que peuvent fournir des langages généralistes. Néanmoins, comme pour les langages classique, un usage systématique et rigoureux de procédures de tests augmentent la confiance qu’un utilisateur peut apporter dans un système réactif. Le débogage est aussi une étape nécessaire si un dysfonctionnement est détecté. Cette thèse se concentre sur le développement d’un environnement dédié pour les programmeurs HipHop.js, facilitant,l’analyse et la mise au point de programmes. Il y a deux principales contributions dans cette thèse. Le premier est le support pour le débogage d’un classe d’erreurs typiques des systèmes réactifs appelées « erreurs de causalité » dans HipHop.js et le second est de fournir une infrastructure aux programmeurs HipHop.js pour étudier et comprendre le comportement de leurs programmes réactifs, identifier ainsi toute subtilité bogues et affiner leur source.HipHop.js suit le modèle de synchronie parfaite introduit dans le langage de programmation Esterel. Ce mémoire de thèse commence par une brève introduction à la programmation réactive à l’aide de HipHop.js afin de rendre accessible la suite du document aux lecteurs peu familiers avec le modèle de la programmation réactive. Ce modèle peut conduire à ce que cette communauté nomme des « cycles d’erreurs de causalité ». Ceux-ci sont généralement difficiles à isoler et à réparer.Dans cette thèse, nous discutons en détail la prise en charge du débogage des erreurs de causalité qui peuvent être détectées à la ... |
| Τύπος εγγράφου: | thesis |
| Γλώσσα: | English |
| Relation: | http://www.theses.fr/2023COAZ4035/document |
| Διαθεσιμότητα: | http://www.theses.fr/2023COAZ4035/document |
| Rights: | Open Access ; http://purl.org/eprint/accessRights/OpenAccess |
| Αριθμός Καταχώρησης: | edsbas.47CFB3CE |
| Βάση Δεδομένων: | BASE |
| FullText | Text: Availability: 0 CustomLinks: – Url: http://www.theses.fr/2023COAZ4035/document# Name: EDS - BASE (ns324271) Category: fullText Text: View record from BASE |
|---|---|
| Header | DbId: edsbas DbLabel: BASE An: edsbas.47CFB3CE RelevancyScore: 851 AccessLevel: 3 PubType: Dissertation/ Thesis PubTypeId: dissertation PreciseRelevancyScore: 851.480346679688 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Techniques de débogage statique et dynamique pour le langage HipHop.js ; Static and dynamic debugging techniques for the HipHop.js language – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Krishnamurthy%2C+Jayanth%22">Krishnamurthy, Jayanth</searchLink> – Name: Author Label: Contributors Group: Au Data: Université Côte d'Azur<br />Serrano, Manuel – Name: DatePubCY Label: Publication Year Group: Date Data: 2023 – Name: Subset Label: Collection Group: HoldingsInfo Data: theses.fr – Name: Subject Label: Subject Terms Group: Su Data: <searchLink fieldCode="DE" term="%22Techniques+de+débogage%22">Techniques de débogage</searchLink><br /><searchLink fieldCode="DE" term="%22HipHop%2Ejs%22">HipHop.js</searchLink><br /><searchLink fieldCode="DE" term="%22Erreur+de+causalité%22">Erreur de causalité</searchLink><br /><searchLink fieldCode="DE" term="%22Programmation+réactive+synchrone%22">Programmation réactive synchrone</searchLink><br /><searchLink fieldCode="DE" term="%22Debugging+techniques%22">Debugging techniques</searchLink><br /><searchLink fieldCode="DE" term="%22Causality+error%22">Causality error</searchLink><br /><searchLink fieldCode="DE" term="%22Synchronous+reactive+programming%22">Synchronous reactive programming</searchLink> – Name: Abstract Label: Description Group: Ab Data: Un grand nombre d’applications informatiques modernes sont interactives, réagissant au stimulus fourni par l’environnement global. HipHop.js est un DSL réactif synchrone inspiré d’Esterel pour JavaScript construit sur Hop.js dédié à la programmation de telles applications. HipHop.js peut être utilisé pour développer des applications telles que les contrôleurs IoT, des interfaces graphiques réactives, etc.Traditionnellement les systèmes réactifs ont été utilisés dans des systèmes critiques car ils apportent des garanties de sécurités au delà de ce que peuvent fournir des langages généralistes. Néanmoins, comme pour les langages classique, un usage systématique et rigoureux de procédures de tests augmentent la confiance qu’un utilisateur peut apporter dans un système réactif. Le débogage est aussi une étape nécessaire si un dysfonctionnement est détecté. Cette thèse se concentre sur le développement d’un environnement dédié pour les programmeurs HipHop.js, facilitant,l’analyse et la mise au point de programmes. Il y a deux principales contributions dans cette thèse. Le premier est le support pour le débogage d’un classe d’erreurs typiques des systèmes réactifs appelées « erreurs de causalité » dans HipHop.js et le second est de fournir une infrastructure aux programmeurs HipHop.js pour étudier et comprendre le comportement de leurs programmes réactifs, identifier ainsi toute subtilité bogues et affiner leur source.HipHop.js suit le modèle de synchronie parfaite introduit dans le langage de programmation Esterel. Ce mémoire de thèse commence par une brève introduction à la programmation réactive à l’aide de HipHop.js afin de rendre accessible la suite du document aux lecteurs peu familiers avec le modèle de la programmation réactive. Ce modèle peut conduire à ce que cette communauté nomme des « cycles d’erreurs de causalité ». Ceux-ci sont généralement difficiles à isoler et à réparer.Dans cette thèse, nous discutons en détail la prise en charge du débogage des erreurs de causalité qui peuvent être détectées à la ... – Name: TypeDocument Label: Document Type Group: TypDoc Data: thesis – Name: Language Label: Language Group: Lang Data: English – Name: NoteTitleSource Label: Relation Group: SrcInfo Data: http://www.theses.fr/2023COAZ4035/document – Name: URL Label: Availability Group: URL Data: http://www.theses.fr/2023COAZ4035/document – Name: Copyright Label: Rights Group: Cpyrght Data: Open Access ; http://purl.org/eprint/accessRights/OpenAccess – Name: AN Label: Accession Number Group: ID Data: edsbas.47CFB3CE |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=edsbas&AN=edsbas.47CFB3CE |
| RecordInfo | BibRecord: BibEntity: Languages: – Text: English Subjects: – SubjectFull: Techniques de débogage Type: general – SubjectFull: HipHop.js Type: general – SubjectFull: Erreur de causalité Type: general – SubjectFull: Programmation réactive synchrone Type: general – SubjectFull: Debugging techniques Type: general – SubjectFull: Causality error Type: general – SubjectFull: Synchronous reactive programming Type: general Titles: – TitleFull: Techniques de débogage statique et dynamique pour le langage HipHop.js ; Static and dynamic debugging techniques for the HipHop.js language Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Krishnamurthy, Jayanth – PersonEntity: Name: NameFull: Université Côte d'Azur – PersonEntity: Name: NameFull: Serrano, Manuel IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 01 Type: published Y: 2023 Identifiers: – Type: issn-locals Value: edsbas – Type: issn-locals Value: edsbas.oa |
| ResultId | 1 |