Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers > Information Flow in Object-Oriented Software
Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers |
Gopal Gupta; Ricardo Peña
Springer International Publishing
Logic-Based Program Synthesis and Transformation: 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
Information Flow in Object-Oriented Software
Authors

Bernhard Beckert; Daniel Bruns; Vladimir Klebanov; Christoph Scheben; Peter H. Schmitt; Mattias Ulbrich

ARI Id

1664821485383_3656832

Access

Not Available Free

Pages

19-37

DOI

10.1007/978-3-319-14125-1_2

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-319-14125-1_2

Table of Contents of Book
Showing 1 to 15 of 15 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
I-XII
Formalization and Execution of Linear Algebra: From Theorems to Algorithms
Jesús Aransay; Jose Divasón
1-18
Information Flow in Object-Oriented Software
Bernhard Beckert; Daniel Bruns; Vladimir Klebanov; Christoph Scheben; Peter H. Schmitt; Mattias Ulbrich
19-37
A Transformational Approach to Resource Analysis with Typed-Norms
Elvira Albert; Samir Genaim; Raúl Gutiérrez
38-53
A Finite Representation of the Narrowing Space
Naoki Nishida; Germán Vidal
54-71
Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models
Umer Liqat; Steve Kerrison; Alejandro Serrano; Kyriakos Georgiou; Pedro Lopez-Garcia; Neville Grech et al.
72-90
From Outermost Reduction Semantics to Abstract Machine
Olivier Danvy; Jacob Johannsen
91-108
Towards Erlang Verification by Term Rewriting
Germán Vidal
109-126
Extending Co-logic Programs for Branching-Time Model Checking
Hirohisa Seki
127-144
Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational Semantics
Ghada Fakhry; Nada Sharaf; Slim Abdennadher
145-163
A Logical Encoding of Timed \(\pi \) -Calculus
Neda Saeedloei
164-182
A New Hybrid Debugging Architecture for Eclipse
Juan González; David Insa; Josep Silva
183-201
Compiling a Functional Logic Language: The Fair Scheme
Sergio Antoy; Andy Jost
202-219
Generating Specialized Interpreters for Modular Structural Operational Semantics
Casper Bach Poulsen; Peter D. Mosses
220-236
Back Matter
237-237
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 15 of 15 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings