论文信息 - Selected papers from the 28th Nordic Workshop on Programming Theory (NWPT'16) - 字舞流文

Selected papers from the 28th Nordic Workshop on Programming Theory (NWPT'16)

Kim G. Larsen | Jirí Srba | K. Larsen | J. Srba

[1] Francisco Durán,et al. Multilevel Coupled Model Transformations for Precise and Reusable Definition of Model Behaviour , 2019, J. Log. Algebraic Methods Program..

[2] Varmo Vene,et al. Demand-driven interprocedural analysis for map-based abstract domains , 2018, J. Log. Algebraic Methods Program..

[3] Olaf Owe,et al. A secrecy-preserving language for distributed and object-oriented systems , 2018, J. Log. Algebraic Methods Program..

[4] Einar Broch Johnsen,et al. A modular reasoning system using uninterpreted predicates for code reuse , 2018, J. Log. Algebraic Methods Program..

[5] John P. Gallagher,et al. Optimised determinisation and completion of finite tree automata , 2015, J. Log. Algebraic Methods Program..

[6] Dines Bjørner,et al. To every manifest domain a CSP expression - a rôle for mereology in computer science , 2018, J. Log. Algebraic Methods Program..

[7] Einar Broch Johnsen,et al. Virtually timed ambients: A calculus of nested virtualization , 2018, J. Log. Algebraic Methods Program..

[8] Alejandro Russo,et al. MAC, A Verified Static Information-Flow Control Library , 2017 .

[9] Kim G. Larsen,et al. On the Metric-Based Approximate Minimization of Markov Chains , 2017, ICALP.