Abstract Object Creation in Dynamic Logic

Object Creation in Dynamic Logic to be or not to be created Wolfgang Ahrendt1 Frank S. de Boer2 Immo Grabe3 1Chalmers University, G¨oteborg, Sweden 2CWI, Amsterdam, The Netherlands 3Christian-Albrechts-University Kiel, Germany KeY Symposium Speyer, 2009 Ahrendt, Frank S. de Boer, Immo Grabe Abstract Object Creation in Dynamic Logic 

• Type: Conference
• Year: 2009
• Where: FM
• Authors: Wolfgang Ahrendt, Frank S. de Boer, Immo Grabe
• Keywords: Dynamic Logic, FM 2009, Immo Grabe3 1Chalmers, Natural Language Processing, Object Creation