Journal · Homepage
218
Publications
800
Citations
Top concepts
Computer ScienceComputingProgramming LanguagesSoftware EngineeringSystems ProgrammingSoftware DesignStatic Code AnalysisSyntaxTemporal LogicLinear Temporal Logic
Publications per year
2017–2026
218
218
Exploratory and Live, Programming and Coding
Patrick Rein, Stefan Ramson, Jens Lincke et al. · 2018 · 48 citations · Full text
Profunctor Optics: Modular Data Accessors
2017 · 28 citations · Full text
Clafer: Lightweight Modeling of Structure, Behaviour, and Variability
Paulius Juodisius, Atrisha Sarkar, Raghava Rao Mukkamala et al. · 2018 · 24 citations · Full text
Computing, Computer Science, Syntax +11
1–5 of 218