RT’s regular types offer expressiveness appropriate for capturing a command’s standard input and output streams, support computationally tractable and efficient type checking, and provide an interface encoded as regular expressions familiar to developers versed in the Unix environment.
Eiffel-tools, a language server protocol (LSP) implementation for the Eiffel programming language that uses Large Language Models (LLMs) to aid the development of statically verified software, is introduced.
Alessandro Schena, I. Mustafin, Julia Kotovich· 0 citations
This research measured 26 different popular open-source projects and found that in more than two-thirds of the time, constructors used hardcoded parameters, which opens the possibility for the creation of an effective static analysis tool.
Tibor Teodor Fürész, Kristóf Umann, Zoltán Porkoláb· Proceedings of the 13th Inte...· 0 citations
It is shown how the protocol pseudocode can be expressed easily, essentially line-by-line, in a precise high-level language, DistAlgo, for direct execution in distributed systems.
PyFlow is presented, a generic IFDS-based static-analysis framework for Python that provides a multi-stage intermediate-representation pipeline and a generic IFDS solver parameterized by abstract domains and concludes with lessons learned from building IFDS analyses for Python.
The "rebound" library is used to demonstrate and reflect on the current capabilities of dependently-typed programming in Haskell, and supports working with well-scoped de Bruijn indices in abstract syntax trees.
Stephanie Weirich· Proceedings of the 19th ACM...· 0 citations
CPyGraph, a C++ framework for package-level analysis of native CPython bytecode, is presented, a C++ framework for package-level analysis of native CPython bytecode that matches PyCG on its 112-program call-graph benchmark.
Bai-Hong Chen, Wen Li· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
