Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarElectronic Notes in Theoretical Computer Science, Volume 238
Volume 238, Number 1, June 2009
- Alain Girault, Éric Rutten:
Preface. 1-2 - Gwenaël Delaval:
Modular Distribution and Application to Discrete Controller Synthesis. 3-19 - Louis Mandel, Florence Plateau:
Interactive Programming of Reactive Systems. 21-36 - Simon Yuan, Sidharta Andalam, Li Hsien Yoong, Partha S. Roop, Zoran A. Salcic
:
STARPro - A new multithreaded direct execution platform for Esterel. 37-55 - Bijoy Antony Jose, Hiren D. Patel, Sandeep K. Shukla, Jean-Pierre Talpin:
Generating Multi-Threaded code from Polychronous Specifications. 57-69
Volume 238, Number 2, June 2009
- Zoltán Porkoláb, Norbert Pataki:
Preface. 1 - Mihály Biczó, Krisztián Pócza:
Generating Functional Implementations of Finite State Automata in C# 3.0. 3-12 - Ed Harcourt:
Policies of System Level Pipeline Modeling. 13-23 - Ruben Heradio, José Antonio Cerrada, J. C. López Ruiz, J. R. Coz:
Code Generation with the Exemplar Flexibilization Language. 25-34 - Christine Hundt, Sabine Glesner:
Optimizing Aspectual Execution Mechanisms for Embedded Applications. 35-45 - Ádám Sipos, Viktória Zsók:
EClean - An Embedded Functional Language. 47-58 - Sjaak Smetsers, Arjen van Weelden, Rinus Plasmeijer:
Efficient and Type-Safe Generic Data Storage. 59-70 - Zalán Szügyi, Ádám Sipos, Zoltán Porkoláb:
Towards the Modularization of C++ Concept Maps. 71-82
Volume 238, Number 3, June 2009
- Grigore Rosu:
Proceedings of the Seventh International Workshop on Rewriting Logic and its Applications, WRLA 2008, Budapest, Hungary, March 29-30, 2008. Electronic Notes in Theoretical Computer Science 238(3), Elsevier 2009 [contents]
Volume 238, Number 4, September 2009
- Michaela Huhn, Hardi Hungar:
Preface. 1-2 - Constance L. Heitmeyer:
On the Role of Formal Methods in Software Certification: An Experience Report. 3-9 - John Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden:
A Software Certification Consortium and its Top 9 Hurdles. 11-17 - Nurlida Basir, Ewen Denney, Bernd Fischer:
Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code. 19-26 - Ibrahim Habli, Tim Kelly:
A Generic Goal-Based Certification Argument for the Justification of Formal Analysis. 27-39 - Manuel Garnacho, Michaël Périn:
Convincing Proofs for Program Certification. 41-56 - Udo Frese, Daniel Hausmann, Christoph Lüth, Holger Täubig, Dennis Walter:
The Importance of Being Formal. 57-70 - Peter Braun, Jan Philipps, Bernhard Schätz, Stefan Wagner:
Model-Based Safety-Cases for Software-Intensive Systems. 71-77 - László Gönczy, István Majzik, Ákos Horváth, Dániel Varró, András Balogh, Zoltán Micskei, András Pataricza:
Tool Support for Engineering Certifiable Software. 79-85
Volume 238, Number 5, October 2009
- Adrian Johnstone, Jurgen J. Vinju:
Preface. 1-2 - Tristan Oliver Richard Allwood, Susan Eisenbach:
Tickling Java with a Feather. 3-16 - Anya Helene Bagge, Magne Haveraaen:
Axiom-Based Transformations: Optimisation and Testing. 17-33 - Hendrikus J. S. Basten:
The Usability of Ambiguity Detection Methods for Context-Free Grammars. 35-46 - Michel Chilowicz, Étienne Duris, Gilles Roussel:
Finding Similarities in Source Code Through Factorization. 47-62 - Merijn de Jonge:
Developing Product Lines with Third-Party Components. 63-80 - Eelco Dolstra:
Maximal Laziness: An Efficient Interpretation Technique for Purely Functional DSLs. 81-99 - Akim Demaille, Renaud Durlin, Nicolas Pierron, Benoît Sigoure:
Semantics Driven Disambiguation: A Comparison of Different Approaches. 101-116 - Jeroen Fokker, S. Doaitse Swierstra:
Abstract Interpretation of Functional Programs using an Attribute Grammar System. 117-133 - Ralf Lämmel, Simon J. Thompson, Markus Kaiser:
Programming Errors in Traversal Programs Over Structured Data. 135-153 - Emma Nilsson-Nyman, Görel Hedin, Eva Magnusson, Torbjörn Ekman:
Declarative Intraprocedural Flow Analysis of Java Source Code. 155-171
Volume 238, Number 6, June 2010
- Ralf H. Reussner, Iman Poernomo, Juliana Küster Filipe Bowles:
Preface. 1-2 - Samir Chouali, Hassan Mountassir, Sebti Mouelhi:
An I/O Automata-based Approach to Verify Component Compatibility: Application to the CyCab Car. 3-13 - Peter Collingbourne, Paul H. J. Kelly:
Inference of Session Types From Control Flow. 15-40 - Dimitar P. Guelev, Dang Van Hung:
Reasoning about QoS Contracts in the Probabilistic Duration Calculus. 41-62 - Sotiris Moschoyiannis, Amir Reza Razavi, Paul J. Krause:
Transaction Scripts: Making Implicit Scenarios Explicit. 63-79 - Tolga Ovatman, Aske Wiid Brekling, Michael R. Hansen:
Cost Analysis for Embedded Systems: Experiments with Priced Timed Automata. 81-95
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2020-07-11 00:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
