default search action
Science of Computer Programming, Volume 92
Volume 92, Part A, October 2014
- Marieke Huisman
:
SCP special issue on Bytecode 2012 - Preface. 1 - Elvira Albert, Puri Arenas, Samir Genaim
Conditional termination of loops over heap-allocated data. 2-24 - Erik Ramsgaard Wognsen, Henrik Søndberg Karlsen, Mads Chr. Olesen
Formalisation and analysis of Dalvik bytecode. 25-55 - Víctor A. Braberman, Diego Garbervetsky
Summary-based inference of quantitative bounds of live heap objects. 56-84
Volume 92, Part B, October 2014
- Adenilso da Silva Simão
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011). 85 - Christiano Braga, Cassio Santos, Viviane Torres da Silva:
Consistency of model transformation contracts. 86-104 - Diego Machado Dias, Juliano Iyoda:
Compositionality and correctness of fault tolerant patterns in HOL4. 105-128 - Yannick Welsch, Arnd Poetzsch-Heffter:
A fully abstract trace-based semantics for reasoning about backward compatibility of class libraries. 129-161 - Fabian Büttner, Martin Gogolla:
On OCL-based imperative languages. 162-178 - Viorel Preoteasa:
Refinement algebra with dual operator. 179-210 - Camilo Rocha
Synchronous set relations in rewriting logic. 211-228
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 2024-10-31 20:04 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: