activity
20202026
most citedConformance Relations and Hyperproperties for Doping Detection in Time and Space

12 citations · 16 across the 5 of their papers we have counts for

collaborators
Showing 2022Show all

1 paper · 1 filter

cs.SE2022★ 1 cited

Cross-Domain Evaluation of a Deep Learning-Based Type Inference System

Bernd Gruner, Tim Sonnekalb, Thomas S. Heinze +1

Optional type annotations allow for enriching dynamic programming languages with static typing features like better Integrated Development Environment (IDE) support, more precise p…