Sergey Mechtaev

Why do we assume that we do not allow lengthening strings?

The consequence of stratification is that we can apply string_concat up to a fixed number of times along each execution path, which depends on the structure of the program, but...

The paper that discusses stratified construction is this one: Sequences, Datalog, and Transducers Anthony Bonnera, Giansalvatore Mecca

@thevirtuoso1973 , thanks for initiating discussion about data structures and types. Perhaps, we can also add TAPL to related literature. Apart from what you menioned, it would be nice to...

We can also consider highlighting only the names, but not the arguments

@sfermigier, thank you for your interest! The project is led by me, Sergey Mechtaev (https://mechtaev.com), and Earl T. Barr (https://earlbarr.com/). Two UCL undergraduate students, Chris Tomy @thevirtuoso1973 and Tingmao Wang...

@sfermigier, here is the camera-ready version of our paper: https://mechtaev.com/files/fse22.pdf

> it will not use the (sub)tree that contains from("myregistry.domain.com/app:1.1-dev"). if that tag is not available So, the question is if any information from cache/registry will be used as a...

Thanks, @sudoPom! @thevirtuoso1973, can you please review it?

As I remember, star dependencies are not allowed if we want to publish our library on crates.io: https://github.com/modus-continens/modus/blob/5199e3acd8409a1ba3a1b02b53787ce9e5bf5f03/modus-lib/Cargo.toml#L24