Smartanvil: Open-source tool suite for smart contract analysis
Smart contracts are new computational units with special properties: they act as classes with
aspectual concerns; their memory structure is more complex than mere objects; they are …
aspectual concerns; their memory structure is more complex than mere objects; they are …
Multistream regression with asynchronous concept drift detection
A recently introduced problem setting, referred as multistream, involves two independent
non-stationary data generating processes. One of them is called source stream, which …
non-stationary data generating processes. One of them is called source stream, which …
Bounded seas
Imprecise manipulation of source code (semi-parsing) is useful for tasks such as robust
parsing, error recovery, lexical analysis, and rapid development of parsers for data …
parsing, error recovery, lexical analysis, and rapid development of parsers for data …
Parsing Fortran-77 with proprietary extensions
Y Sow, L Safina, L Brault, PI Diouf… - 2023 IEEE …, 2023 - ieeexplore.ieee.org
Far from the latest innovations in software development, many organizations still rely on old
code written in" obsolete" programming languages. Because this source code is old and …
code written in" obsolete" programming languages. Because this source code is old and …
An interactive debugging approach based on time-traveling queries
MIW Santander - 2023 - theses.hal.science
Debugging is an indispensable part of software development, often consuming a significant
amount of time and resources. Efficiently debugging a program requires program …
amount of time and resources. Efficiently debugging a program requires program …
Mining the ecosystem to improve type inference for dynamically typed languages
Dynamically typed languages lack information about the types of variables in the source
code. Developers care about this information as it supports program comprehension. Basic …
code. Developers care about this information as it supports program comprehension. Basic …
A reflexive and automated approach to syntactic pattern matching in code transformations
Empowering software engineers often requires to let them write code transformations.
However existing automated or tool-supported approaches force developers to have a …
However existing automated or tool-supported approaches force developers to have a …
Efficient parsing with parser combinators
Parser combinators offer a universal and flexible approach to parsing. They follow the
structure of an underlying grammar, are modular, well-structured, easy to maintain, and can …
structure of an underlying grammar, are modular, well-structured, easy to maintain, and can …
A Syntactical Reverse Engineering Approach to Fourth Generation Programming Languages Using Formal Methods
M Zohri Yafi - 2022 - repository.essex.ac.uk
Fourth-generation programming languages (4GLs) feature rapid development with minimum
configuration required by developers. However, 4GLs can suffer from limitations such as …
configuration required by developers. However, 4GLs can suffer from limitations such as …
An Interactive Debugging Approach Based on Time-traveling Queries
WSM Ignacio - 2023 - theses.hal.science
Debugging is an indispensable part of software development, often consuming a significant
amount of time and resources. Efficiently debugging a program requires program …
amount of time and resources. Efficiently debugging a program requires program …