Normal view MARC view ISBD view

Automatic synthesis of synchronisation primitives for concurrent programs

By: Tarrach, Thorsten.
Material type: materialTypeLabelBookPublisher: IST Austria 2016
Contents:
Abstract
Acknowledgments
About the Author
Record of Publications
Table of Contents
List of Tables
List of Figures
List of Abbreviations
1 Introduction
2 Formal framework and problem statement
3 Synthesis for an explicit specification
4 Regression-free synthesis
5 Synthesis of locks and other synchronisation primitives
6 Synthesis using an implicit specification
7 Conclusion
Bibliography
List of Publications
List(s) this item appears in: IST Austria Thesis 2018
Tags from this library: No tags from this library for this title. Log in to add tags.
    average rating: 0.0 (0 votes)
Item type Current location Call number Status Date due Barcode Item holds
Book Book Library
Available AT-ISTA#001350
Total holds: 0

Thesis

Abstract

Acknowledgments

About the Author

Record of Publications

Table of Contents

List of Tables

List of Figures

List of Abbreviations

1 Introduction

2 Formal framework and problem statement

3 Synthesis for an explicit specification

4 Regression-free synthesis

5 Synthesis of locks and other synchronisation primitives

6 Synthesis using an implicit specification

7 Conclusion

Bibliography

List of Publications

There are no comments for this item.

Log in to your account to post a comment.

Powered by Koha

//