Nassar, Nebras; Kosiol, Jens; Arendt, Thorsten; Taentzer, Gabriele Constructing optimized constraint-preserving application conditions for model transformation rules. (English) Zbl 1451.68140 J. Log. Algebr. Methods Program. 114, Article ID 100564, 31 p. (2020). MSC: 68Q42 68Q60 PDF BibTeX XML Cite \textit{N. Nassar} et al., J. Log. Algebr. Methods Program. 114, Article ID 100564, 31 p. (2020; Zbl 1451.68140) Full Text: DOI
Kosiol, Jens; Fritsche, Lars; Nassar, Nebras; Schürr, Andy; Taentzer, Gabriele Constructing constraint-preserving interaction schemes in adhesive categories. (English) Zbl 1444.68086 Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 139-153 (2019). MSC: 68Q42 18A30 PDF BibTeX XML Cite \textit{J. Kosiol} et al., Lect. Notes Comput. Sci. 11563, 139--153 (2019; Zbl 1444.68086) Full Text: DOI
Nassar, Nebras; Kosiol, Jens; Arendt, Thorsten; Taentzer, Gabriele Constructing optimized validity-preserving application conditions for graph transformation rules. (English) Zbl 1429.68092 Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 177-194 (2019). MSC: 68Q42 PDF BibTeX XML Cite \textit{N. Nassar} et al., Lect. Notes Comput. Sci. 11629, 177--194 (2019; Zbl 1429.68092) Full Text: DOI
Pettorossi, Alberto; Proietti, Maurizio; Senni, Valerio Constraint-based correctness proofs for logic program transformations. (English) Zbl 1259.68036 Formal Asp. Comput. 24, No. 4-6, 569-594 (2012). MSC: 68N30 68N17 PDF BibTeX XML Cite \textit{A. Pettorossi} et al., Formal Asp. Comput. 24, No. 4--6, 569--594 (2012; Zbl 1259.68036) Full Text: DOI
Huai, Jinpeng; Deng, Ting; Li, Xianxian; Du, Zongxia; Guo, Huipeng AutoSyn: A new approach to automated synthesis of composite web services with correctness guarantee. (English) Zbl 1191.68816 Sci. China, Ser. F 52, No. 9, 1534-1549 (2009). MSC: 68U35 68M11 PDF BibTeX XML Cite \textit{J. Huai} et al., Sci. China, Ser. F 52, No. 9, 1534--1549 (2009; Zbl 1191.68816) Full Text: DOI
Habel, Annegret; Pennemann, Karl-Heinz Correctness of high-level transformation systems relative to nested conditions. (English) Zbl 1168.68022 Math. Struct. Comput. Sci. 19, No. 2, 245-296 (2009). MSC: 68Q42 18A10 68Q60 PDF BibTeX XML Cite \textit{A. Habel} and \textit{K.-H. Pennemann}, Math. Struct. Comput. Sci. 19, No. 2, 245--296 (2009; Zbl 1168.68022) Full Text: DOI
Cohen, Albert; Duranton, Marc; Eisenbeis, Christine; Pagetti, Claire; Plateau, Florence; Pouzet, Marc \(N\)-synchronous Kahn networks: a relaxed model of synchrony for real-time systems. (English) Zbl 1369.68065 Proceedings of the 33rd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’06, Charleston, SC, USA, January 11–13, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-027-2). 180-193 (2006). MSC: 68M20 68N15 68N20 PDF BibTeX XML Cite \textit{A. Cohen} et al., in: Proceedings of the 33rd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '06, Charleston, SC, USA, January 11--13, 2006. New York, NY: Association for Computing Machinery (ACM). 180--193 (2006; Zbl 1369.68065) Full Text: DOI
Boĭchuk, M. V. On the solvability of boundary problems for parabolic equations of the second order in \(L_p\) spaces. (Ukrainian) Zbl 0930.35080 Kraj. Zadachi Dyfer. Rivnyan’ 1, 14-28 (1998). Reviewer: Oleg Limarchenko (Kyïv) MSC: 35K20 35D10 35D05 PDF BibTeX XML Cite \textit{M. V. Boĭchuk}, Kraĭ. Zadachi Dyfer. Rivnyan' 1, 14--28 (1998; Zbl 0930.35080)
Gligor, Virgil D. The verification of the protection mechanisms of high-level language machines. (English) Zbl 0519.68037 Int. J. Comput. Inform. Sci. 12, 211-246 (1983). MSC: 68N25 PDF BibTeX XML Cite \textit{V. D. Gligor}, Int. J. Comput. Inform. Sci. 12, 211--246 (1983; Zbl 0519.68037) Full Text: DOI
Joshi, Aravind K.; Levy, Leon S.; Yueh, Kang Local constraints in programming languages. I: Syntax. (English) Zbl 0441.68086 Theor. Comput. Sci. 12, 265-290 (1980). MSC: 68Q45 68Q60 PDF BibTeX XML Cite \textit{A. K. Joshi} et al., Theor. Comput. Sci. 12, 265--290 (1980; Zbl 0441.68086) Full Text: DOI
Vasil’ev, F. P. On the method of loaded functionals. (English. Russian original) Zbl 0445.90068 Mosc. Univ. Comput. Math. Cybern. 1978, No. 3, 22-30 (1978); translation from Vestn. Mosk. Univ., Ser. XV 1978, No. 3, 24-32 (1978). MSC: 90C30 65K05 PDF BibTeX XML Cite \textit{F. P. Vasil'ev}, Mosc. Univ. Comput. Math. Cybern. 1978, No. 3, 22--30 (1978; Zbl 0445.90068); translation from Vestn. Mosk. Univ., Ser. XV 1978, No. 3, 24--32 (1978)