Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > ESOP ' 88: 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings > A semantics driven temporal verification system
ESOP ' 88: 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings |
Harald Ganzinger
Springer Berlin Heidelberg
ESOP ' 88: 2nd European Symposium on Programming. Nancy, France, March 21-24, 1988. Proceedings
A semantics driven temporal verification system
Authors

G. D. Gough; H. Barringer

ARI Id

1664569995197_2244194

Access

Not Available Free

Pages

21-33

DOI

10.1007/3-540-19027-9_2

Chapter URL

https://rd.springer.com/chapter/10.1007/3-540-19027-9_2

Table of Contents of Book
Showing 1 to 20 of 30 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Semantics-based program integration
Thomas Reps; Susan Horwitz
1-20
A semantics driven temporal verification system
G. D. Gough; H. Barringer
21-33
Algebraic formalisation of program development by transformation
Bernd Krieg-Brückner
34-48
QPC: QJ-based proof compiler -simple examples and analysis-
Yukihide Takayama
49-63
Implementation of modular algebraic specifications
N. W. P. van Diepen
64-78
A polymorphic type system with subtypes for Prolog
Roland Dietrich; Frank Hagl
79-93
Type inference with subtypes
You-Chin Fuh; Prateek Mishra
94-114
A theory of software reusability
M. C. Gaudel; Th. Moineau
115-130
Parametric overloading in polymorphic programming languages
Stefan Kaes
131-144
Programming with proofs: A second order type theory
Michel Parigot
145-159
An exception handling construct for functional languages
Manfred Bretz; Jürgen Ebert
160-174
A functional language for the specification of complex tree transformations
Reinhold Heckmann
175-190
Garp: Graph abstractions for concurrent programming
Simon M. Kaplan; Gail E. Kaiser
191-205
Extending functional programming towards relations
Remi Legrand
206-220
Perfect pipelining: A new loop parallelization technique
Alexander Aiken; Alexandru Nicolau
221-235
New insights into partial evaluation: the SCHISM experiment
Charles CONSEL
236-246
Code selection techniques: Pattern matching, tree parsing, and inversion of derivors
Robert Giegerich; Karl Schmal
247-268
Adding relational query facilities to software development environments
Susan Horwitz
269-283
Compilation of logic programs for restricted and-parallelism
Dean Jacobs; Anno Langen
284-297
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 30 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings