A Lazy Desugaring System for Evaluating Programs with Sugars (English)
- New search for: Yang, Ziyi
- New search for: Xiao, Yushuo
- New search for: Guan, Zhichao
- New search for: Hu, Zhenjiang
- New search for: Yang, Ziyi
- New search for: Xiao, Yushuo
- New search for: Guan, Zhichao
- New search for: Hu, Zhenjiang
In:
Functional and logic programming
; 243-261
;
2022
-
ISBN:
- Conference paper / Print
-
Title:A Lazy Desugaring System for Evaluating Programs with Sugars
-
Contributors:Yang, Ziyi ( author ) / Xiao, Yushuo ( author ) / Guan, Zhichao ( author ) / Hu, Zhenjiang ( author )
-
Conference:FLOPS ; 16. ; 2022 ; Kyōto
-
Published in:Functional and logic programming ; 243-261
-
Publisher:
- New search for: Springer
-
Place of publication:Cham
-
Publication date:2022
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
- New search for: 54.50
- Further information on Basic classification
-
Keywords:
-
Classification:
BKL: 54.50 Programmierung: Allgemeines -
Source:
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Enhancing Expressivity of Checked Corecursive StreamsAncona, Davide / Barbieri, Pietro / Zucca, Elena et al. | 2022
- 19
-
Improving Type Error Reporting for Type ClassesChen, Sheng / Noor, Rabib et al. | 2022
- 39
-
Asynchronous Unfold/Fold Transformation for Fixpoint LogicAmeen, Mahmudul Faisal Al / Kobayashi, Naoki / Sato, Ryosuke et al. | 2022
- 57
-
Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOLHirata, Michikazu / Minamide, Yasuhiko / Sato, Tetsuya et al. | 2022
- 75
-
Generating C: System DescriptionKiselyov, Oleg et al. | 2022
- 94
-
Translation Certification for Smart ContractsKrijnen, Jacco O0. G. / Chakravarty, Manuel M. T. / Keller, Gabriele / Swierstra, Wouter et al. | 2022
- 112
-
Zipping Strategies and Attribute GrammarsMacedo, José Nuno / Viera, Marcos / Saraiva, João et al. | 2022
- 133
-
Unified Program Generation and Verification: A Case Study on Number-Theoretic TransformMasuda, Masahiro / Kameyama, Yukiyoshi et al. | 2022
- 152
-
Scheduling Complexity of Interleaving SearchRozplokhas, Dmitry / Boulytchev, Dmitry et al. | 2022
- 171
-
Automated Generation of Control Concepts Annotation Rules Using Inductive Logic Programming: System DescriptionShbita, Basel / Moitra, Abha et al. | 2022
- 186
-
A Functional Account of Probabilistic Programming with Possible Worlds: Declarative PearlBerg, Birthe van den / Schrijvers, Tom et al. | 2022
- 205
-
Explanations as Programs in Probabilistic Logic ProgrammingVidal, Germón et al. | 2022
- 224
-
FOLD-R++: A Scalable Toolset for Automated Inductive Learning of Default Theories from Mixed DataWang, Huaduo / Gupta, Gopal et al. | 2022
- 243
-
A Lazy Desugaring System for Evaluating Programs with SugarsYang, Ziyi / Xiao, Yushuo / Guan, Zhichao / Hu, Zhenjiang et al. | 2022
- 262
-
On Transforming Cut- and Quantifier-Free Cyclic Proofs into Rewriting-Induction ProofsZhang, Shujun / Nishida, Naoki et al. | 2022