Fellner, Andreas; Tarrach, Thorsten; Weissenbacher, Georg Language inclusion for finite prime event structures. (English) Zbl 07228513 Beyer, Dirk (ed.) et al., Verification, model checking, and abstract interpretation. 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-39321-2/pbk; 978-3-030-39322-9/ebook). Lecture Notes in Computer Science 11990, 314-336 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{A. Fellner} et al., Lect. Notes Comput. Sci. 11990, 314--336 (2020; Zbl 07228513) Full Text: DOI
Garzella, Jack J.; Baranowski, Marek; He, Shaobo; Rakamarić, Zvonimir Leveraging compiler intermediate representation for multi- and cross-language verification. (English) Zbl 1451.68071 Beyer, Dirk (ed.) et al., Verification, model checking, and abstract interpretation. 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11990, 90-111 (2020). MSC: 68N20 68N15 68Q60 PDF BibTeX XML Cite \textit{J. J. Garzella} et al., Lect. Notes Comput. Sci. 11990, 90--111 (2020; Zbl 1451.68071) Full Text: DOI
Wang, Meng; Tian, Cong; Zhang, Nan; Duan, Zhenhua; Yao, Chenguang Translating Xd-C programs to MSVL programs. (English) Zbl 1436.68077 Theor. Comput. Sci. 809, 430-465 (2020). MSC: 68N15 68N20 68Q60 PDF BibTeX XML Cite \textit{M. Wang} et al., Theor. Comput. Sci. 809, 430--465 (2020; Zbl 1436.68077) Full Text: DOI
Kalimoldayev, M. N.; Biyashev, R. G.; Rog, O. A. Analysis of the methods for attribute-based access control. (English) Zbl 07311656 Prikl. Diskretn. Mat. 2019, No. 44, 43-57 (2019). MSC: 68 90 PDF BibTeX XML Cite \textit{M. N. Kalimoldayev} et al., Prikl. Diskretn. Mat. 2019, No. 44, 43--57 (2019; Zbl 07311656) Full Text: DOI MNR
Woodcock, Jim; Cavalcanti, Ana; Foster, Simon; Mota, Alexandre; Ye, Kangfeng Probabilistic semantics for RoboChart. A weakest completion approach. (English) Zbl 07168635 Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-31037-0/pbk; 978-3-030-31038-7/ebook). Lecture Notes in Computer Science 11885, 80-105 (2019). MSC: 68N30 PDF BibTeX XML Cite \textit{J. Woodcock} et al., Lect. Notes Comput. Sci. 11885, 80--105 (2019; Zbl 07168635) Full Text: DOI
Hoare, Tony; Struth, Georg; Woodcock, Jim A calculus of space, time, and causality: its algebra, geometry, logic. (English) Zbl 07168631 Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-31037-0/pbk; 978-3-030-31038-7/ebook). Lecture Notes in Computer Science 11885, 3-21 (2019). MSC: 68N30 PDF BibTeX XML Cite \textit{T. Hoare} et al., Lect. Notes Comput. Sci. 11885, 3--21 (2019; Zbl 07168631) Full Text: DOI
Berger, Ulrich; Jones, Alison; Seisenberger, Monika Program extraction applied to monadic parsing. (English) Zbl 1452.68045 J. Log. Comput. 29, No. 4, 487-518 (2019). MSC: 68N30 03B70 68N18 68T50 68V15 PDF BibTeX XML Cite \textit{U. Berger} et al., J. Log. Comput. 29, No. 4, 487--518 (2019; Zbl 1452.68045) Full Text: DOI
Kobayashi, Naoki Inclusion between the frontier language of a non-deterministic recursive program scheme and the Dyck language is undecidable. (English) Zbl 1429.68120 Theor. Comput. Sci. 777, 409-416 (2019). MSC: 68Q45 11U05 68N30 68Q42 PDF BibTeX XML Cite \textit{N. Kobayashi}, Theor. Comput. Sci. 777, 409--416 (2019; Zbl 1429.68120) Full Text: DOI
Sawicka, Anna; Kacprzak, Magdalena; Zbrzezny, Andrzej Towards encoding of the transition relation in dialogue games model checking. (English) Zbl 1412.68272 Fundam. Inform. 165, No. 3-4, 345-361 (2019). MSC: 68T27 68Q60 PDF BibTeX XML Cite \textit{A. Sawicka} et al., Fundam. Inform. 165, No. 3--4, 345--361 (2019; Zbl 1412.68272) Full Text: DOI
Ardeshir-Larijani, Ebrahim; Gay, Simon J.; Nagarajan, Rajagopal Automated equivalence checking of concurrent quantum systems. (English) Zbl 1407.68276 ACM Trans. Comput. Log. 19, No. 4, Article No. 28, 32 p. (2018). MSC: 68Q60 68Q12 68Q85 81P45 81P68 PDF BibTeX XML Cite \textit{E. Ardeshir-Larijani} et al., ACM Trans. Comput. Log. 19, No. 4, Article No. 28, 32 p. (2018; Zbl 1407.68276) Full Text: DOI
Safilian, Aliakbar; Maibaum, Tom; Diskin, Zinovy A theoretical framework for cardinality-based feature models: the semantics and computational aspects. (English) Zbl 1395.68095 J. Log. Algebr. Methods Program. 97, 30-54 (2018). MSC: 68N30 68Q25 68Q45 PDF BibTeX XML Cite \textit{A. Safilian} et al., J. Log. Algebr. Methods Program. 97, 30--54 (2018; Zbl 1395.68095) Full Text: DOI
Lengál, Ondřej; Lin, Anthony W.; Majumdar, Rupak; Rümmer, Philipp Fair termination for parameterized probabilistic concurrent systems. (English) Zbl 1452.68127 Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 499-517 (2017). MSC: 68Q85 68Q60 68Q87 PDF BibTeX XML Cite \textit{O. Lengál} et al., Lect. Notes Comput. Sci. 10205, 499--517 (2017; Zbl 1452.68127) Full Text: DOI
Hedin, Daniel; Sjösten, Alexander; Piessens, Frank; Sabelfeld, Andrei A principled approach to tracking information flow in the presence of libraries. (English) Zbl 1444.68051 Maffei, Matteo (ed.) et al., Principles of security and trust. 6th international conference, POST 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10204, 49-70 (2017). MSC: 68N30 68Q55 PDF BibTeX XML Cite \textit{D. Hedin} et al., Lect. Notes Comput. Sci. 10204, 49--70 (2017; Zbl 1444.68051) Full Text: DOI
Kheldoun, Ahmed; Barkaoui, Kamel; Ioualalen, Malika Formal verification of complex business processes based on high-level Petri nets. (English) Zbl 1429.68147 Inf. Sci. 385-386, 39-54 (2017). MSC: 68Q85 68Q42 68Q60 PDF BibTeX XML Cite \textit{A. Kheldoun} et al., Inf. Sci. 385--386, 39--54 (2017; Zbl 1429.68147) Full Text: DOI
Itzhaky, Shachar; Kotek, Tomer; Rinetzky, Noam; Sagiv, Mooly; Tamir, Orr; Veith, Helmut; Zuleger, Florian On the automated verification of web applications with embedded SQL. (English) Zbl 1402.68123 Benedikt, Michael (ed.) et al., 20th international conference on database theory, ICDT 2017, Venice, Italy, March 21–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-024-8). LIPIcs – Leibniz International Proceedings in Informatics 68, Article 16, 18 p. (2017). MSC: 68Q60 03B70 68M11 68N15 68P15 PDF BibTeX XML Cite \textit{S. Itzhaky} et al., LIPIcs -- Leibniz Int. Proc. Inform. 68, Article 16, 18 p. (2017; Zbl 1402.68123) Full Text: DOI
Hölzl, Johannes Markov chains and Markov decision processes in Isabelle/HOL. (English) Zbl 1425.68375 J. Autom. Reasoning 59, No. 3, 345-387 (2017). MSC: 68T15 60J10 68Q60 90C40 PDF BibTeX XML Cite \textit{J. Hölzl}, J. Autom. Reasoning 59, No. 3, 345--387 (2017; Zbl 1425.68375) Full Text: DOI
Li, Yongming Quantitative model checking of linear-time properties based on generalized possibility measures. (English) Zbl 1382.68143 Fuzzy Sets Syst. 320, 17-39 (2017). MSC: 68Q60 03B44 68T37 PDF BibTeX XML Cite \textit{Y. Li}, Fuzzy Sets Syst. 320, 17--39 (2017; Zbl 1382.68143) Full Text: DOI
Yousefi, Behnaz; Ghassemi, Fatemeh; Khosravi, Ramtin Modeling and efficient verification of wireless ad hoc networks. (English) Zbl 1377.68028 Formal Asp. Comput. 29, No. 6, 1051-1086 (2017). MSC: 68M10 68M12 68Q60 PDF BibTeX XML Cite \textit{B. Yousefi} et al., Formal Asp. Comput. 29, No. 6, 1051--1086 (2017; Zbl 1377.68028) Full Text: DOI
Zhang, Qirun; Su, Zhendong Context-sensitive data-dependence analysis via linear conjunctive language reachability. (English) Zbl 1380.68262 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 344-358 (2017). MSC: 68Q45 68N30 68Q42 PDF BibTeX XML Cite \textit{Q. Zhang} and \textit{Z. Su}, in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 344--358 (2017; Zbl 1380.68262) Full Text: DOI
Černý, Pavol; Clarke, Edmund M.; Henzinger, Thomas A.; Radhakrishna, Arjun; Ryzhyk, Leonid; Samanta, Roopsha; Tarrach, Thorsten From non-preemptive to preemptive scheduling using synchronization synthesis. (English) Zbl 1360.68346 Form. Methods Syst. Des. 50, No. 2-3, 97-139 (2017). MSC: 68N19 68M20 68Q60 68Q85 PDF BibTeX XML Cite \textit{P. Černý} et al., Form. Methods Syst. Des. 50, No. 2--3, 97--139 (2017; Zbl 1360.68346) Full Text: DOI
Neykova, Rumyana; Yoshida, Nobuko Multiparty session actors. (English) Zbl 1398.68097 Log. Methods Comput. Sci. 13, No. 1, Paper No. 17, 30 p. (2017). MSC: 68N30 68N19 PDF BibTeX XML Cite \textit{R. Neykova} and \textit{N. Yoshida}, Log. Methods Comput. Sci. 13, No. 1, Paper No. 17, 30 p. (2017; Zbl 1398.68097) Full Text: DOI arXiv
Lucanu, Dorel; Rusu, Vlad; Arusoaie, Andrei A generic framework for symbolic execution: a coinductive approach. (English) Zbl 1356.68044 J. Symb. Comput. 80, Part 1, 125-163 (2017). MSC: 68N30 68Q55 68W30 PDF BibTeX XML Cite \textit{D. Lucanu} et al., J. Symb. Comput. 80, Part 1, 125--163 (2017; Zbl 1356.68044) Full Text: DOI
Stoica, Laura Florentina; Stoica, Florin; Boian, Florian Mircea Generating a CTL model checker using an attribute grammar. (English) Zbl 1410.68239 Simian, Dana (ed.), Modelling and development of intelligent systems. Proceedings of the fourth international conference, Sibiu, Romania, October 28 – November 1, 2015. Sibiu: “Lucian Blaga” University Press. 130-143 (2016). MSC: 68Q60 03B44 68Q42 PDF BibTeX XML Cite \textit{L. F. Stoica} et al., in: Modelling and development of intelligent systems. Proceedings of the fourth international conference, Sibiu, Romania, October 28 -- November 1, 2015. Sibiu: ``Lucian Blaga'' University Press. 130--143 (2016; Zbl 1410.68239)
Ivanov, Ievgen; Nikitchenko, Mykola; Skobelev, Volodymyr G. Proving properties of programs on hierarchical nominative data. (English) Zbl 1390.68184 Comput. Sci. J. Mold. 24, No. 3, 371-398 (2016). MSC: 68N30 68N15 68P01 68Q55 PDF BibTeX XML Cite \textit{I. Ivanov} et al., Comput. Sci. J. Mold. 24, No. 3, 371--398 (2016; Zbl 1390.68184) Full Text: Link
Ciobâcă, Ştefan; Lucanu, Dorel; Rusu, Vlad; Roşu, Grigore A language-independent proof system for full program equivalence. (English) Zbl 1355.68051 Formal Asp. Comput. 28, No. 3, 469-497 (2016). MSC: 68N30 03B70 08A70 PDF BibTeX XML Cite \textit{Ş. Ciobâcă} et al., Formal Asp. Comput. 28, No. 3, 469--497 (2016; Zbl 1355.68051) Full Text: DOI
Chebotarev, A. N. Harmonization of automata specifications represented in the language L. (English. Russian original) Zbl 1392.68215 Cybern. Syst. Anal. 52, No. 3, 341-350 (2016); translation from Kibern. Sist. Anal. 2016, No. 3, 3-15 (2016). MSC: 68Q45 68Q60 PDF BibTeX XML Cite \textit{A. N. Chebotarev}, Cybern. Syst. Anal. 52, No. 3, 341--350 (2016; Zbl 1392.68215); translation from Kibern. Sist. Anal. 2016, No. 3, 3--15 (2016) Full Text: DOI
Batty, Mark; Donaldson, Alastair F.; Wickerson, John Overhauling SC atomics in C11 and OpenCL. (English) Zbl 1347.68034 Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 634-648 (2016). MSC: 68N15 68N30 68T15 PDF BibTeX XML Cite \textit{M. Batty} et al., in: Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '16, St. Petersburg, FL, USA, January 20--22, 2016. New York, NY: Association for Computing Machinery (ACM). 634--648 (2016; Zbl 1347.68034) Full Text: DOI
Lorenzen, Florian; Erdweg, Sebastian Sound type-dependent syntactic language extension. (English) Zbl 1347.68088 Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 204-216 (2016). MSC: 68N30 68N15 68N20 PDF BibTeX XML Cite \textit{F. Lorenzen} and \textit{S. Erdweg}, in: Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '16, St. Petersburg, FL, USA, January 20--22, 2016. New York, NY: Association for Computing Machinery (ACM). 204--216 (2016; Zbl 1347.68088) Full Text: DOI
Carvalho, Gustavo; Cavalcanti, Ana; Sampaio, Augusto Modelling timed reactive systems from natural-language requirements. (English) Zbl 1345.93024 Formal Asp. Comput. 28, No. 5, 725-765 (2016). MSC: 93A30 68Q60 PDF BibTeX XML Cite \textit{G. Carvalho} et al., Formal Asp. Comput. 28, No. 5, 725--765 (2016; Zbl 1345.93024) Full Text: DOI
Chambart, Pierre; Finkel, Alain; Schmitz, Sylvain Forward analysis and model checking for trace bounded WSTS. (English) Zbl 1343.68162 Theor. Comput. Sci. 637, 1-29 (2016). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{P. Chambart} et al., Theor. Comput. Sci. 637, 1--29 (2016; Zbl 1343.68162) Full Text: DOI
Blazy, Sandrine; Laporte, Vincent; Pichardie, David Verified abstract interpretation techniques for disassembling low-level self-modifying code. (English) Zbl 1357.68041 J. Autom. Reasoning 56, No. 3, 283-308 (2016). MSC: 68N30 68T15 PDF BibTeX XML Cite \textit{S. Blazy} et al., J. Autom. Reasoning 56, No. 3, 283--308 (2016; Zbl 1357.68041) Full Text: DOI
Komenda, Jan; Masopust, Tomáš Supervisory control of discrete-event systems. (English) Zbl 1403.93127 van Schuppen, Jan H. (ed.) et al., Coordination control of distributed systems. Cham: Springer (ISBN 978-3-319-10406-5/pbk; 978-3-319-10407-2/ebook). Lecture Notes in Control and Information Sciences 456, 129-136 (2015). MSC: 93C65 93A13 93B27 93B05 PDF BibTeX XML Cite \textit{J. Komenda} and \textit{T. Masopust}, Lect. Notes Control Inf. Sci. 456, 129--136 (2015; Zbl 1403.93127) Full Text: DOI
Sanchez, Alejandro; Madeira, Alexandre; Barbosa, Luís S. On the verification of architectural reconfigurations. (English) Zbl 1387.68071 Comput. Lang. Syst. Struct. 44, Part C, 218-237 (2015). MSC: 68N30 03B45 PDF BibTeX XML Cite \textit{A. Sanchez} et al., Comput. Lang. Syst. Struct. 44, Part C, 218--237 (2015; Zbl 1387.68071) Full Text: DOI
Kaufmann, Petra; Kronegger, Martin; Pfandler, Andreas; Seidl, Martina; Widl, Magdalena Intra- and interdiagram consistency checking of behavioral multiview models. (English) Zbl 1387.68051 Comput. Lang. Syst. Struct. 44, Part A, 72-88 (2015). MSC: 68N15 68N30 68Q45 PDF BibTeX XML Cite \textit{P. Kaufmann} et al., Comput. Lang. Syst. Struct. 44, Part A, 72--88 (2015; Zbl 1387.68051) Full Text: DOI
Vergu, Vlad; Neron, Pierre; Visser, Eelco DynSem: a DSL for dynamic semantics specification. (English) Zbl 1366.68015 Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 365-378 (2015). MSC: 68N15 68N20 68Q55 68Q60 PDF BibTeX XML Cite \textit{V. Vergu} et al., LIPIcs -- Leibniz Int. Proc. Inform. 36, 365--378 (2015; Zbl 1366.68015) Full Text: DOI
Bahr, Patrick; Berthold, Jost; Elsman, Martin Certified symbolic management of financial multi-party contracts. (English) Zbl 1360.68356 Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 315-327 (2015). MSC: 68N30 68N18 68Q55 91B40 91G99 PDF BibTeX XML Cite \textit{P. Bahr} et al., in: Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP '15, Vancouver, Canada, September 1--3, 2015. New York, NY: Association for Computing Machinery (ACM). 315--327 (2015; Zbl 1360.68356) Full Text: DOI
Pous, Damien Symbolic algorithms for language equivalence and Kleene algebra with tests. (English) Zbl 1346.68120 Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 357-368 (2015). MSC: 68Q45 68Q60 PDF BibTeX XML Cite \textit{D. Pous}, in: Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '15, Mumbai, India, January 12--18, 2015. New York, NY: Association for Computing Machinery (ACM). 357--368 (2015; Zbl 1346.68120) Full Text: DOI
Li, Jing; Shen, Ningmin; Bai, Haiyang; Zhou, Peiyun Schedulability verification of embedded system AADL model based on timed automata. (Chinese. English summary) Zbl 1349.68117 J. Southeast Univ., Nat. Sci. 45, No. 6, 1032-1037 (2015). MSC: 68Q60 68M20 68Q45 PDF BibTeX XML Cite \textit{J. Li} et al., J. Southeast Univ., Nat. Sci. 45, No. 6, 1032--1037 (2015; Zbl 1349.68117) Full Text: DOI
Yi, Shijie; Chen, Qunhui; Lü, Shanshan; Tang, Mengzi; Liu, Jin; Huang, Bo A threaded abstract syntax tree based generation algorithm of program dependence graph. (Chinese. English summary) Zbl 1340.68018 J. Wuhan Univ., Nat. Sci. Ed. 61, No. 2, 112-116 (2015). MSC: 68N30 68Q25 68R10 PDF BibTeX XML Cite \textit{S. Yi} et al., J. Wuhan Univ., Nat. Sci. Ed. 61, No. 2, 112--116 (2015; Zbl 1340.68018) Full Text: DOI
Lucanu, Dorel; Rusu, Vlad Program equivalence by circular reasoning. (English) Zbl 1319.68060 Formal Asp. Comput. 27, No. 4, 701-726 (2015). MSC: 68N30 PDF BibTeX XML Cite \textit{D. Lucanu} and \textit{V. Rusu}, Formal Asp. Comput. 27, No. 4, 701--726 (2015; Zbl 1319.68060) Full Text: DOI
Affeldt, Reynald; Sakaguchi, Kazuhiko An intrinsic encoding of a subset of C and its application to TLS network packet processing. (English) Zbl 1451.68061 J. Formaliz. Reason. 7, No. 1, 63-104 (2014). MSC: 68N15 68M12 68Q60 68V20 94A60 PDF BibTeX XML Cite \textit{R. Affeldt} and \textit{K. Sakaguchi}, J. Formaliz. Reason. 7, No. 1, 63--104 (2014; Zbl 1451.68061) Full Text: DOI
Li, Qin; Zhao, Yongxin; Zhu, Huibiao; He, Jifeng A UTP semantic model for Orc language with execution status and fault handling. (English) Zbl 1403.68041 Front. Comput. Sci. 8, No. 5, 709-725 (2014). MSC: 68N30 68Q55 68Q85 PDF BibTeX XML Cite \textit{Q. Li} et al., Front. Comput. Sci. 8, No. 5, 709--725 (2014; Zbl 1403.68041) Full Text: DOI
Moon, Young-Joo; Silva, Alexandra; Krause, Christian; Arbab, Farhad A compositional model to reason about end-to-end QoS in stochastic Reo connectors. (English) Zbl 1412.68065 Sci. Comput. Program. 80, Part A, 3-24 (2014). MSC: 68Q10 68N15 68Q45 68Q55 68Q60 68Q87 PDF BibTeX XML Cite \textit{Y.-J. Moon} et al., Sci. Comput. Program. 80, Part A, 3--24 (2014; Zbl 1412.68065) Full Text: DOI
Schoepe, Daniel; Hedin, Daniel; Sabelfeld, Andrei SeLINQ: tracking information across application-database boundaries. (English) Zbl 1346.68065 Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 25-38 (2014). MSC: 68N30 68N18 68P15 68Q65 PDF BibTeX XML Cite \textit{D. Schoepe} et al., in: Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP '14, Gothenburg, Sweden, September 1--3, 2014. New York, NY: Association for Computing Machinery (ACM). 25--38 (2014; Zbl 1346.68065) Full Text: DOI
Nogueira, Sidney; Sampaio, Augusto; Mota, Alexandre Test generation from state based use case models. (English) Zbl 1342.68210 Formal Asp. Comput. 26, No. 3, 441-490 (2014). MSC: 68Q60 68Q85 68T05 68T50 PDF BibTeX XML Cite \textit{S. Nogueira} et al., Formal Asp. Comput. 26, No. 3, 441--490 (2014; Zbl 1342.68210) Full Text: DOI
Chebotarev, A. N. Using the compatibility analysis of logical specifications of automata to solve game problems. (English. Russian original) Zbl 1311.91051 Cybern. Syst. Anal. 50, No. 4, 487-494 (2014); translation from Kibern. Sist. Anal. No. 4, 3-13 (2014). MSC: 91A40 68Q99 PDF BibTeX XML Cite \textit{A. N. Chebotarev}, Cybern. Syst. Anal. 50, No. 4, 487--494 (2014; Zbl 1311.91051); translation from Kibern. Sist. Anal. No. 4, 3--13 (2014) Full Text: DOI
Brenas, Jon Haël; Echahed, Rachid; Strecker, Martin A Hoare-like calculus using the \(\mathrm{SROIQ}^{\sigma }\) logic on transformations of graphs. (English) Zbl 1417.68026 Diaz, Josep (ed.) et al., Theoretical computer science. 8th IFIP TC 1/WG 2.2 international conference, TCS 2014, Rome, Italy, September 1–3, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8705, 164-178 (2014). MSC: 68N15 03B70 68N30 PDF BibTeX XML Cite \textit{J. H. Brenas} et al., Lect. Notes Comput. Sci. 8705, 164--178 (2014; Zbl 1417.68026) Full Text: DOI
Diekert, Volker; Leucker, Martin Topology, monitorable properties and runtime verification. (English) Zbl 1359.68164 Theor. Comput. Sci. 537, 29-41 (2014). MSC: 68Q45 68Q60 PDF BibTeX XML Cite \textit{V. Diekert} and \textit{M. Leucker}, Theor. Comput. Sci. 537, 29--41 (2014; Zbl 1359.68164) Full Text: DOI
Szpyrka, Marcin; Matyasik, Piotr; Mrówka, Rafał; Kotulski, Leszek Formal description of Alvis language with \(\alpha^{0}\) system layer. (English) Zbl 1297.68172 Fundam. Inform. 129, No. 1-2, 161-176 (2014). Reviewer: Damas Gruska (Bratislava) MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{M. Szpyrka} et al., Fundam. Inform. 129, No. 1--2, 161--176 (2014; Zbl 1297.68172) Full Text: DOI
Marion, Jean-Yves; Péchoux, Romain Complexity information flow in a multi-threaded imperative language. (English) Zbl 1405.68145 Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 11th annual conference, TAMC 2014, Chennai, India, April 11–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06088-0/pbk). Lecture Notes in Computer Science 8402, 124-140 (2014). MSC: 68Q25 68N30 PDF BibTeX XML Cite \textit{J.-Y. Marion} and \textit{R. Péchoux}, Lect. Notes Comput. Sci. 8402, 124--140 (2014; Zbl 1405.68145) Full Text: DOI
Lorenzen, Florian; Erdweg, Sebastian Modular and automated type-soundness verification for language extensions. (English) Zbl 1323.68218 Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 331-342 (2013). MSC: 68N30 68N15 68N18 68Q60 PDF BibTeX XML Cite \textit{F. Lorenzen} and \textit{S. Erdweg}, in: Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP '13, Boston, MA, USA, September 25--27, 2013. New York, NY: Association for Computing Machinery (ACM). 331--342 (2013; Zbl 1323.68218) Full Text: DOI
Chen, Dejiu; Feng, Lei; Qureshi, Tahir Naseer; Lönn, Henrik; Hagl, Frank An architectural approach to the analysis, verification and validation of software intensive embedded systems. (English) Zbl 1314.68181 Computing 95, No. 8, 649-688 (2013). MSC: 68Q60 PDF BibTeX XML Cite \textit{D. Chen} et al., Computing 95, No. 8, 649--688 (2013; Zbl 1314.68181) Full Text: DOI
Chebotarev, A. N. Compositional approach to the development of reactive algorithms. (English. Russian original) Zbl 1371.68177 Cybern. Syst. Anal. 49, No. 5, 652-662 (2013); translation from Kibern. Sist. Anal. 2013, No. 5, 14-27 (2013). MSC: 68Q60 03B70 68Q45 68Q85 PDF BibTeX XML Cite \textit{A. N. Chebotarev}, Cybern. Syst. Anal. 49, No. 5, 652--662 (2013; Zbl 1371.68177); translation from Kibern. Sist. Anal. 2013, No. 5, 14--27 (2013) Full Text: DOI
Chebotarev, A. N. Fictitiousness analysis of states of a finite-state machine synthesized from its specification transformed from the language \(L^*\) to the language \(L\). (English. Russian original) Zbl 1298.68126 Cybern. Syst. Anal. 49, No. 1, 1-6 (2013); translation from Kibern. Sist. Anal. 2013, No. 1, 3-10 (2013). MSC: 68Q45 68Q60 03B70 PDF BibTeX XML Cite \textit{A. N. Chebotarev}, Cybern. Syst. Anal. 49, No. 1, 1--6 (2013; Zbl 1298.68126); translation from Kibern. Sist. Anal. 2013, No. 1, 3--10 (2013) Full Text: DOI
Goncharov, Sergey; Schröder, Lutz A coinductive calculus for asynchronous side-effecting processes. (English) Zbl 1358.68212 Inf. Comput. 231, 204-232 (2013). MSC: 68Q85 68Q65 PDF BibTeX XML Cite \textit{S. Goncharov} and \textit{L. Schröder}, Inf. Comput. 231, 204--232 (2013; Zbl 1358.68212) Full Text: DOI
Pientka, Brigitte An insider’s look at LF type reconstruction: everything you (n)ever wanted to know. (English) Zbl 1262.68030 J. Funct. Program. 23, No. 1, 1-37 (2013). MSC: 68N18 68N15 68N30 03B70 PDF BibTeX XML Cite \textit{B. Pientka}, J. Funct. Program. 23, No. 1, 1--37 (2013; Zbl 1262.68030) Full Text: DOI
Sasano, Isao; Goto, Takumi An approach to completing variable names for implicitly typed functional languages. (English) Zbl 1360.68340 High.-Order Symb. Comput. 25, No. 1, 127-163 (2012). MSC: 68N18 68N30 PDF BibTeX XML Cite \textit{I. Sasano} and \textit{T. Goto}, High.-Order Symb. Comput. 25, No. 1, 127--163 (2012; Zbl 1360.68340) Full Text: DOI
Shilov, N. V. Unifying dynamic programming design patterns. (English) Zbl 1374.68116 Jt. Bull. NCC IIS, Ser. Comput. Sci. 34, 135-155 (2012). MSC: 68N30 PDF BibTeX XML Cite \textit{N. V. Shilov}, Jt. Bull. NCC IIS, Ser. Comput. Sci. 34, 135--155 (2012; Zbl 1374.68116) Full Text: Link
Chebotarev, A. N. Design of reactive algorithms by solving equations over automata. (English. Russian original) Zbl 1307.68046 Cybern. Syst. Anal. 48, No. 4, 479-488 (2012); translation from Kibern. Sist. Anal. No. 4, 3-13 (2012). MSC: 68Q45 68Q60 PDF BibTeX XML Cite \textit{A. N. Chebotarev}, Cybern. Syst. Anal. 48, No. 4, 479--488 (2012; Zbl 1307.68046); translation from Kibern. Sist. Anal. No. 4, 3--13 (2012) Full Text: DOI
Hatcliff, John; Leavens, Gary T.; Leino, K. Rustan M.; Müller, Peter; Parkinson, Matthew Behavioral interface specification languages. (English) Zbl 1293.68078 ACM Comput. Surv. 44, No. 3, Paper No. 7, 58 p. (2012). MSC: 68N30 68Q60 68-02 PDF BibTeX XML Cite \textit{J. Hatcliff} et al., ACM Comput. Surv. 44, No. 3, Paper No. 7, 58 p. (2012; Zbl 1293.68078) Full Text: DOI
Jeannet, Bertrand; Sotin, Pascal Inferring effective types for static analysis of C programs. (English) Zbl 1294.68057 Massé, Damien (ed.) et al., Proceedings of the 3rd international workshop on numerical and symbolic abstract domains, NSAD 2011, Venice, Italy, September 13, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 288, 37-47 (2012). MSC: 68N30 68N15 PDF BibTeX XML Cite \textit{B. Jeannet} and \textit{P. Sotin}, Electron. Notes Theor. Comput. Sci. 288, 37--47 (2012; Zbl 1294.68057) Full Text: DOI
Xue, Tao; Luo, Zhaohui Dot-types and their implementation. (English) Zbl 1291.68406 Béchet, Denis (ed.) et al., Logical aspects of computational linguistics. 7th international conference, LACL 2012, Nantes, France, July 2–4, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31261-8/pbk). Lecture Notes in Computer Science 7351, 234-249 (2012). MSC: 68T50 68Q65 68T15 PDF BibTeX XML Cite \textit{T. Xue} and \textit{Z. Luo}, Lect. Notes Comput. Sci. 7351, 234--249 (2012; Zbl 1291.68406) Full Text: DOI
Jiang, Tao; Wang, Xin Research on metamodels consistency verification based on formalization of domain-specific metamodeling language. (English) Zbl 1283.68209 J. Shanghai Jiaotong Univ., Sci. 17, No. 2, 171-177 (2012). MSC: 68Q60 68Q45 PDF BibTeX XML Cite \textit{T. Jiang} and \textit{X. Wang}, J. Shanghai Jiaotong Univ., Sci. 17, No. 2, 171--177 (2012; Zbl 1283.68209) Full Text: DOI
Gallego Arias, Emilio Jesús; Lipton, James B. Logic programming in tabular allegories. (English) Zbl 1281.68079 Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 334-347, electronic only (2012). MSC: 68N30 68N20 68N17 18C50 PDF BibTeX XML Cite \textit{E. J. Gallego Arias} and \textit{J. B. Lipton}, LIPIcs -- Leibniz Int. Proc. Inform. 17, 334--347 (2012; Zbl 1281.68079) Full Text: DOI
Zombori, Zsolt; Csorba, János; Szeredi, Péter Static type inference for the Q language using constraint logic programming. (English) Zbl 1281.68085 Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 119-129, electronic only (2012). MSC: 68N30 68N17 68N18 PDF BibTeX XML Cite \textit{Z. Zombori} et al., LIPIcs -- Leibniz Int. Proc. Inform. 17, 119--129 (2012; Zbl 1281.68085) Full Text: DOI
Rossada, T. V.; Sklyar, A. V. Properties of semistructed data with multivalued naming and their use. (Ukrainian. English summary) Zbl 1289.68008 Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2012, No. 2, 218-227 (2012). MSC: 68N15 68N30 68P05 PDF BibTeX XML Cite \textit{T. V. Rossada} and \textit{A. V. Sklyar}, Visn., Ser. Fiz.-Mat. Nauky, Kyïv. Univ. Im. Tarasa Shevchenka 2012, No. 2, 218--227 (2012; Zbl 1289.68008)
Martí-Oliet, Narciso; Palomino, Miguel; Verdejo, Alberto Rewriting logic bibliography by topic: 1990–2011. (English) Zbl 1262.03052 J. Log. Algebr. Program. 81, No. 7-8, 782-815 (2012). MSC: 03B70 00A15 68Q10 68Q42 PDF BibTeX XML Cite \textit{N. Martí-Oliet} et al., J. Log. Algebr. Program. 81, No. 7--8, 782--815 (2012; Zbl 1262.03052) Full Text: DOI
Meseguer, José Twenty years of rewriting logic. (English) Zbl 1267.03043 J. Log. Algebr. Program. 81, No. 7-8, 721-781 (2012). Reviewer: Johan Georg Granström (Zürich) MSC: 03B70 68Q42 PDF BibTeX XML Cite \textit{J. Meseguer}, J. Log. Algebr. Program. 81, No. 7--8, 721--781 (2012; Zbl 1267.03043) Full Text: DOI
Reghizzi, Stefano Crespi; Mandrioli, Dino Operator precedence and the visibly pushdown property. (English) Zbl 1250.68175 J. Comput. Syst. Sci. 78, No. 6, 1837-1867 (2012). MSC: 68Q45 68Q42 68Q60 PDF BibTeX XML Cite \textit{S. C. Reghizzi} and \textit{D. Mandrioli}, J. Comput. Syst. Sci. 78, No. 6, 1837--1867 (2012; Zbl 1250.68175) Full Text: DOI
Lin, Jyhjong Enhancing customer relationships by semantic consumer support systems. (English) Zbl 1248.68485 Inf. Process. Lett. 112, No. 22, 860-868 (2012). MSC: 68T35 68T30 PDF BibTeX XML Cite \textit{J. Lin}, Inf. Process. Lett. 112, No. 22, 860--868 (2012; Zbl 1248.68485) Full Text: DOI
Michel, Patrick; Poetzsch-Heffter, Arnd Verifying and generating WP transformers for procedures on complex data. (English) Zbl 1360.68759 Beringer, Lennart (ed.) et al., Interactive theorem proving. Third international conference, ITP 2012, Princeton, NJ, USA, August 13–15, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32346-1/pbk). Lecture Notes in Computer Science 7406, 133-148 (2012). MSC: 68T15 68Q60 PDF BibTeX XML Cite \textit{P. Michel} and \textit{A. Poetzsch-Heffter}, Lect. Notes Comput. Sci. 7406, 133--148 (2012; Zbl 1360.68759) Full Text: DOI
Deutch, Daniel; Milo, Tova Business processes. A database perspective. (English) Zbl 1252.68015 Synthesis Lectures on Data Management 27. San Rafael, CA: Morgan & Claypool Publishers (ISBN 978-1-60845-902-5/pbk). xi, 91 p. (2012). Reviewer: Jana Köhler (Luzern) MSC: 68-02 68Q45 68P01 68Q60 PDF BibTeX XML Cite \textit{D. Deutch} and \textit{T. Milo}, Business processes. A database perspective. San Rafael, CA: Morgan \& Claypool Publishers (2012; Zbl 1252.68015) Full Text: DOI
de Boer, Frank S.; Grabe, Immo; Steffen, Martin Termination detection for active objects. (English) Zbl 1243.68221 J. Log. Algebr. Program. 81, No. 4, 541-557 (2012). MSC: 68Q85 68N19 68N30 PDF BibTeX XML Cite \textit{F. S. de Boer} et al., J. Log. Algebr. Program. 81, No. 4, 541--557 (2012; Zbl 1243.68221) Full Text: DOI
Affeldt, Reynald; Nowak, David; Yamada, Kiyoshi Certifying assembly with formal security proofs: the case of BBS. (English) Zbl 1243.68146 Sci. Comput. Program. 77, No. 10-11, 1058-1074 (2012). MSC: 68N30 94A60 68T15 PDF BibTeX XML Cite \textit{R. Affeldt} et al., Sci. Comput. Program. 77, No. 10--11, 1058--1074 (2012; Zbl 1243.68146) Full Text: DOI
Zeyda, Frank; Oliveira, Marcel; Cavalcanti, Ana Mechanised support for sound refinement tactics. (English) Zbl 1242.68077 Formal Asp. Comput. 24, No. 1, 127-160 (2012). MSC: 68N30 68N19 68Q60 PDF BibTeX XML Cite \textit{F. Zeyda} et al., Formal Asp. Comput. 24, No. 1, 127--160 (2012; Zbl 1242.68077) Full Text: DOI
Henderson-Sellers, Brian On the mathematics of modelling, metamodelling, ontologies and modelling languages. (English) Zbl 1254.68007 SpringerBriefs in Computer Science. Berlin: Springer (ISBN 978-3-642-29824-0/pbk; 978-3-642-29825-7/ebook). ix, 106 p. (2012). Reviewer: Christian Posthoff (St. Augustine) MSC: 68-02 68R01 68N30 68T30 PDF BibTeX XML Cite \textit{B. Henderson-Sellers}, On the mathematics of modelling, metamodelling, ontologies and modelling languages. Berlin: Springer (2012; Zbl 1254.68007) Full Text: DOI
Elhog-Benzina, Dorsaf; Haddad, Serge; Hennicker, Rolf Refinement and asynchronous composition of modal Petri nets. (English) Zbl 1350.68201 Jensen, Kurt (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency V. Berlin: Springer (ISBN 978-3-642-29071-8/pbk). Lecture Notes in Computer Science 6900. Journal Subline, 96-120 (2012). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{D. Elhog-Benzina} et al., Lect. Notes Comput. Sci. 6900, 96--120 (2012; Zbl 1350.68201) Full Text: DOI
Hvitved, Tom; Klaedtke, Felix; Zălinescu, Eugen A trace-based model for multiparty contracts. (English) Zbl 1235.91116 J. Log. Algebr. Program. 81, No. 2, 72-98 (2012). MSC: 91B40 91B26 68Q55 68Q60 PDF BibTeX XML Cite \textit{T. Hvitved} et al., J. Log. Algebr. Program. 81, No. 2, 72--98 (2012; Zbl 1235.91116) Full Text: DOI
Villa, Tiziano; Yevtushenko, Nina; Brayton, Robert K.; Mishchenko, Alan; Petrenko, Alexandre; Sangiovanni-Vincentelli, Alberto The unknown component problem. Theory and applications. (English) Zbl 1248.68023 New York, NY: Springer (ISBN 978-0-387-34532-1/hbk; 978-0-387-68759-9/ebook). xv, 311 p. (2012). Reviewer: Christel Baier (Dresden) MSC: 68-02 68Q60 68Q45 91A80 PDF BibTeX XML Cite \textit{T. Villa} et al., The unknown component problem. Theory and applications. New York, NY: Springer (2012; Zbl 1248.68023) Full Text: DOI
Anureev, I. S. Integrated approach to analysis and verification of imperative programs. (English) Zbl 1374.68268 Jt. Bull. NCC IIS, Ser. Comput. Sci. 32, 1-18 (2011). MSC: 68Q60 68N30 PDF BibTeX XML Cite \textit{I. S. Anureev}, Jt. Bull. NCC IIS, Ser. Comput. Sci. 32, 1--18 (2011; Zbl 1374.68268) Full Text: Link
Jeannin, Jean-Baptiste Capsules and closures. (English) Zbl 1342.68088 Mislove, Michael (ed.) et al., Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 276, 191-213 (2011). MSC: 68N30 68N15 68N18 68N19 68Q55 PDF BibTeX XML Cite \textit{J.-B. Jeannin}, Electron. Notes Theor. Comput. Sci. 276, 191--213 (2011; Zbl 1342.68088) Full Text: DOI
Ahmed, Amal; Blume, Matthias An equivalence-preserving CPS translation via multi-language semantics. (English) Zbl 1323.68088 Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 431-444 (2011). MSC: 68N18 68N20 68Q55 68Q60 PDF BibTeX XML Cite \textit{A. Ahmed} and \textit{M. Blume}, in: Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP '11, Tokyo, Japan, September 19--21, 2011. New York, NY: Association for Computing Machinery (ACM). 431--444 (2011; Zbl 1323.68088) Full Text: DOI
Vardoulakis, Dimitrios; Shivers, Olin Pushdown flow analysis of first-class control. (English) Zbl 1323.68169 Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 69-80 (2011). MSC: 68N18 68Q60 PDF BibTeX XML Cite \textit{D. Vardoulakis} and \textit{O. Shivers}, in: Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP '11, Tokyo, Japan, September 19--21, 2011. New York, NY: Association for Computing Machinery (ACM). 69--80 (2011; Zbl 1323.68169) Full Text: DOI
Choi, Wontae; Aktemur, Baris; Yi, Kwangkeun; Tatsuta, Makoto Static analysis of multi-staged programs via unstaging translation. (English) Zbl 1284.68170 Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 81-92 (2011). MSC: 68N30 PDF BibTeX XML Cite \textit{W. Choi} et al., in: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '11, Austin, TX, USA, January 26--28, 2011. New York, NY: Association for Computing Machinery (ACM). 81--92 (2011; Zbl 1284.68170) Full Text: DOI
Wilson, Walter W. Implementation of axiomatic language. (English) Zbl 1245.68059 Gallagher, John P. (ed.) et al., Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6–10, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-31-6). LIPIcs – Leibniz International Proceedings in Informatics 11, 290-295, electronic only (2011). MSC: 68N17 PDF BibTeX XML Cite \textit{W. W. Wilson}, LIPIcs -- Leibniz Int. Proc. Inform. 11, 290--295 (2011; Zbl 1245.68059) Full Text: DOI Link
Mraihi, Olfa; Ghardallou, Wided; Louhichi, Asma; Labed Jilani, Lamia; Bsaies, Khaled; Mili, Ali Computing preconditions and postconditions of while loops. (English) Zbl 1350.68062 Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2011. 8th international colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23282-4/pbk). Lecture Notes in Computer Science 6916, 173-193 (2011). MSC: 68N30 68Q55 68Q60 PDF BibTeX XML Cite \textit{O. Mraihi} et al., Lect. Notes Comput. Sci. 6916, 173--193 (2011; Zbl 1350.68062) Full Text: DOI
Mernik, Marjan; Hrnčič, Dejan; Bryant, Barrett R.; Javed, Faizan Applications of grammatical inference in software engineering: domain specific language development. (English) Zbl 1226.68030 Martín-Vide, Carlos (ed.), Scientific applications of language methods. London: Imperial College Press (ISBN 978-1-84816-544-1/hbk; 978-1-84816-545-8/ebook). Mathematics, Computing, Language, and Life: Frontiers in Mathematical Linguistics and Language Theory 2, 421-457 (2011). MSC: 68N30 PDF BibTeX XML Cite \textit{M. Mernik} et al., in: Scientific applications of language methods. London: Imperial College Press. 421--457 (2011; Zbl 1226.68030)
Dang, H.-H.; Höfner, P.; Möller, B. Algebraic separation logic. (English) Zbl 1260.03060 J. Log. Algebr. Program. 80, No. 6, 221-247 (2011). Reviewer: Damas Gruska (Bratislava) MSC: 03B70 68N30 PDF BibTeX XML Cite \textit{H. H. Dang} et al., J. Log. Algebr. Program. 80, No. 6, 221--247 (2011; Zbl 1260.03060) Full Text: DOI
Michels, Gerard; Joosten, Sebastiaan; van der Woude, Jaap; Joosten, Stef Ampersand. Applying relation algebra in practice. (English) Zbl 1329.68066 de Swart, Harrie (ed.), Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21069-3/pbk). Lecture Notes in Computer Science 6663, 280-293 (2011). MSC: 68N18 03G15 68Q60 PDF BibTeX XML Cite \textit{G. Michels} et al., Lect. Notes Comput. Sci. 6663, 280--293 (2011; Zbl 1329.68066) Full Text: DOI
Derrick, John; North, Siobhán; Simons, Anthony J. H. Z2SAL: a translation-based model checker for Z. (English) Zbl 1214.68133 Formal Asp. Comput. 23, No. 1, 43-71 (2011). MSC: 68N30 68Q60 PDF BibTeX XML Cite \textit{J. Derrick} et al., Formal Asp. Comput. 23, No. 1, 43--71 (2011; Zbl 1214.68133) Full Text: DOI
Siek, Jeremy G.; Lumsdaine, Andrew A language for generic programming in the large. (English) Zbl 1217.68050 Sci. Comput. Program. 76, No. 5, 423-465 (2011). MSC: 68N15 68N30 PDF BibTeX XML Cite \textit{J. G. Siek} and \textit{A. Lumsdaine}, Sci. Comput. Program. 76, No. 5, 423--465 (2011; Zbl 1217.68050) Full Text: DOI
Huang, Shan Shan; Zook, David; Smaragdakis, Yannis Statically safe program generation with SafeGen. (English) Zbl 1215.68054 Sci. Comput. Program. 76, No. 5, 376-391 (2011). MSC: 68N15 68N30 68N19 PDF BibTeX XML Cite \textit{S. S. Huang} et al., Sci. Comput. Program. 76, No. 5, 376--391 (2011; Zbl 1215.68054) Full Text: DOI
Eden, Amnon H. Codecharts. Roadmaps and blueprints for object-oriented programs. With contributions from Jonathan Nicholson. (English) Zbl 1222.68002 Hoboken, NJ: John Wiley & Sons (ISBN 978-0-470-62694-8/hbk; 978-0-470-89103-2/ebook). xxv, 243 p. (2011). Reviewer: Mirel Cosulschi (Craiova) MSC: 68-02 68N19 68N30 PDF BibTeX XML Cite \textit{A. H. Eden}, Codecharts. Roadmaps and blueprints for object-oriented programs. With contributions from Jonathan Nicholson. Hoboken, NJ: John Wiley \& Sons (2011; Zbl 1222.68002) Full Text: DOI
Tian, Cong; Duan, Zhenhua Expressiveness of propositional projection temporal logic with star. (English) Zbl 1221.03018 Theor. Comput. Sci. 412, No. 18, 1729-1744 (2011). MSC: 03B44 03C05 68Q45 68Q60 PDF BibTeX XML Cite \textit{C. Tian} and \textit{Z. Duan}, Theor. Comput. Sci. 412, No. 18, 1729--1744 (2011; Zbl 1221.03018) Full Text: DOI
Hemel, Zef; Groenewegen, Danny M.; Kats, Lennart C. L.; Visser, Eelco Static consistency checking of web applications with WebDSL. (English) Zbl 1215.68053 J. Symb. Comput. 46, No. 2, 150-182 (2011). MSC: 68N15 68N30 PDF BibTeX XML Cite \textit{Z. Hemel} et al., J. Symb. Comput. 46, No. 2, 150--182 (2011; Zbl 1215.68053) Full Text: DOI
Dowek, Gilles; Lévy, Jean-Jacques Introduction to the theory of programming languages. (English) Zbl 1213.68160 Undergraduate Topics in Computer Science. London: Springer (ISBN 978-0-85729-075-5/pbk; 978-0-85729-076-2/ebook). xi, 96 p. (2011). Reviewer: Antonín Říha (Praha) MSC: 68N15 68-01 68N18 68N20 68N30 PDF BibTeX XML Cite \textit{G. Dowek} and \textit{J.-J. Lévy}, Introduction to the theory of programming languages. London: Springer (2011; Zbl 1213.68160) Full Text: DOI
Chebotarev, A. N. Regular form of deterministic FSMs specifications in the language L. (Russian. English summary) Zbl 07301749 Prikl. Diskretn. Mat. 2010, No. 4(10), 64-72 (2010). MSC: 68 11 PDF BibTeX XML Cite \textit{A. N. Chebotarev}, Prikl. Diskretn. Mat. 2010, No. 4(10), 64--72 (2010; Zbl 07301749) Full Text: MNR
Chebotarëv, A. N. Solving inequalities over finite state machines in the reactive systems design. (Russian. English summary) Zbl 07301741 Prikl. Diskretn. Mat. 2010, No. 3(9), 100-110 (2010). MSC: 68 03 PDF BibTeX XML Cite \textit{A. N. Chebotarëv}, Prikl. Diskretn. Mat. 2010, No. 3(9), 100--110 (2010; Zbl 07301741) Full Text: MNR
Shilov, N. V.; Bodin, E. V.; Shilova, S. O. Guided tour inside F@BOOL@: a case-study for a SAT-based verifying compiler. (English) Zbl 1374.68109 Jt. Bull. NCC IIS, Ser. Comput. Sci. 31, 139-154 (2010). MSC: 68N20 68Q55 68Q60 PDF BibTeX XML Cite \textit{N. V. Shilov} et al., Jt. Bull. NCC IIS, Ser. Comput. Sci. 31, 139--154 (2010; Zbl 1374.68109) Full Text: Link
Anureev, I. S. Introduction to the Atoment language. (English) Zbl 1374.68267 Jt. Bull. NCC IIS, Ser. Comput. Sci. 31, 1-16 (2010). MSC: 68Q60 PDF BibTeX XML Cite \textit{I. S. Anureev}, Jt. Bull. NCC IIS, Ser. Comput. Sci. 31, 1--16 (2010; Zbl 1374.68267) Full Text: Link