A Type System for Data Flow and Alias Analysis in ReScript

Nicky Ask Lund; Hans Hüttel

doi:10.4204/EPTCS.410.8

A Type System for Data Flow and Alias Analysis in ReScript

Nicky Ask Lund, Hans Hüttel

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

9 Downloads (Pure)

Abstract

ReScript is a strongly typed language that targets JavaScript, as an alternative to gradually typed languages, such as TypeScript. In this paper, we present a sound type system for data-flow analysis for a subset of the ReScript language, more specifically for a λ -calculus with mutability and pattern matching. The type system is a local analysis that collects information about variables that are used at each program point as well as alias information.

Originalsprog	Engelsk
Titel	Proceedings Eighth Symposium on Working Formal Methods
Antal sider	17
Forlag	arXive: 0911.3094
Publikationsdato	2024
Sider	116-132
DOI	https://doi.org/10.4204/EPTCS.410.8
Status	Udgivet - 2024
Begivenhed	8th Symposium on Working Formal Methods, FROM 2024 - Timisoara, Rumænien Varighed: 16 sep. 2024 → 18 sep. 2024

Konference

Konference	8th Symposium on Working Formal Methods, FROM 2024
Land/Område	Rumænien
By	Timisoara
Periode	16/09/2024 → 18/09/2024
Sponsor	BRD -- Groupe Societe Generale, Institute for Logic and Data Science (ILDS), Runtime Verification

Navn	Electronic Proceedings in Theoretical Computer Science, EPTCS
Vol/bind	410
ISSN	2075-2180

Bibliografisk note

Publisher Copyright:
© 2024 Open Publishing Association. All rights reserved.

Adgang til dokumentet

10.4204/EPTCS.410.8Licens: CC BY

FulltextForlagets udgivne version, 175 KBLicens: CC BY

Citationsformater

A Type System for Data Flow and Alias Analysis in ReScript. / Lund, Nicky Ask; Hüttel, Hans.
Proceedings Eighth Symposium on Working Formal Methods. arXive: 0911.3094, 2024. s. 116-132 (Electronic Proceedings in Theoretical Computer Science, EPTCS, Bind 410).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Lund, NA & Hüttel, H 2024, A Type System for Data Flow and Alias Analysis in ReScript. i Proceedings Eighth Symposium on Working Formal Methods. arXive: 0911.3094, Electronic Proceedings in Theoretical Computer Science, EPTCS, bind 410, s. 116-132, 8th Symposium on Working Formal Methods, FROM 2024, Timisoara, Rumænien, 16/09/2024. https://doi.org/10.4204/EPTCS.410.8

@inproceedings{3e384c2e40304e8390e78345c40fa384,

title = "A Type System for Data Flow and Alias Analysis in ReScript",

abstract = "ReScript is a strongly typed language that targets JavaScript, as an alternative to gradually typed languages, such as TypeScript. In this paper, we present a sound type system for data-flow analysis for a subset of the ReScript language, more specifically for a λ -calculus with mutability and pattern matching. The type system is a local analysis that collects information about variables that are used at each program point as well as alias information.",

author = "Lund, {Nicky Ask} and Hans H{\"u}ttel",

note = "Publisher Copyright: {\textcopyright} 2024 Open Publishing Association. All rights reserved.; 8th Symposium on Working Formal Methods, FROM 2024 ; Conference date: 16-09-2024 Through 18-09-2024",

year = "2024",

doi = "10.4204/EPTCS.410.8",

language = "English",

series = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

publisher = "arXive: 0911.3094",

pages = "116--132",

booktitle = "Proceedings Eighth Symposium on Working Formal Methods",

}

TY - GEN

T1 - A Type System for Data Flow and Alias Analysis in ReScript

AU - Lund, Nicky Ask

AU - Hüttel, Hans

PY - 2024

Y1 - 2024

N2 - ReScript is a strongly typed language that targets JavaScript, as an alternative to gradually typed languages, such as TypeScript. In this paper, we present a sound type system for data-flow analysis for a subset of the ReScript language, more specifically for a λ -calculus with mutability and pattern matching. The type system is a local analysis that collects information about variables that are used at each program point as well as alias information.

AB - ReScript is a strongly typed language that targets JavaScript, as an alternative to gradually typed languages, such as TypeScript. In this paper, we present a sound type system for data-flow analysis for a subset of the ReScript language, more specifically for a λ -calculus with mutability and pattern matching. The type system is a local analysis that collects information about variables that are used at each program point as well as alias information.

U2 - 10.4204/EPTCS.410.8

DO - 10.4204/EPTCS.410.8

M3 - Article in proceedings

AN - SCOPUS:85209633646

T3 - Electronic Proceedings in Theoretical Computer Science, EPTCS

SP - 116

EP - 132

BT - Proceedings Eighth Symposium on Working Formal Methods

PB - arXive: 0911.3094

T2 - 8th Symposium on Working Formal Methods, FROM 2024

Y2 - 16 September 2024 through 18 September 2024

ER -