×

zbMATH — the first resource for mathematics

Computer Languages, Systems & Structures

An International Journal

Short Title: Comput. Lang. Syst. Struct.
Publisher: Elsevier (Pergamon), Oxford
ISSN: 1477-8424
Online: https://www.sciencedirect.com/journal/computer-languages-systems-and-structures/issues
Predecessor: Computer Languages
Comments: No longer indexed
Documents Indexed: 109 Publications (2002–2017)
References Indexed: 105 Publications with 3,094 References.
all top 5

Authors

6 Cortesi, Agostino
5 Ducasse, Stéphane
5 Wuyts, Roel
3 Focardi, Riccardo
2 Bergel, Alexandre
2 Braghin, Chiara
2 Brandner, Florian
2 Campo, Marcelo R.
2 Chan, Jien-Tsai
2 Cheng, Chuntian
2 Fallah, Mehran S.
2 Lusth, John C.
2 Nigam, Vivek
2 Olsson, Ronald A.
2 Piazza, Carla
2 Scedrov, Andre
2 Schärli, Nathanael
2 Shang, Weijia
2 Yang, Wuu
2 Zunino, Alejandro
1 Adjé, Assalé
1 Agrawal, Vikram
1 Aldinucci, Marco
1 Amandi, Analía
1 Amir-Mohammadian, Sepehr
1 Amtoft, Torben
1 Andronikos, Theodore
1 Arusoaie, Andrei
1 Axelsson, Emil
1 Ban Kirigin, Tajana
1 Barbosa, Luís Soares
1 Barthe, Gilles
1 Basu, Amitabh
1 Baumgartner, Gerald
1 Benson, Gregory D.
1 Beringer, Lennart
1 Besova, Galina
1 Bigonha, Roberto S.
1 Black, Andrew Philip
1 Bossi, Annalisa
1 Bouraqadi, Noury
1 Bourbakis, Nikolaos G.
1 Bowman, Richard Sean
1 Brusò, Mayla
1 Bryant, Barrett R.
1 Bugliesi, Michele
1 Campos, Alvaro E.
1 Castagna, Giuseppe
1 Chang, Morris
1 Chau, Ki Wai
1 Cheatham, Michelle
1 Chen, Jim X.
1 Clark, David
1 Clarke, Dave
1 Cleereman, Kevin
1 Cociorva, Daniel
1 Cockshott, Paul
1 Colombet, Quentin
1 Combemale, Benoit
1 Costantini, Giulia
1 Dabrowski, Frédéric
1 Dal Palù, Alessandro
1 Dan, Andrei Marian
1 Danelutto, Marco
1 De Lamadrid, James Gil
1 de Oliveira Guimarães, José
1 Della Penna, Giuseppe
1 Demaid, A.
1 Denker, Marcus
1 Dhamdhere, Dhananjay M.
1 D’Hondt, Maja
1 Di Cosmo, Roberto
1 Di Iorio, Vladimir O.
1 Dimopoulos, Alexandros C.
1 Dong, Zegang
1 Dovier, Agostino
1 D’Souza, Deepak
1 Ellmenreich, Nils
1 Ferrara, Pietro
1 Fodor, Eugene F.
1 Fruja, Nicu G.
1 G. Gupta, Gopal
1 Gallagher, John P.
1 Garoche, Pierre-Loïc
1 Gautier, Thierry
1 Ge, Tingjian
1 Ghorbal, Khalil
1 Goutis, Costas E.
1 Grabowski, Robert
1 Gybels, Kris
1 H.-F. Guo, Hai-Feng
1 Hains, Gaétan
1 Halder, Raju
1 Hamidi, Hamid-Reza
1 Hanenberg, Stefan
1 Hankin, Chris L.
1 Haraburda, David
1 Hedin, Görel
1 Hennessy, Matthew C. B.
1 Heo, Kihong
...and 128 more Authors

Publications by Year

Citations contained in zbMATH Open

52 Publications have been cited 96 times in 91 Documents Cited by Year
Verifying persistent security properties. Zbl 1072.68065
Bossi, Annalisa; Focardi, Riccardo; Piazza, Carla; Rossi, Sabina
7
2004
Model checking and abstraction to the aid of parameterized systems (a survey). Zbl 1072.68069
Zuck, Lenore; Pnueli, Amir
6
2004
Flexary connectives in Mizar. Zbl 1387.68207
Korniłowicz, Artur
5
2015
Information flow for Algol-like languages. Zbl 1027.68021
Clark, David; Hankin, Chris; Hunt, Sebastian
4
2002
Behavioural typing for safe ambients. Zbl 1028.68005
Bugliesi, Michele; Castagna, Giuseppe
4
2002
Widening and narrowing operators for abstract interpretation. Zbl 1218.68100
Cortesi, Agostino; Zanioli, Matteo
4
2011
First-order reasoning for higher-order concurrency. Zbl 1248.68355
Koutavas, Vasileios; Hennessy, Matthew
4
2012
Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. Zbl 1379.68239
Kafle, Bishoksan; Gallagher, John P.
3
2017
Symbolic execution based on language transformation. Zbl 1387.68047
Arusoaie, Andrei; Lucanu, Dorel; Rusu, Vlad
3
2015
Unanticipated integration of development tools using the classification model. Zbl 1091.68014
Wuyts, Roel; Ducasse, Stéphane
3
2004
Security boundaries in mobile ambients. Zbl 1028.68004
Braghin, Chiara; Cortesi, Agostino; Focardi, Riccardo
3
2002
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
2
2015
Class invariants as abstract interpretation of trace semantics. Zbl 1387.68052
Logozzo, Francesco
2
2009
Applying model-checking to solve queries on semistructured data. Zbl 1387.68104
Dovier, A.; Quintarelli, E.
2
2009
A study of dynamic memory management in C++ programs. Zbl 1038.68015
Lee, Woo Hyong; Chang, Morris
2
2002
Nesting analysis of mobile ambients. Zbl 1072.68066
Braghin, Chiara; Cortesi, Agostino; Focardi, Riccardo; Luccio, Flaminia L.; Piazza, Carla
2
2004
Security types preserving compilation. Zbl 1109.68025
Barthe, Gilles; Rezk, Tamara; Basu, Amitabh
2
2007
Orderly communication in the ambient calculus. Zbl 1051.68029
Amtoft, Torben; Kfoury, Assaf J.; Pericas-Geertsen, Santiago M.
2
2002
Memory-optimal evaluation of expression trees involving large objects. Zbl 1218.68072
Lam, Chi-Chung; Rauber, Thomas; Baumgartner, Gerald; Cociorva, Daniel; Sadayappan, P.
2
2011
Program equivalence in a simple language with state. Zbl 1248.68155
Tzevelekos, Nikos
2
2012
Bounded memory protocols. Zbl 1308.68055
Kanovich, Max; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre
1
2014
Refinement of worst-case execution time bounds by graph pruning. Zbl 1308.68024
Brandner, Florian; Jordan, Alexander
1
2014
A hierarchy of proof rules for checking positive invariance of algebraic and semi-algebraic sets. Zbl 1379.68238
Ghorbal, Khalil; Sogokon, Andrew; Platzer, André
1
2017
Effective abstractions for verification under relaxed memory models. Zbl 1379.68237
Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran
1
2017
A formal semantics of nested atomic sections with thread escape. Zbl 1387.68048
Dabrowski, Frédéric; Loulergue, Frédéric; Pinsard, Thomas
1
2015
Fully abstract trace semantics for protected module architectures. Zbl 1387.68054
Patrignani, Marco; Clarke, Dave
1
2015
Intra- and interdiagram consistency checking of behavioral multiview models. Zbl 1387.68051
Kaufmann, Petra; Kronegger, Martin; Pfandler, Andreas; Seidl, Martina; Widl, Magdalena
1
2015
Combining deep and shallow embedding of domain-specific languages. Zbl 1387.68057
Svenningsson, Josef; Axelsson, Emil
1
2015
On the verification of architectural reconfigurations. Zbl 1387.68071
Sanchez, Alejandro; Madeira, Alexandre; Barbosa, Luís S.
1
2015
Compiling and verifying SC-SystemJ programs for safety-critical reactive systems. Zbl 1387.68053
Park, Heejong; Malik, Avinash; Salcic, Zoran
1
2015
Specification and static enforcement of scheduler-independent noninterference in a middleweight Java. Zbl 1387.68050
Iranmanesh, Zeinab; Fallah, Mehran S.
1
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
1
2016
A monotone framework for CCS. Zbl 1387.68172
Nielson, Hanne Riis; Nielson, Flemming
1
2009
Utility-driven solution for optimal resource allocation in computational grid. Zbl 1387.68045
Li, Zhi-Jie; Cheng, Chun-Tian; Huang, Fei-Xue
1
2009
Towards proving type safety of \(\mathrm{C}^{\#}\). Zbl 1387.68049
Fruja, Nicu G.
1
2010
The dependence condition graph: precise conditions for dependence between program points. Zbl 1387.68073
Sukumaran, Srihari; Sreenivas, Ashok; Metta, Ravindra
1
2010
Incremental programming language development. Zbl 1101.68632
Mernik, Marjan; Žumer, Viljem
1
2005
JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming. Zbl 1079.68519
Amandi, Analía; Campo, Marcelo; Zunino, Alejandro
1
2005
Classboxes: controlling visibility of class extensions. Zbl 1101.68441
Bergel, Alexandre; Ducasse, Stéphane; Nierstrasz, Oscar; Wuyts, Roel
1
2005
Unified selection from lists, arrays, and objects. Zbl 1038.68016
Lusth, John C.
1
2002
Logic programs as compact denotations. Zbl 1059.68018
Hill, Patricia M.; Spoto, Fausto
1
2003
Reasoning about layered message passing systems. Zbl 1072.68067
Meenakshi, B.; Ramanujam, R.
1
2004
Safe metaclass composition using mixin-based inheritance. Zbl 1072.68518
Bouraqadi, Noury
1
2004
Inter-language reflection: a conceptual model and its implementation. Zbl 1103.68465
Gybels, Kris; Wuyts, Roel; Ducasse, Stéphane; D’Hondt, Maja
1
2006
Runtime bytecode transformation for Smalltalk. Zbl 1102.68435
Denker, Marcus; Ducasse, Stéphane; Tanter, Éric
1
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
1
2006
Parallel resource co-allocation for the computational grid. Zbl 1103.68338
Li, Hui-Xian; Cheng, Chun-Tian; Chau, K. W.
1
2007
Extending movilog for supporting web services. Zbl 1103.68344
Mateos, Cristian; Zunino, Alejandro; Campo, Marcelo
1
2007
A calculus for parallel computations over multidimensional dense arrays. Zbl 1112.68058
Di Cosmo, Roberto; Li, Zheng; Pelagatti, Susanna
1
2007
A bulk-synchronous parallel process algebra. Zbl 1112.68105
Merlin, Armelle; Hains, Gaétan
1
2007
Binary trees as a computational framework. Zbl 1296.68028
Haraburda, David; Tarau, Paul
1
2013
Maintaining distributed logic programs incrementally. Zbl 1248.68129
Nigam, Vivek; Jia, Limin; Loo, Boon Thau; Scedrov, Andre
1
2012
Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. Zbl 1379.68239
Kafle, Bishoksan; Gallagher, John P.
3
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é
1
2017
Effective abstractions for verification under relaxed memory models. Zbl 1379.68237
Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran
1
2017
Specification and static enforcement of scheduler-independent noninterference in a middleweight Java. Zbl 1387.68050
Iranmanesh, Zeinab; Fallah, Mehran S.
1
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
1
2016
Flexary connectives in Mizar. Zbl 1387.68207
Korniłowicz, Artur
5
2015
Symbolic execution based on language transformation. Zbl 1387.68047
Arusoaie, Andrei; Lucanu, Dorel; Rusu, Vlad
3
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
2
2015
A formal semantics of nested atomic sections with thread escape. Zbl 1387.68048
Dabrowski, Frédéric; Loulergue, Frédéric; Pinsard, Thomas
1
2015
Fully abstract trace semantics for protected module architectures. Zbl 1387.68054
Patrignani, Marco; Clarke, Dave
1
2015
Intra- and interdiagram consistency checking of behavioral multiview models. Zbl 1387.68051
Kaufmann, Petra; Kronegger, Martin; Pfandler, Andreas; Seidl, Martina; Widl, Magdalena
1
2015
Combining deep and shallow embedding of domain-specific languages. Zbl 1387.68057
Svenningsson, Josef; Axelsson, Emil
1
2015
On the verification of architectural reconfigurations. Zbl 1387.68071
Sanchez, Alejandro; Madeira, Alexandre; Barbosa, Luís S.
1
2015
Compiling and verifying SC-SystemJ programs for safety-critical reactive systems. Zbl 1387.68053
Park, Heejong; Malik, Avinash; Salcic, Zoran
1
2015
Bounded memory protocols. Zbl 1308.68055
Kanovich, Max; Kirigin, Tajana Ban; Nigam, Vivek; Scedrov, Andre
1
2014
Refinement of worst-case execution time bounds by graph pruning. Zbl 1308.68024
Brandner, Florian; Jordan, Alexander
1
2014
Binary trees as a computational framework. Zbl 1296.68028
Haraburda, David; Tarau, Paul
1
2013
First-order reasoning for higher-order concurrency. Zbl 1248.68355
Koutavas, Vasileios; Hennessy, Matthew
4
2012
Program equivalence in a simple language with state. Zbl 1248.68155
Tzevelekos, Nikos
2
2012
Maintaining distributed logic programs incrementally. Zbl 1248.68129
Nigam, Vivek; Jia, Limin; Loo, Boon Thau; Scedrov, Andre
1
2012
Widening and narrowing operators for abstract interpretation. Zbl 1218.68100
Cortesi, Agostino; Zanioli, Matteo
4
2011
Memory-optimal evaluation of expression trees involving large objects. Zbl 1218.68072
Lam, Chi-Chung; Rauber, Thomas; Baumgartner, Gerald; Cociorva, Daniel; Sadayappan, P.
2
2011
Towards proving type safety of \(\mathrm{C}^{\#}\). Zbl 1387.68049
Fruja, Nicu G.
1
2010
The dependence condition graph: precise conditions for dependence between program points. Zbl 1387.68073
Sukumaran, Srihari; Sreenivas, Ashok; Metta, Ravindra
1
2010
Class invariants as abstract interpretation of trace semantics. Zbl 1387.68052
Logozzo, Francesco
2
2009
Applying model-checking to solve queries on semistructured data. Zbl 1387.68104
Dovier, A.; Quintarelli, E.
2
2009
A monotone framework for CCS. Zbl 1387.68172
Nielson, Hanne Riis; Nielson, Flemming
1
2009
Utility-driven solution for optimal resource allocation in computational grid. Zbl 1387.68045
Li, Zhi-Jie; Cheng, Chun-Tian; Huang, Fei-Xue
1
2009
Security types preserving compilation. Zbl 1109.68025
Barthe, Gilles; Rezk, Tamara; Basu, Amitabh
2
2007
Parallel resource co-allocation for the computational grid. Zbl 1103.68338
Li, Hui-Xian; Cheng, Chun-Tian; Chau, K. W.
1
2007
Extending movilog for supporting web services. Zbl 1103.68344
Mateos, Cristian; Zunino, Alejandro; Campo, Marcelo
1
2007
A calculus for parallel computations over multidimensional dense arrays. Zbl 1112.68058
Di Cosmo, Roberto; Li, Zheng; Pelagatti, Susanna
1
2007
A bulk-synchronous parallel process algebra. Zbl 1112.68105
Merlin, Armelle; Hains, Gaétan
1
2007
Inter-language reflection: a conceptual model and its implementation. Zbl 1103.68465
Gybels, Kris; Wuyts, Roel; Ducasse, Stéphane; D’Hondt, Maja
1
2006
Runtime bytecode transformation for Smalltalk. Zbl 1102.68435
Denker, Marcus; Ducasse, Stéphane; Tanter, Éric
1
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
1
2006
Incremental programming language development. Zbl 1101.68632
Mernik, Marjan; Žumer, Viljem
1
2005
JavaLog: a framework-based integration of Java and Prolog for agent-oriented programming. Zbl 1079.68519
Amandi, Analía; Campo, Marcelo; Zunino, Alejandro
1
2005
Classboxes: controlling visibility of class extensions. Zbl 1101.68441
Bergel, Alexandre; Ducasse, Stéphane; Nierstrasz, Oscar; Wuyts, Roel
1
2005
Verifying persistent security properties. Zbl 1072.68065
Bossi, Annalisa; Focardi, Riccardo; Piazza, Carla; Rossi, Sabina
7
2004
Model checking and abstraction to the aid of parameterized systems (a survey). Zbl 1072.68069
Zuck, Lenore; Pnueli, Amir
6
2004
Unanticipated integration of development tools using the classification model. Zbl 1091.68014
Wuyts, Roel; Ducasse, Stéphane
3
2004
Nesting analysis of mobile ambients. Zbl 1072.68066
Braghin, Chiara; Cortesi, Agostino; Focardi, Riccardo; Luccio, Flaminia L.; Piazza, Carla
2
2004
Reasoning about layered message passing systems. Zbl 1072.68067
Meenakshi, B.; Ramanujam, R.
1
2004
Safe metaclass composition using mixin-based inheritance. Zbl 1072.68518
Bouraqadi, Noury
1
2004
Logic programs as compact denotations. Zbl 1059.68018
Hill, Patricia M.; Spoto, Fausto
1
2003
Information flow for Algol-like languages. Zbl 1027.68021
Clark, David; Hankin, Chris; Hunt, Sebastian
4
2002
Behavioural typing for safe ambients. Zbl 1028.68005
Bugliesi, Michele; Castagna, Giuseppe
4
2002
Security boundaries in mobile ambients. Zbl 1028.68004
Braghin, Chiara; Cortesi, Agostino; Focardi, Riccardo
3
2002
A study of dynamic memory management in C++ programs. Zbl 1038.68015
Lee, Woo Hyong; Chang, Morris
2
2002
Orderly communication in the ambient calculus. Zbl 1051.68029
Amtoft, Torben; Kfoury, Assaf J.; Pericas-Geertsen, Santiago M.
2
2002
Unified selection from lists, arrays, and objects. Zbl 1038.68016
Lusth, John C.
1
2002
all top 5

Cited by 215 Authors

4 Cortesi, Agostino
3 Bergel, Alexandre
3 Braghin, Chiara
3 Castellani, Ilaria
3 Dezani-Ciancaglini, Mariangiola
3 Focardi, Riccardo
3 Korniłowicz, Artur
3 Naumowicz, Adam
3 Nielson, Flemming
3 Pérez, Jorge A.
3 Riis Nielson, Hanne
3 Spoto, Fausto
3 Wuyts, Roel
2 Campo, Marcelo R.
2 Capecchi, Sara
2 Ducasse, Stéphane
2 Gallagher, John P.
2 Grabowski, Adam
2 Kafle, Bishoksan
2 Kelefouras, Vasilios I.
2 Kellens, Andy
2 Levi, Francesca
2 Mateos, Cristian
2 Nigam, Vivek
2 Pąk, Karol
2 Piazza, Carla
2 Pnueli, Amir
2 Rossi, André
2 Rossi, Sabina
2 Scedrov, Andre
2 Schärli, Nathanael
2 Sevaux, Marc
2 Soto, María
2 Zuck, Lenore D.
2 Zunino, Alejandro
1 Aldinucci, Marco
1 Alpuente, María
1 Amin, Nada
1 Arusoaie, Andrei
1 Balaban, Ittai
1 Ban Kirigin, Tajana
1 Bancerek, Grzegorz
1 Bartoletti, Massimo
1 Becchi, Anna
1 Beillahi, Sidi Mohamed
1 Bigonha, Roberto S.
1 Black, Andrew Philip
1 Borgström, Johannes
1 Bouajjani, Ahmed
1 Boutonnet, Rémy
1 Bowman, Richard Sean
1 Brichau, Johan
1 Byliński, Czesław
1 Cassez, Franck
1 Castro, Sergio
1 Chatzikalymnios, Evangelos
1 Clarke, Dave
1 Colvin, Robert J.
1 Costantini, Giulia
1 Crafa, Silvia
1 Dabrowski, Frédéric
1 Danelutto, Marco
1 De Angelis, Emanuele
1 De Francesco, Nicoletta
1 De Nicola, Rocco
1 Deniélou, Pierre-Malo
1 D’Hondt, Theo
1 Di Iorio, Vladimir O.
1 Drossopolou, Sophia
1 Eisenbach, Susan
1 Ene, Cristian
1 Enea, Constantin
1 Eriksson, Lars-Henrik
1 Fallah, Mehran S.
1 Fang, Yi
1 Ferrara, Pietro
1 Fioravanti, Fabio
1 Fokkink, Willem Jan
1 Forsberg Gutkovas, Ramūnas
1 Gange, Graeme
1 Ganty, Pierre
1 Gąsior, Jakub
1 Ghilezan, Silvia
1 Gidey, Habtom Kashay
1 Gorla, Daniele
1 Gotthelf, Pablo
1 Goutis, Costas E.
1 Grune, Dick
1 Hähnle, Reiner
1 Hains, Gaétan
1 Halbwachs, Nicolas
1 Ham, David A.
1 Hansen, René Rydhof
1 Hennessy, Matthew C. B.
1 Hill, Patricia M.
1 Homolya, Miklós
1 Hond, Brinio
1 Hunt, Sebastian
1 Iranmanesh, Zeinab
1 Jackson, Paul B.
...and 115 more Authors

Citations by Year