Chapter: Runtime Verification in Erlang by Using Contracts

Click here to donate your five minutes and submit the table of contents of a book.

Search from the table of contents of 2.5 million books

Advanced Search (Beta)

Home > Functional and Constraint Logic Programming: 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers > Runtime Verification in Erlang by Using Contracts

Functional and Constraint Logic Programming: 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers |

Josep Silva

Springer International Publishing

Functional and Constraint Logic Programming: 26th International Workshop, WFLP 2018, Frankfurt/Main, Germany, September 6, 2018, Revised Selected Papers

Runtime Verification in Erlang by Using Contracts

Chapter Info

Authors

Lars-Åke Fredlund; Julio Mariño; Sergio Pérez; Salvador Tamarit

ARI Id

1665174263917_5160508

Access

Not Available Free

Pages

56-73

DOI

10.1007/978-3-030-16202-3_4

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-030-16202-3_4

Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Books

Book	Author(s)	Year	Publisher
Book	Author(s)	Year	Publisher

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Article Title	Authors	Journal	Vol Info	Language
No data available in table
Article Title	Authors	Journal	Vol Info	Language

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Heading	Article Title	Authors	Journal	Vol Info
No data available in table
Heading	Article Title	Authors	Journal	Vol Info

Showing 0 to 0 of 0 entries

Articles

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Table of Contents of Book

entries per page

Filter:

Showing 1 to 15 of 15 entries

Chapters/Headings	Author(s)	Pages	Info
Front Matter		i-vii
Front Matter		1-1
Transpiling Programming Computable Functions to Answer Set Programs	Ingmar Dasseville; Marc Denecker	3-17
Code Generation for Higher Inductive Types	Paventhan Vivekanandan	18-35
Front Matter		37-37
Measuring Coverage of Prolog Programs Using Mutation Testing	Alexandros Efremidis; Joshua Schmidt; Sebastian Krings; Philipp Körner	39-55
Runtime Verification in Erlang by Using Contracts	Lars-Åke Fredlund; Julio Mariño; Sergio Pérez; Salvador Tamarit	56-73
Enhancing POI Testing Through the Use of Additional Information	Sergio Pérez; Salvador Tamarit	74-90
Front Matter		91-91
Synthesizing Set Functions	Sergio Antoy; Michael Hanus; Finn Teegen	93-111
Towards a Constraint Solver for Proving Confluence with Invariant and Equivalence of Realistic CHR Programs	Henning Christiansen; Maja H. Kirkeby	112-130
Reference Type Logic Variables in Constraint-Logic Object-Oriented Programming	Jan C. Dageförde	131-144
FMS: Functional Programming as a Modelling Language	Ingmar Dasseville; Gerda Janssens	145-161
Functional Federated Learning in Erlang (ffl-erl)	Gregor Ulm; Emil Gustavsson; Mats Jirstrand	162-178
Back Matter		179-179
Chapters/Headings	Author(s)	Pages	Info

Showing 1 to 15 of 15 entries

Similar Books

entries per page

Filter:

Showing 0 to 0 of 0 entries

Book	Author(s)	Year	Publisher
No data available in table
Book	Author(s)	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Chapters

entries per page

Filter:

Showing 0 to 0 of 0 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
No data available in table
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 0 to 0 of 0 entries

Similar Thesis

entries per page

Filter:

Showing 0 to 0 of 0 entries

Title	Author	Supervisor	Degree	Institute
No data available in table
Title	Author	Supervisor	Degree	Institute

Showing 0 to 0 of 0 entries

Similar News

entries per page

Filter:

Showing 0 to 0 of 0 entries

Headline	Date	News Paper	Country
No data available in table
Headline	Date	News Paper	Country

Showing 0 to 0 of 0 entries