受强制性开放获取政策约束的文章 - Jan Midtgaard了解详情
可在其他位置公开访问的文章：5 篇
Monadic abstract interpreters
I Sergey, D Devriese, M Might, J Midtgaard, D Darais, D Clarke, ...
Proceedings of the 34th ACM SIGPLAN conference on Programming language …, 2013
强制性开放获取政策： Research Foundation (Flanders)
Systematic derivation of correct variability-aware program analyses
J Midtgaard, AS Dimovski, C Brabrand, A Wąsowski
Science of Computer Programming 105, 145-170, 2015
强制性开放获取政策： Danish Council for Independent Research
Effect-driven QuickChecking of compilers
J Midtgaard, MN Justesen, P Kasting, F Nielson, HR Nielson
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-23, 2017
强制性开放获取政策： Danish National Research Foundation
Systematic derivation of static analyses for software product lines
J Midtgaard, C Brabrand, A Wasowski
Proceedings of the 13th international conference on Modularity, 181-192, 2014
强制性开放获取政策： Danish Council for Independent Research
Iterated process analysis over lattice-valued regular expressions
J Midtgaard, F Nielson, HR Nielson
Proceedings of the 18th International Symposium on Principles and Practice …, 2016
强制性开放获取政策： Danish National Research Foundation
出版信息和资助信息由计算机程序自动确定