Record: found
Abstract: not found
Book Chapter: not found

Refinement Type Inference via Horn Constraint Optimization

other

Author(s): Kodai Hashimoto , Hiroshi Unno

Publication date (Online): September 2 2015

Publisher: Springer Berlin Heidelberg

Read this book at

Publisher

Buy book

Bookmark

There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 19

Record: found
Abstract: not found
Book Chapter: not found

Linear Invariant Generation Using Non-linear Constraint Solving

Michael Colón, Sriram Sankaranarayanan, Henny B. Sipma (2003)

0 comments Cited 58 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Conference Proceedings: not found

Dependent types in practical programming

Frank Pfenning, Hongwei Xi (1999)

0 comments Cited 40 times – based on 0 reviews

Bookmark

Record: found
Abstract: not found
Conference Proceedings: not found

Program analysis as constraint solving

Ramarathnam Venkatesan, Saurabh Srivastava, Sumit Gulwani (2008)

0 comments Cited 25 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2015

Publication date (Online): September 2 2015

Pages: 199-216

DOI: 10.1007/978-3-662-48288-9_12

SO-VID: b5cd1093-0afa-49aa-8208-747e2258f92e

History

Data availability:

Refinement Type Inference via Horn Constraint Optimization

Read this book at

Related collections

BMJ Open Science

Most cited references 19

Linear Invariant Generation Using Non-linear Constraint Solving

Dependent types in practical programming

Program analysis as constraint solving

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,384

Cited by 7