A Sound Strategy to Compile General Recursion into Finite Depth Pattern Matching
Programming languages are popular and diverse, and the convenience of programmatically
changing the behavior of complex systems is attractive even for the ones with stringent …
changing the behavior of complex systems is attractive even for the ones with stringent …
Desenvolvimento de um gerador de programas aleatórios em java
LF Kraus, B Schafaschek… - Anais do Computer on …, 2021 - periodicos.univali.br
With great advances in the computer science area where technological systems are
becoming more and more complex, tests are hard to perform. The problem is even more …
becoming more and more complex, tests are hard to perform. The problem is even more …
Synthesis of random real-world java programs from preexisting libraries
LF Kraus, B Schafaschek, RG Ribeiro… - Proceedings of the 25th …, 2021 - dl.acm.org
With the great advances in the software development area, where systems are becoming
larger and more complex, the testing area is suffering to keep up with. In this paper, we …
larger and more complex, the testing area is suffering to keep up with. In this paper, we …
A Type-Directed Algorithm to Generate Random Well-Formed Parsing Expression Grammars
EM Cardoso, DF Pereira, RSMA De Paula… - Proceedings of the …, 2022 - dl.acm.org
PEGs are recognition formalism proposed by Brian Ford to describe top-down recursive
parsers. Unfortunately, to determine whether an arbitrary PEG will terminate when parsing …
parsers. Unfortunately, to determine whether an arbitrary PEG will terminate when parsing …
[PDF][PDF] Towards Random Elixir Code Generation
BB Facchi, AAS Braga, AR Du Bois, S da Silva Feitosa - researchgate.net
Developers expect compilers to be correct. Unfortunately, these tools are not entirely bug-
free. A failure introduced by the compiler could compromise a critical system and …
free. A failure introduced by the compiler could compromise a critical system and …
[PDF][PDF] A Bibliography of Publications about the Java Programming Language, 2020–2029
NHF Beebe - 2024 - netlib.org
A Bibliography of Publications about the Java Programming Language, 2020–2029 Page 1
A Bibliography of Publications about the Java Programming Language, 2020–2029 Nelson …
A Bibliography of Publications about the Java Programming Language, 2020–2029 Nelson …