×

zbMATH — the first resource for mathematics

Selected papers from the 28th Nordic workshop on programming theory (NWPT’16). (English) Zbl 1431.68008
MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Nxx Theory of software
00B25 Proceedings of conferences of miscellaneous specific interest
Software:
MAC
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Apinis, Kalmer; Vene, Varmo; Vojdani, Vesal, Demand-driven interprocedural analysis for map-based abstract domains, J. Log. Algebraic Methods Program., 100, 57-70, (2018) · Zbl 1400.68054
[2] Bacci, Giovanni; Bacci, Giorgio; Larsen, Kim G.; Mardare, Radu, On the metric-based approximate minimization of Markov chains, J. Log. Algebraic Methods Program., 100, 36-56, (2018) · Zbl 1400.68098
[3] Dines, Bjørner, To every manifest domain a CSP expression — a rôle for mereology in computer science, J. Log. Algebraic Methods Program., 94, 91-108, (2018) · Zbl 1382.68050
[4] Chang Din, Crystal; Broch Johnsen, Einar; Owe, Olaf; Yu, Ingrid Chieh, A modular reasoning system using uninterpreted predicates for code reuse, J. Log. Algebraic Methods Program., 95, 82-102, (2018)
[5] Gallagher, John P.; Ajspur, Mai; Kafle, Bishoksan, Optimised determinisation and completion of finite tree automata, J. Log. Algebraic Methods Program., 95, 1-16, (2018)
[6] Broch Johnsen, Einar; Steffen, Martin; Beate Stumpf, Johanna, Virtually timed ambients: a calculus of nested virtualization, J. Log. Algebraic Methods Program., 94, 109-127, (2018) · Zbl 1381.68205
[7] Macías, Fernando; Wolter, Uwe; Rutle, Adrian; Durán, Francisco; Rodriguez-Echeverria, Roberto, Multilevel coupled model transformations for precise and reusable definition of model behaviour, J. Log. Algebraic Methods Program., (2019) · Zbl 1423.68105
[8] Ramezanifarkhani, Toktam; Owe, Olaf; Tokas, Shukun, A secrecy-preserving language for distributed and object-oriented systems, J. Log. Algebraic Methods Program., 99, 1-25, (2018) · Zbl 1395.68198
[9] Vassena, Marco; Russo, Alejandro; Buiras, Pablo; Waye, Lucas, MAC a verified static information-flow control library, J. Log. Algebraic Methods Program., 95, 148-180, (2018)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.