Listing 11 - 13 of 13 | << page >> |
Sort by
|
Choose an application
The aim of static analysis is to develop principles, techniques and tools for validatingpropertiesofprograms,fordesigningsemantics-basedtransformations of programs and for obtaining high-performance implementations of high-level programming languages. Over the years the series of static analysis symposia has served as the primary venue for presentation and discussion of theoretical, practical and innovative advances in the area. This volume contains the papers accepted for presentation at the 14th Int- national Static Analysis Symposium (SAS 2007). The meeting was held August, 22-24, 2007, at the Technical University of Denmark (DTU) in Kongens L- gby, Denmark. In response to the call for papers, 85 submissions were received. Each submission was reviewed by at least 3 experts and, based on these reports, 26 papers were selected after a week of intense electronic discussion using the EasyChair conference system. In addition to these 26 papers, this volume also containscontributionsbythetwoinvitedspeakers:FrankTip(IBMT.J.Watson Research Center, USA) and Alan Mycroft (Cambridge University, UK). On the behalf of the Program Committee, the Program Chairs would like to thank all the authors who submitted their work to the conference and also all the external referees who have been indispensable for the selection process. Special thanks go to TerkelTolstrup and J¨ org Bauer,who helped in handing the submitted papers and in organizing the structure of this volume. We would also like to thank the members of the Organizing Committee at DTU for their great work. Finally we want to thank the PhD school ITMAN at DTU for ?nancial support.
Mathematical logic --- Computer science --- Programming --- Computer. Automation --- programmeren (informatica) --- programmeertalen --- wiskunde --- software engineering --- logica
Choose an application
This issue of the journalreports some selected contributions from the workshops BioConcur 2004 chaired by Anna Ingolfsdottir and Hanne Riis Nielson and BioConcur 2005 chaired by Bud Mishra and Corrado Priami. There are three contributions from BioConcur 2004. The ?rst one is by Calder, Gilmore and Hillston on the modelling of signalling pathways using the stochastic process algebra PEPA. The second contribution is by Kuttler and Niehrenongeneregulationin?-calculus.ThelastcontributionisbyRemy,Ruet, Mendoza, Thie?ry and Chsouiya on the relationships between logical regulator graphs and Petri nets. There are ?ve contributions from BioConcur 2005. The ?rst contribution is by Eccherand Leccaon theautomatictranslationofSBML models to stochastic ?-calculus. The second paper is by Blinov, Yang, Faeder and Hlavacek on the use of graph theory to model biological networks. The third contribution, by JhaandShyamasundar,introducesbiochemicalKripkestructuresfordistributed model checking. The fourth paper is by Phillips, Cardelli and Castagna on a graphical notation for stochastic ?-calculus. The last paper is by Remy and Ruet on di?erentiation and homeostatic behaviour of boolean dynamic systems. The volume ends with a regular contribution by Margoninsky, Sa?rey, H- herington, Finkelstein and Warner that describes a speci?cation language and a framework for the execution of composite models.
Mathematical logic --- Complex analysis --- Biomathematics. Biometry. Biostatistics --- Computer science --- complexe analyse (wiskunde) --- bio-informatica --- informatica --- biometrie --- wiskunde --- logica
Choose an application
Computer science --- Programming --- Computer. Automation --- toegepaste informatica --- informatica --- computerbesturingssystemen --- programmeren (informatica) --- programmeertalen
Listing 11 - 13 of 13 | << page >> |
Sort by
|