Smartanvil: Open-source tool suite for smart contract analysis

S Ducasse, H Rocha, S Bragagnolo… - … and Web 3.0, 2019 - taylorfrancis.com
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 …

Multistream regression with asynchronous concept drift detection

B Dong, Y Li, Y Gao, A Haque, L Khan… - … Conference on Big …, 2017 - ieeexplore.ieee.org
A recently introduced problem setting, referred as multistream, involves two independent
non-stationary data generating processes. One of them is called source stream, which …

Bounded seas

J Kurš, M Lungu, R Iyadurai, O Nierstrasz - Computer languages, systems …, 2015 - Elsevier
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 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 …

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 …

Mining the ecosystem to improve type inference for dynamically typed languages

B Spasojević, M Lungu, O Nierstrasz - Proceedings of the 2014 ACM …, 2014 - dl.acm.org
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 …

A reflexive and automated approach to syntactic pattern matching in code transformations

J Lecerf, J Brant, T Goubier… - 2018 IEEE International …, 2018 - ieeexplore.ieee.org
Empowering software engineers often requires to let them write code transformations.
However existing automated or tool-supported approaches force developers to have a …

Efficient parsing with parser combinators

J Kurš, J Vraný, M Ghafari, M Lungu… - Science of computer …, 2018 - Elsevier
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 …

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 …

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 …