Random testing of a higher-order blockchain language (experience report).
Tram HoangAnton TrunovLeonidas LampropoulosIlya SergeyPublished in: Proc. ACM Program. Lang. (2022)
Keyphrases
- higher order
- lambda calculus
- language learning
- high order
- natural images
- programming language
- pairwise
- natural language
- general purpose
- test set
- java programming
- data sets
- user experience
- operational semantics
- database query languages
- test data
- lower order
- computational linguistics
- language processing
- context dependent
- conditional random fields
- markov random field
- neural network