| |
|
CALL FOR PAPERS
|
_____________________________________________________________________
Special issue of "Mathematical Structures in Computer Science"
on Programming Language Interference and Dependence
Guest Editors:
David Clark, Kings College London, UK
Roberto Giacobazzi, University of Verona, Italy
____________________________________________________________________
Important Dates:
| Guest Editors receive emailed titles and abstracts by | 12-Mar-08 |
| Full paper submissions by | 19-Mar-08 |
| First round of reviews completed by | 19-May-08 |
| Major revisions due by | 19-Jul-08 |
| Second round of reviews completed by | 19-Aug-08 |
| Minor revisions due by | 3-Sep-08 |
| Final acceptances given to Authors by | 10-Sep-08 |
| Publication materials due by | 24-Sep-08 |
| Publication tentatively | in late 2008/early 2009 issue |
_____________________________________________________________________
Interference and dependence are closely related concepts, the first
being the observable phenomenon connected to the second. Interference
essentially means that behaviour of some parts of a dynamic system may
influence the behaviour of other parts of the system. Dependence
specifies the relation between the semantics of sub-components of a
dynamic system.
Discovering, measuring and controlling interference is essential in
many aspects of modern computer science, in particular in security,
program analysis and verification, debugging, systems specification,
model checking, program manipulation, program slicing, reverse
engineering, data mining, distributed databases and systems
biology. Doing these things requires theories, models and semantics
for interference and dependence, as well as algorithms and tools for
analysis and reasoning about interference and dependence.
The aim of this special issue is to publish novel research work that
contributes to the development of methodologies, techniques and tools
for analysis of dependence and interference as well as applications of this.
Topics of interest include but are not limited to:
Security against unwanted interference and dependence
Models and theories of program interference
Algorithms for reducing or removing interference or for ameliorating its effects
Theory and foundations of program slicing and related dependence analyses
Resource declassification theories
Semantics of dependence and interference
Analyses based on interference and dependence
Abstract interpretation for dependence and interference
Dependence and interference in specifications
Slicing models and specifications
Interaction between dependence and refinement
Papers are solicited that describe basic research on any of the above
topics. Abstracts should be emailed to the guest editors using
David.J.Clark@kcl.ac.uk or
Roberto.Giacobazzi@univr.it
followed by full paper submissions (a week later).
Submissions must conform to the journal's submission guidelines and
must not have been published previously or be currently under
consideration for publication in any other journals or conferences.
Significant extensions to substantive papers published in conferences
are also welcome. Selected papers from PLID 2007 are invited to
submit an extended version to the special issue.
|