Zobrazeno 1 - 10
of 11
pro vyhledávání: '"Phuc C. Nguyen"'
Publikováno v:
Tetrahedron Letters. 122:154510
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::62ecc58da97c633b9b0605c98eeb98d6
https://doi.org/10.1016/j.tetlet.2023.154510
https://doi.org/10.1016/j.tetlet.2023.154510
Publikováno v:
David Van Horn
Gradually-typed programming languages permit the incremental addition of static types to untyped programs. To remain sound, languages insert run-time checks at the boundaries between typed and untyped code. Unfortunately, performance studies have sho
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::38db54994bc75dab8e96cf5d673bcc50
http://arxiv.org/abs/2007.12630
http://arxiv.org/abs/2007.12630
Publikováno v:
David Van Horn
Software contracts allow programmers to state rich program properties using the full expressive power of an object language. However, since they are enforced at runtime, monitoring contracts imposes significant overhead and delays error discovery. So
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::63932377a3e52c12835490b21e6cdb94
https://doi.org/10.1145/3158139
https://doi.org/10.1145/3158139
Publikováno v:
Proceedings of the ACM on Programming Languages. 1:1-25
In this functional pearl, we examine the use of definitional interpreters as a basis for abstract interpretation of higher-order programming languages. As it turns out, definitional interpreters, especially those written in monadic style, can provide
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c1140bb448601a55bbd9c16969a1dc5e
https://doi.org/10.1145/3110256
https://doi.org/10.1145/3110256
Autor:
Ted Jacobson, Phuc C. Nguyen
We argue that the resolution to the black hole information paradox lies in a proper accounting of the implications of diffeomorphism invariance for the Hilbert space and observables of quantum gravity. The setting of asymptotically Anti-de Sitter spa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::917c2545a498833fea400d5e116cc94e
http://arxiv.org/abs/1904.04434
http://arxiv.org/abs/1904.04434
Publikováno v:
PLDI
Termination is an important but undecidable program property, which has led to a large body of work on static methods for conservatively predicting or enforcing termination. One such method is the size-change termination approach of Lee, Jones, and B
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::90910fb73f9604a74e6f8ee6c2e8013f
https://doi.org/10.1145/3314221.3314643
https://doi.org/10.1145/3314221.3314643
We present a general theory of quantum information propagation in chaotic quantum many-body systems. The generic expectation in such systems is that quantum information does not propagate in localized form; instead, it tends to spread out and scrambl
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ef4529a84fa45fc32cae869a8dbe7042
Publikováno v:
Journal of Functional Programming. 27
We present a new approach to automated reasoning about higher-order programs by endowing symbolic execution with a notion of higher-order, symbolic values. To validate our approach, we use it to develop and evaluate a system for verifying and refutin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::674245c70282cf20b758bf62f8498c88
https://doi.org/10.1017/s0956796816000216
https://doi.org/10.1017/s0956796816000216
Publikováno v:
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming.
Behavioral software contracts are a widely used mechanism for governing the flow of values between components. However, run-time monitoring and enforcement of contracts imposes significant overhead and delays discovery of faulty components to run-tim
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::77fe7f0732e8503757d73743fb789ada
https://doi.org/10.1145/2628136.2628156
https://doi.org/10.1145/2628136.2628156
Autor:
Phuc C. Nguyen, David Van Horn
Publikováno v:
David Van Horn
PLDI
PLDI
In this paper, we study the problem of generating inputs to a higher-order program causing it to error. We first study the problem in the setting of PCF, a typed, core functional language and contribute the first relatively complete method for constr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6073bb33428d3699fdcd5e4b6a98801a