Flexary connectives in Mizar. Zbl 1387.68207
Korniłowicz, Artur |
|
2015
|
Model checking and abstraction to the aid of parameterized systems (a survey). Zbl 1072.68069
Zuck, Lenore; Pnueli, Amir |
|
2004
|
Verifying persistent security properties. Zbl 1072.68065
Bossi, Annalisa; Focardi, Riccardo; Piazza, Carla; Rossi, Sabina |
|
2004
|
Widening and narrowing operators for abstract interpretation. Zbl 1218.68100
Cortesi, Agostino; Zanioli, Matteo |
|
2011
|
Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. Zbl 1379.68239
Kafle, Bishoksan; Gallagher, John P. |
|
2017
|
A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets. Zbl 1379.68238
Ghorbal, Khalil; Sogokon, Andrew; Platzer, André |
|
2017
|
Effective abstractions for verification under relaxed memory models. Zbl 1379.68237
Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran |
|
2017
|
Information flow for Algol-like languages. Zbl 1027.68021
Clark, David; Hankin, Chris; Hunt, Sebastian |
|
2002
|
Reasoning about layered message passing systems. Zbl 1072.68067
Meenakshi, B.; Ramanujam, R. |
|
2004
|
Class invariants as abstract interpretation of trace semantics. Zbl 1387.68052
Logozzo, Francesco |
|
2009
|
First-order reasoning for higher-order concurrency. Zbl 1248.68355
Koutavas, Vasileios; Hennessy, Matthew |
|
2012
|
Behavioural typing for safe ambients. Zbl 1028.68005
Bugliesi, Michele; Castagna, Giuseppe |
|
2002
|
Memory-optimal evaluation of expression trees involving large objects. Zbl 1218.68072
Lam, Chi-Chung; Rauber, Thomas; Baumgartner, Gerald; Cociorva, Daniel; Sadayappan, P. |
|
2011
|
Program equivalence in a simple language with state. Zbl 1248.68155
Tzevelekos, Nikos |
|
2012
|
Symbolic execution based on language transformation. Zbl 1387.68047
Arusoaie, Andrei; Lucanu, Dorel; Rusu, Vlad |
|
2015
|
Fully abstract trace semantics for protected module architectures. Zbl 1387.68054
Patrignani, Marco; Clarke, Dave |
|
2015
|
Security types preserving compilation. Zbl 1109.68025
Barthe, Gilles; Rezk, Tamara; Basu, Amitabh |
|
2007
|
Security boundaries in mobile ambients. Zbl 1028.68004
Braghin, Chiara; Cortesi, Agostino; Focardi, Riccardo |
|
2002
|
Unanticipated integration of development tools using the classification model. Zbl 1091.68014
Wuyts, Roel; Ducasse, Stéphane |
|
2004
|
Verifying pointer and string analyses with region type systems. Zbl 1290.68034
Beringer, Lennart; Grabowski, Robert; Hofmann, Martin |
|
2013
|
Maintaining distributed logic programs incrementally. Zbl 1248.68129
Nigam, Vivek; Jia, Limin; Loo, Boon Thau; Scedrov, Andre |
|
2012
|
An array content static analysis based on non-contiguous partitions. Zbl 1379.68096
Liu, Jiangchao; Rival, Xavier |
|
2017
|
A methodology for speeding up loop kernels by exploiting the software information and the memory architecture. Zbl 1387.68065
Kelefouras, Vasilios; Kritikakou, Angeliki; Goutis, Costas |
|
2015
|
Intra- and interdiagram consistency checking of behavioral multiview models. Zbl 1387.68051
Kaufmann, Petra; Kronegger, Martin; Pfandler, Andreas; Seidl, Martina; Widl, Magdalena |
|
2015
|
Combining deep and shallow embedding of domain-specific languages. Zbl 1387.68057
Svenningsson, Josef; Axelsson, Emil |
|
2015
|
Specification and static enforcement of scheduler-independent noninterference in a middleweight Java. Zbl 1387.68050
Iranmanesh, Zeinab; Fallah, Mehran S. |
|
2016
|
A study of dynamic memory management in C++ programs. Zbl 1038.68015
Lee, Woo Hyong; Chang, Morris |
|
2002
|
Orderly communication in the ambient calculus. Zbl 1051.68029
Amtoft, Torben; Kfoury, Assaf J.; Pericas-Geertsen, Santiago M. |
|
2002
|
Applying model-checking to solve queries on semistructured data. Zbl 1387.68104
Dovier, A.; Quintarelli, E. |
|
2009
|
Nesting analysis of mobile ambients. Zbl 1072.68066
Braghin, Chiara; Cortesi, Agostino; Focardi, Riccardo; Luccio, Flaminia L.; Piazza, Carla |
|
2004
|
Bounded memory protocols. Zbl 1308.68055
Kanovich, Max; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre |
|
2014
|
A formal semantics of nested atomic sections with thread escape. Zbl 1387.68048
Dabrowski, Frédéric; Loulergue, Frédéric; Pinsard, Thomas |
|
2015
|
Inter-language reflection: a conceptual model and its implementation. Zbl 1103.68465
Gybels, Kris; Wuyts, Roel; Ducasse, Stéphane; D’Hondt, Maja |
|
2006
|
Runtime bytecode transformation for Smalltalk. Zbl 1102.68435
Denker, Marcus; Ducasse, Stéphane; Tanter, Éric |
|
2006
|
Co-evolving code and design with intensional views: a case study. Zbl 1102.68449
Mens, Kim; Kellens, Andy; Pluquet, Frédéric; Wuyts, Roel |
|
2006
|
A calculus for parallel computations over multidimensional dense arrays. Zbl 1112.68058
Di Cosmo, Roberto; Li, Zheng; Pelagatti, Susanna |
|
2007
|
A bulk-synchronous parallel process algebra. Zbl 1112.68105
Merlin, Armelle; Hains, Gaétan |
|
2007
|
Parallel resource co-allocation for the computational grid. Zbl 1103.68338
Li, Hui-Xian; Cheng, Chun-Tian; Chau, K. W. |
|
2007
|
Extending movilog for supporting web services. Zbl 1103.68344
Mateos, Cristian; Zunino, Alejandro; Campo, Marcelo |
|
2007
|
Automatic synthesis of \(k\)-inductive piecewise quadratic invariants for switched affine control programs. Zbl 1379.68234
Adjé, Assalé; Garoche, Pierre-Loïc |
|
2017
|
Inference of ranking functions for proving temporal properties by abstract interpretation. Zbl 1379.68101
Urban, Caterina; Miné, Antoine |
|
2017
|
On the verification of architectural reconfigurations. Zbl 1387.68071
Sanchez, Alejandro; Madeira, Alexandre; Barbosa, Luís S. |
|
2015
|
Compiling and verifying SC-SystemJ programs for safety-critical reactive systems. Zbl 1387.68053
Park, Heejong; Malik, Avinash; Salcic, Zoran |
|
2015
|
Efficient determinization of visibly and height-deterministic pushdown automata. Zbl 1387.68160
Polách, Radomír; Trávníček, Jan; Janoušek, Jan; Melichar, Bořivoj |
|
2016
|
Detection of redundant expressions: a precise, efficient, and pragmatic algorithm in SSA. Zbl 1387.68070
Pai, Rekha R. |
|
2016
|
An optimal data structure to handle dynamic environments in non-deterministic computations. Zbl 1027.68038
Pontelli, E.; Ranjan, D.; Dal Palú, A. |
|
2002
|
Unified selection from lists, arrays, and objects. Zbl 1038.68016
Lusth, John C. |
|
2002
|
Logic programs as compact denotations. Zbl 1059.68018
Hill, Patricia M.; Spoto, Fausto |
|
2003
|
Dynamic reordering of alternatives for definite logic programs. Zbl 1387.68058
H.-F. Guo, Hai-Feng; G. Gupta, Gopal |
|
2009
|
A monotone framework for CCS. Zbl 1387.68172
Nielson, Hanne Riis; Nielson, Flemming |
|
2009
|
Utility-driven solution for optimal resource allocation in computational grid. Zbl 1387.68045
Li, Zhi-Jie; Cheng, Chun-Tian; Huang, Fei-Xue |
|
2009
|
Towards proving type safety of \(\mathrm{C}^{\#}\). Zbl 1387.68049
Fruja, Nicu G. |
|
2010
|
The dependence condition graph: precise conditions for dependence between program points. Zbl 1387.68073
Sukumaran, Srihari; Sreenivas, Ashok; Metta, Ravindra |
|
2010
|
JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming. Zbl 1079.68519
Amandi, Analía; Campo, Marcelo; Zunino, Alejandro |
|
2005
|
Employing symmetry reductions in model checking. Zbl 1072.68068
Sistla, A. Prasad |
|
2004
|
Safe metaclass composition using mixin-based inheritance. Zbl 1072.68518
Bouraqadi, Noury |
|
2004
|
Refinement of worst-case execution time bounds by graph pruning. Zbl 1308.68024
Brandner, Florian; Jordan, Alexander |
|
2014
|
Incremental programming language development. Zbl 1101.68632
Mernik, Marjan; Žumer, Viljem |
|
2005
|
Classboxes: controlling visibility of class extensions. Zbl 1101.68441
Bergel, Alexandre; Ducasse, Stéphane; Nierstrasz, Oscar; Wuyts, Roel |
|
2005
|
Binary trees as a computational framework. Zbl 1296.68028
Haraburda, David; Tarau, Paul |
|
2013
|
Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. Zbl 1379.68239
Kafle, Bishoksan; Gallagher, John P. |
|
2017
|
A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets. Zbl 1379.68238
Ghorbal, Khalil; Sogokon, Andrew; Platzer, André |
|
2017
|
Effective abstractions for verification under relaxed memory models. Zbl 1379.68237
Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran |
|
2017
|
An array content static analysis based on non-contiguous partitions. Zbl 1379.68096
Liu, Jiangchao; Rival, Xavier |
|
2017
|
Automatic synthesis of \(k\)-inductive piecewise quadratic invariants for switched affine control programs. Zbl 1379.68234
Adjé, Assalé; Garoche, Pierre-Loïc |
|
2017
|
Inference of ranking functions for proving temporal properties by abstract interpretation. Zbl 1379.68101
Urban, Caterina; Miné, Antoine |
|
2017
|
Specification and static enforcement of scheduler-independent noninterference in a middleweight Java. Zbl 1387.68050
Iranmanesh, Zeinab; Fallah, Mehran S. |
|
2016
|
Efficient determinization of visibly and height-deterministic pushdown automata. Zbl 1387.68160
Polách, Radomír; Trávníček, Jan; Janoušek, Jan; Melichar, Bořivoj |
|
2016
|
Detection of redundant expressions: a precise, efficient, and pragmatic algorithm in SSA. Zbl 1387.68070
Pai, Rekha R. |
|
2016
|
Flexary connectives in Mizar. Zbl 1387.68207
Korniłowicz, Artur |
|
2015
|
Symbolic execution based on language transformation. Zbl 1387.68047
Arusoaie, Andrei; Lucanu, Dorel; Rusu, Vlad |
|
2015
|
Fully abstract trace semantics for protected module architectures. Zbl 1387.68054
Patrignani, Marco; Clarke, Dave |
|
2015
|
A methodology for speeding up loop kernels by exploiting the software information and the memory architecture. Zbl 1387.68065
Kelefouras, Vasilios; Kritikakou, Angeliki; Goutis, Costas |
|
2015
|
Intra- and interdiagram consistency checking of behavioral multiview models. Zbl 1387.68051
Kaufmann, Petra; Kronegger, Martin; Pfandler, Andreas; Seidl, Martina; Widl, Magdalena |
|
2015
|
Combining deep and shallow embedding of domain-specific languages. Zbl 1387.68057
Svenningsson, Josef; Axelsson, Emil |
|
2015
|
A formal semantics of nested atomic sections with thread escape. Zbl 1387.68048
Dabrowski, Frédéric; Loulergue, Frédéric; Pinsard, Thomas |
|
2015
|
On the verification of architectural reconfigurations. Zbl 1387.68071
Sanchez, Alejandro; Madeira, Alexandre; Barbosa, Luís S. |
|
2015
|
Compiling and verifying SC-SystemJ programs for safety-critical reactive systems. Zbl 1387.68053
Park, Heejong; Malik, Avinash; Salcic, Zoran |
|
2015
|
Bounded memory protocols. Zbl 1308.68055
Kanovich, Max; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre |
|
2014
|
Refinement of worst-case execution time bounds by graph pruning. Zbl 1308.68024
Brandner, Florian; Jordan, Alexander |
|
2014
|
Verifying pointer and string analyses with region type systems. Zbl 1290.68034
Beringer, Lennart; Grabowski, Robert; Hofmann, Martin |
|
2013
|
Binary trees as a computational framework. Zbl 1296.68028
Haraburda, David; Tarau, Paul |
|
2013
|
First-order reasoning for higher-order concurrency. Zbl 1248.68355
Koutavas, Vasileios; Hennessy, Matthew |
|
2012
|
Program equivalence in a simple language with state. Zbl 1248.68155
Tzevelekos, Nikos |
|
2012
|
Maintaining distributed logic programs incrementally. Zbl 1248.68129
Nigam, Vivek; Jia, Limin; Loo, Boon Thau; Scedrov, Andre |
|
2012
|
Widening and narrowing operators for abstract interpretation. Zbl 1218.68100
Cortesi, Agostino; Zanioli, Matteo |
|
2011
|
Memory-optimal evaluation of expression trees involving large objects. Zbl 1218.68072
Lam, Chi-Chung; Rauber, Thomas; Baumgartner, Gerald; Cociorva, Daniel; Sadayappan, P. |
|
2011
|
Towards proving type safety of \(\mathrm{C}^{\#}\). Zbl 1387.68049
Fruja, Nicu G. |
|
2010
|
The dependence condition graph: precise conditions for dependence between program points. Zbl 1387.68073
Sukumaran, Srihari; Sreenivas, Ashok; Metta, Ravindra |
|
2010
|
Class invariants as abstract interpretation of trace semantics. Zbl 1387.68052
Logozzo, Francesco |
|
2009
|
Applying model-checking to solve queries on semistructured data. Zbl 1387.68104
Dovier, A.; Quintarelli, E. |
|
2009
|
Dynamic reordering of alternatives for definite logic programs. Zbl 1387.68058
H.-F. Guo, Hai-Feng; G. Gupta, Gopal |
|
2009
|
A monotone framework for CCS. Zbl 1387.68172
Nielson, Hanne Riis; Nielson, Flemming |
|
2009
|
Utility-driven solution for optimal resource allocation in computational grid. Zbl 1387.68045
Li, Zhi-Jie; Cheng, Chun-Tian; Huang, Fei-Xue |
|
2009
|
Security types preserving compilation. Zbl 1109.68025
Barthe, Gilles; Rezk, Tamara; Basu, Amitabh |
|
2007
|
A calculus for parallel computations over multidimensional dense arrays. Zbl 1112.68058
Di Cosmo, Roberto; Li, Zheng; Pelagatti, Susanna |
|
2007
|
A bulk-synchronous parallel process algebra. Zbl 1112.68105
Merlin, Armelle; Hains, Gaétan |
|
2007
|
Parallel resource co-allocation for the computational grid. Zbl 1103.68338
Li, Hui-Xian; Cheng, Chun-Tian; Chau, K. W. |
|
2007
|
Extending movilog for supporting web services. Zbl 1103.68344
Mateos, Cristian; Zunino, Alejandro; Campo, Marcelo |
|
2007
|
Inter-language reflection: a conceptual model and its implementation. Zbl 1103.68465
Gybels, Kris; Wuyts, Roel; Ducasse, Stéphane; D’Hondt, Maja |
|
2006
|
Runtime bytecode transformation for Smalltalk. Zbl 1102.68435
Denker, Marcus; Ducasse, Stéphane; Tanter, Éric |
|
2006
|
Co-evolving code and design with intensional views: a case study. Zbl 1102.68449
Mens, Kim; Kellens, Andy; Pluquet, Frédéric; Wuyts, Roel |
|
2006
|
JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming. Zbl 1079.68519
Amandi, Analía; Campo, Marcelo; Zunino, Alejandro |
|
2005
|
Incremental programming language development. Zbl 1101.68632
Mernik, Marjan; Žumer, Viljem |
|
2005
|
Classboxes: controlling visibility of class extensions. Zbl 1101.68441
Bergel, Alexandre; Ducasse, Stéphane; Nierstrasz, Oscar; Wuyts, Roel |
|
2005
|
Model checking and abstraction to the aid of parameterized systems (a survey). Zbl 1072.68069
Zuck, Lenore; Pnueli, Amir |
|
2004
|
Verifying persistent security properties. Zbl 1072.68065
Bossi, Annalisa; Focardi, Riccardo; Piazza, Carla; Rossi, Sabina |
|
2004
|
Reasoning about layered message passing systems. Zbl 1072.68067
Meenakshi, B.; Ramanujam, R. |
|
2004
|
Unanticipated integration of development tools using the classification model. Zbl 1091.68014
Wuyts, Roel; Ducasse, Stéphane |
|
2004
|
Nesting analysis of mobile ambients. Zbl 1072.68066
Braghin, Chiara; Cortesi, Agostino; Focardi, Riccardo; Luccio, Flaminia L.; Piazza, Carla |
|
2004
|
Employing symmetry reductions in model checking. Zbl 1072.68068
Sistla, A. Prasad |
|
2004
|
Safe metaclass composition using mixin-based inheritance. Zbl 1072.68518
Bouraqadi, Noury |
|
2004
|
Logic programs as compact denotations. Zbl 1059.68018
Hill, Patricia M.; Spoto, Fausto |
|
2003
|
Information flow for Algol-like languages. Zbl 1027.68021
Clark, David; Hankin, Chris; Hunt, Sebastian |
|
2002
|
Behavioural typing for safe ambients. Zbl 1028.68005
Bugliesi, Michele; Castagna, Giuseppe |
|
2002
|
Security boundaries in mobile ambients. Zbl 1028.68004
Braghin, Chiara; Cortesi, Agostino; Focardi, Riccardo |
|
2002
|
A study of dynamic memory management in C++ programs. Zbl 1038.68015
Lee, Woo Hyong; Chang, Morris |
|
2002
|
Orderly communication in the ambient calculus. Zbl 1051.68029
Amtoft, Torben; Kfoury, Assaf J.; Pericas-Geertsen, Santiago M. |
|
2002
|
An optimal data structure to handle dynamic environments in non-deterministic computations. Zbl 1027.68038
Pontelli, E.; Ranjan, D.; Dal Palú, A. |
|
2002
|
Unified selection from lists, arrays, and objects. Zbl 1038.68016
Lusth, John C. |
|
2002
|