Zobrazeno 1 - 10
of 319
pro vyhledávání: '"Findler, Robert"'
Autor:
Zhong, Peter, You, Shu-Hung, Campanoni, Simone, Findler, Robert Bruce, Flatt, Matthew, Dimoulas, Christos
In Racket, the LLVM IR, Rust, and other modern languages, programmers and static analyses can hint, with special annotations, that certain parts of a program are unreachable. Same as other assumptions about undefined behavior; the compiler assumes th
Externí odkaz:
http://arxiv.org/abs/2407.04917
The effectiveness of concolic testing deteriorates as the size of programs increases. A promising way out is to test programs modularly, e.g., on a per function or class basis. Alas, this idea hits a roadblock in modern programming languages In moder
Externí odkaz:
http://arxiv.org/abs/2006.11639
Autor:
Findler, Robert Bruce
To sustain a market for software components, component producers and consumers must agree on contracts. These contracts must specify each party's obligations. To ensure that both sides meet their obligations, they must also agree on standards for mon
Externí odkaz:
http://hdl.handle.net/1911/18078
Publikováno v:
In Science of Computer Programming 15 October 2018 164:49-65
Autor:
FELLEISEN, MATTHIAS1 matthias@ccs.neu.edu, FINDLER, ROBERT BRUCE2 robby@eecs.northwestern.edu, FLATT, MATTHEW3 mfatt@cs.utah.edu, KRISHNAMURTHI, SHRIRAM4 sk@cs.brown.edu, BARZILAY, ELI5 eli@barzilay.org, MCCARTHY, JAY6 jay.mccarthy@gmail.com, TOBIN-HOCHSTADT, SAM7 samth@cs.indiana.edu
Publikováno v:
Communications of the ACM. Mar2018, Vol. 61 Issue 3, p62-71. 10p. 1 Illustration, 8 Diagrams.
Publikováno v:
Programming Languages and Systems
Higher-order functions have become a staple of modern programming languages. However, such values stymie concolic testers, as the SMT solvers at their hearts are inherently first-order. This paper lays a formal foundations for concolic testing higher
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=pmc_________::ac9e9ac3e60ccbc34c39da1ed23b2909
http://europepmc.org/articles/PMC7984566
http://europepmc.org/articles/PMC7984566
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Tobin-Hochstadt, Sam, Felleisen, Matthias, Findler, Robert, Flatt, Matthew, Greenman, Ben, Kent, Andrew M., St-Amour, Vincent, Strickland, T. Stephen, Takikawa, Asumu
In this day and age, many developers work on large, untyped code repositories. Even if they are the creators of the code, they notice that they have to figure out the equivalent of method signatures every time they work on old code. This step is time
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c52410f325c815a808f5a98a8da96767
Autor:
MATTHEWS, JACOB1 jcobm@cs.chicago.edu, FINDLER, ROBERT BRUCE1
Publikováno v:
ACM Transactions on Programming Languages & Systems. Apr2009, Vol. 31 Issue 3, p12:1-12:44. 44p. 14 Diagrams.