Matteo Cimini
University of Massachusetts Lowell
H-index: 12
North America-United States
Top articles of Matteo Cimini
Towards the Complexity Analysis of Programming Language Proof Methods
2023/11/23
Matteo Cimini
H-Index: 10
Testing Languages with a Languages-as-Databases Approach
2023/7/18
Matteo Cimini
H-Index: 10
A Declarative Validator for GSOS Languages
arXiv preprint arXiv:2304.06397
2023/4/13
Matteo Cimini
H-Index: 10
Lang-n-Prove: A DSL for Language Proofs
2022/11/29
Matteo Cimini
H-Index: 10
Lang-n-Send Extended: Sending Regular Expressions to Monitors
arXiv preprint arXiv:2208.04635
2022/8/9
Matteo Cimini
H-Index: 10
Lang-n-Send: Processes That Send Languages
arXiv preprint arXiv:2203.12879
2022/3/24
Matteo Cimini
H-Index: 10
A Query Language for Language Analysis
2022
Matteo Cimini
H-Index: 10
Language Transformations in the Classroom
arXiv preprint arXiv:2108.10493
2021/8/24
Matteo Cimini
H-Index: 10
A Calculus for Multi-language Operational Semantics
2021/7/18
Matteo Cimini
H-Index: 10
Extrinsically typed operational semantics for functional languages
2020/11/16
Matteo Cimini
H-Index: 10
System Description: Lang-n-Change-A Tool for Transforming Languages
2020/9/14
Matteo Cimini
H-Index: 10
On the Effectiveness of Higher-Order Logic Programming in Language-Oriented Programming
2020/9/14
Matteo Cimini
H-Index: 10
A Declarative Gradualizer with Language Transformations
2020/9/2
Matteo Cimini
H-Index: 10
A calculus for language transformations
2020/1/20
Matteo Cimini
H-Index: 10