Alias calculus, change calculus and frame inference (English)
- New search for: Kogtenkov, A.
- New search for: Meyer, B.
- New search for: Velder, S.
- New search for: Kogtenkov, A.
- New search for: Meyer, B.
- New search for: Velder, S.
In:
SCIENCE OF COMPUTER PROGRAMMING
;
97
;
163-172
;
2015
-
ISSN:
- Article (Journal) / Print
-
Title:Alias calculus, change calculus and frame inference
-
Contributors:
-
Published in:SCIENCE OF COMPUTER PROGRAMMING ; 97 ; 163-172
-
Publisher:
- New search for: Elsevier Science B.V., Amsterdam.
-
Publication date:2015-01-01
-
Size:10 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 005
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 005 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 97
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
PrefaceVinju, Jurgen J. et al. | 2014
- 1
-
Preface (Special Issue on New Ideas and Emerging Results in Understanding Software)Vinju, JJ Jurgen et al. | 2015
- 2
-
Semantics of programming languages: Using Asf+SdfMosses, Peter D. et al. | 2013
- 11
-
Understanding software through linguistic abstractionVisser, Eelco et al. | 2013
- 17
-
The role of supervisory controller synthesis in automatic control software developmentBaeten, Jos / Markovski, Jasen et al. | 2013
- 23
-
Constraint design rewritingBruni, Roberto / Lluch Lafuente, Alberto / Montanari, Ugo et al. | 2013
- 31
-
Extending a model-driven cross-platform development approach for business appsHeitkötter, Henning / Kuchen, Herbert / Majchrzak, Tim A. et al. | 2013
- 37
-
Language-based software engineeringGupta, Gopal et al. | 2014
- 41
-
Developing correct, distributed, adaptive softwareDalla Preda, Mila / Gabbrielli, Maurizio / Giallorenzo, Saverio / Lanese, Ivan / Mauro, Jacopo et al. | 2013
- 47
-
Syntactic-semantic incrementality for agile verificationBianculli, Domenico / Filieri, Antonio / Ghezzi, Carlo / Mandrioli, Dino et al. | 2013
- 55
-
Experience with correctness-by-constructionWatson, B.W. / Kourie, D.G. / Cleophas, L. et al. | 2013
- 59
-
Parse views with Boolean grammarsStevenson, Andrew / Cordy, James R. et al. | 2013
- 64
-
Principled software microengineeringJohnstone, Adrian / Scott, Elizabeth et al. | 2013
- 69
-
Understanding information update in questionnairesvan Eijck, Jan / van der Storm, Tijs et al. | 2013
- 75
-
Software engineering: Redundancy is keyvan den Brand, Mark / Groote, Jan Friso et al. | 2013
- 82
-
Generative software complexity and software understandingHeering, Jan et al. | 2013
- 86
-
Understanding software artifact provenanceGodfrey, Michael W. et al. | 2013
- 91
-
Infeasible paths in object-oriented programsTip, Frank et al. | 2013
- 98
-
Software chrestomathiesLämmel, Ralf et al. | 2013
- 105
-
Towards evidence-based recommendations to guide the evolution of component-based product familiesMoonen, Leon et al. | 2013
- 113
-
Understanding database schema evolution: A case studyCleve, Anthony / Gobert, Maxime / Meurice, Loup / Maes, Jerome / Weber, Jens et al. | 2013
- 122
-
Understanding probabilistic software leaksSnelting, Gregor et al. | 2013
- 127
-
Source-code queries with graph databases—with application to programming language usage and evolutionUrma, Raoul-Gabriel / Mycroft, Alan et al. | 2013
- 135
-
Towards base rates in software analytics:Early results and challenges from studying OhlohBruntink, M. et al. | 2015
- 135
-
Towards base rates in software analyticsBruntink, Magiel et al. | 2013
- 143
-
Towards multilingual programming environmentsvan der Storm, Tijs / Vinju, Jurgen J. et al. | 2013
- 150
-
Parsing for agile modelingNierstrasz, Oscar / Kurš, Jan et al. | 2013
- 157
-
Verifying pointer programs using graph grammarsHeinen, Jonathan / Jansen, Christina / Katoen, Joost-Pieter / Noll, Thomas et al. | 2013
- 163
-
Alias calculus, change calculus and frame inferenceKogtenkov, Alexander / Meyer, Bertrand / Velder, Sergey et al. | 2013
- 173
-
Crawl-based analysis of web applications: Prospects and challengesvan Deursen, Arie / Mesbah, Ali / Nederlof, Alex et al. | 2014
- 181
-
Special issue on Service-Oriented Architecture and Programming (SOAP 2013)Lanese, Ivan / Mazzara, Manuel / Montesi, Fabrizio et al. | 2014
- 183
-
Service composition with consideration of interdependent security objectivesKaratas, Fatih / Fischer, Lars / Kesdogan, Dogan et al. | 2014
- 202
-
Rule-based peer-to-peer framework for decentralised real-time service oriented architecturesCameron, Alexander / Stumptner, Markus / Nandagopal, Nanda / Mayer, Wolfgang / Mansell, Todd et al. | 2014
- 235
-
Disciplined structured communications with disciplined runtime adaptationDi Giusto, Cinzia / Pérez, Jorge A. et al. | 2014
- 266
-
Improving data-intensive EDA performance with annotation-driven lazinessZagarese, Quirino / Canfora, Gerardo / Zimeo, Eugenio / Alshabani, Iyad / Pellegrino, Laurent / Alshabani, Amjad / Baude, Françoise et al. | 2014
- 281
-
Preface to the special section on Object-Oriented Programming and Systems (OOPS 2010)Ancona, Davide et al. | 2014
- 282
-
Implementing type-safe software product lines using parametric traitsBettini, Lorenzo / Damiani, Ferruccio / Schaefer, Ina et al. | 2013
- 309
-
Scheduling intense applications most ‘surprising’ firstRooney, Sean et al. | 2013
- 320
-
Axioms as generic rewrite rules in C++ with conceptsTang, Xiaolong / Järvi, Jaakko et al. | 2014
- 331
-
Modeling and analysis of compositional software (papers from EUROMICRO SEAA'12)Cortellessa, Vittorio / Muccini, Henry et al. | 2014
- 333
-
Contracts-refinement proof system for component-based embedded systemsCimatti, Alessandro / Tonetta, Stefano et al. | 2014
- 349
-
Repository and meta-data design for efficient component consistency verificationBrada, Premek / Jezek, Kamil et al. | 2014
- 366
-
New degrees of freedom in metaheuristic optimization of component-based systems architecture: Architecture topology and load balancingEtemaadi, Ramin / Chaudron, Michel R.V. et al. | 2014
- 381
-
Special issue: Selected papers from the 12th International Conference on Quality Software (QSIC 2012)Muccini, Henry / Tang, Antony et al. | 2014
- 383
-
Model-based mutation testing via symbolic refinement checkingAichernig, Bernhard K. / Jöbstl, Elisabeth / Tiran, Stefan et al. | 2014
- 405
-
Automatic generation of valid and invalid test data for string validation routines using web searches and regular expressionsShahbaz, Muzammil / McMinn, Phil / Stevenson, Mark et al. | 2014
- 426
-
Reliability prediction for component-based software systems: Dealing with concurrent and propagating errorsPham, Thanh-Trung / Défago, Xavier / Huynh, Quyet-Thang et al. | 2014
- IFC
-
Editorial Board| 2014