|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 32 publication records. Showing 32 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Jacques Carette, Gerardo Ortiz, Amr Sabry |
Symbolic Execution of Hadamard-Toffoli Quantum Circuits.  |
PEPM@POPL  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | José Nuno Macedo, Emanuel Rodrigues, Marcos Viera, João Saraiva |
Efficient Embedding of Strategic Attribute Grammars via Memoization. |
PEPM@POPL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Edwin C. Brady, Jens Palsberg (eds.) |
Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, PEPM 2023, Boston, MA, USA, January 16-17, 2023 |
PEPM@POPL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Youyou Cong, Kenichi Asai |
Towards a Reflection for Effect Handlers. |
PEPM@POPL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryo Tokuda, Yukiyoshi Kameyama |
Generating Programs for Polynomial Multiplication with Correctness Assurance. |
PEPM@POPL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jihee Park, Jaemin Hong, Sukyoung Ryu |
Semantic Transformation Framework for Rewriting Rules. |
PEPM@POPL |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Brown 0002, Adam D. Barwell, Yoann Marquer, Olivier Zendra, Tania Richmond, Chen Gu |
Semi-automatic ladderisation: improving code security through rewriting and dependent types. |
PEPM@POPL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Biri |
Dependent tagless final. |
PEPM@POPL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Zena M. Ariola, Youyou Cong (eds.) |
PEPM 2022: Proceedings of the 2022 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, Philadelphia, PA, USA, January 17 - 18, 2022 |
PEPM@POPL |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Peter Lozov, Dmitry Boulytchev |
Efficient fair conjunction for structurally-recursive relations. |
PEPM@POPL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zachary J. Sullivan, Paul Downen, Zena M. Ariola |
Strictly capturing non-strict closures. |
PEPM@POPL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Akira Tanaka |
Coq to C translation with partial evaluation. |
PEPM@POPL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Isao Sasano, Kwanghoon Choi 0001 |
A text-based syntax completion method using LR parsing. |
PEPM@POPL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Godiksen, Thomas Herrmann, Hans Hüttel, Mikkel Korup Lauridsen, Iman Owliaie |
A type-safe structure editor calculus. |
PEPM@POPL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Hideto Ueno, John Toman, Naoki Kobayashi 0001, Takeshi Tsukada |
Counterexample generation for program verification based on ownership refinement types. |
PEPM@POPL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Lindley, Torben Æ. Mogensen (eds.) |
Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2021, Virtual Event, Denmark, January 18-19, 2021. |
PEPM@POPL |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zechen Hou, Eric Madelaine |
Symbolic bisimulation for open and parameterized systems. |
PEPM@POPL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacques Carette, Brooks MacLachlan, Spencer Smith 0001 |
GOOL: a generic object-oriented language. |
PEPM@POPL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuhi Sato, Yukiyoshi Kameyama, Takahisa Watanabe |
Module generation without regret. |
PEPM@POPL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Casper Bach Poulsen, Zhenjiang Hu (eds.) |
Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2020, New Orleans, LA, USA, January 20, 2020 |
PEPM@POPL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Isao Sasano |
An approach to generate text-based IDEs for syntax completion based on syntax specification. |
PEPM@POPL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodin T. A. Aarssen, Tijs van der Storm |
High-fidelity metaprogramming with separator syntax trees. |
PEPM@POPL |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryosuke Sato 0001, Naoki Iwayama, Naoki Kobayashi 0001 |
Combining higher-order model checking with refinement type inference. |
PEPM@POPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Manuel V. Hermenegildo, Atsushi Igarashi (eds.) |
Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January 14-15, 2019 |
PEPM@POPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenny Zhuo Ming Lu |
Control flow obfuscation via CPS transformation. |
PEPM@POPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Keiichi Watanabe, Takeshi Tsukada, Hiroki Oshikawa, Naoki Kobayashi 0001 |
Reduction from branching-time property verification of higher-order programs to HFL validity checking. |
PEPM@POPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Tamino Dauth, Martin Sulzmann |
Futures and promises in Haskell and Scala. |
PEPM@POPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Sihan Xu, Sen Zhang, Weijing Wang, Xinya Cao, Chenkai Guo, Jing Xu 0008 |
Method name suggestion with hierarchical attention networks. |
PEPM@POPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Radanne |
Typed parsing and unparsing for untyped regular expression engines. |
PEPM@POPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenichi Asai |
Extracting a call-by-name partial evaluator from a proof of termination. |
PEPM@POPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Barry Jay |
A simpler lambda calculus. |
PEPM@POPL |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy Yallop, Oleg Kiselyov |
Generating mutually recursive definitions. |
PEPM@POPL |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license