Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Prinz, Jacob"'
Structure editors operate directly on a program's syntactic tree structure. At first glance, this allows for the exciting possibility that such an editor could enforce correctness properties: programs could be well-formed and sometimes even well-type
Externí odkaz:
http://arxiv.org/abs/2411.16571
Autor:
Cui, Guangiqi, Dickerson, John, Durvasula, Naveen, Gasarch, William, Metz, Erik, Prinz, Jacob, Raman, Naveen, Smolyak, Daniel, Yoo, Sung Hyun
You have $m$ muffins and $s$ students. You want to divide the muffins into pieces and give the shares to students such that every student has $\frac{m}{s}$ muffins. Find a divide-and-distribute protocol that maximizes the minimum piece. Let $f(m,s)$
Externí odkaz:
http://arxiv.org/abs/1709.02452
Publikováno v:
Prinz, J, Kavvos, G A & Lampropoulos, L 2022, Deeper Shallow Embeddings . in J Andronick & L de Moura (eds), 13th International Conference on Interactive Theorem Proving (ITP 2022) . vol. 237, 28, Leibniz International Proceedings in Informatics, LIPIcs, vol. 237, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Germany, Dagstuhl, Germany, pp. 28:1-28:18, ITP 2022: Thirteenth Conference on Interactive Theorem Proving, 7/08/22 . https://doi.org/10.4230/LIPIcs.ITP.2022.28
Deep and shallow embeddings are two popular techniques for embedding a language in a host language with complementary strengths and weaknesses. In a deep embedding, embedded constructs are defined as data in the host: this allows for syntax manipulat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1f823e09a83b310d9a0a52c12022117c
Autor:
Cui, Guangqi, Dickerson, John, Durvasula, Naveen, Gasarch, William, Metz, Erik, Prinz, Jacob, Raman, Naveen, Smolyak, Daniel, Yoo, Sung Hyun
Consider the following FUN problem. Given m,s you want to divide m muffins among s students so that everyone gets m/(s) muffins; however, you want to maximize the minimum piece so that nobody gets crumbs. Let f(m,s) be the size of the smallest piece
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::680d8e25406ee2bf61820416375f743b
Publikováno v:
ACM SIGACT News; July 2019, Vol. 50 Issue: 2 p31-60, 30p
