Horn-ICE Learning for Synthesizing Invariants and Contracts

Ezudheen, P.; Neider, Daniel; D'Souza, Deepak; Garg, Pranav; Madhusudan, P.

doi:10.1145/3276501

Local TagsRelease HistoryDetailsSummary

Horn-ICE Learning for Synthesizing Invariants and Contracts

Ezudheen, P., Neider, D., D'Souza, D., Garg, P., & Madhusudan, P. (2018). Horn-ICE Learning for Synthesizing Invariants and Contracts. Proceedings of the ACM on Programming Languages, 2(OOPSLA): 131, pp. 1-25. doi:10.1145/3276501.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/21.11116/0000-0003-3071-7 Version Permalink: https://hdl.handle.net/21.11116/0000-0003-3072-6

Genre: Journal Article

Latex : Horn-{ICE} Learning for Synthesizing Invariants and Contracts

Files

show Files

Locators

show

Creators

show

hide

Creators:
Ezudheen, P.¹, Author
Neider, Daniel², Author
D'Souza, Deepak¹, Author
Garg, Pranav¹, Author
Madhusudan, P.¹, Author

Affiliations:
1External Organizations, ou_persistent22
2Group R. Majumdar, Max Planck Institute for Software Systems, Max Planck Society, ou_2105292

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2018Date issued: 2018

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: DOI: 10.1145/3276501
BibTex Citekey: Ezudheen_OOPSLA2018

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Proceedings of the ACM on Programming Languages

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: New York, NY : ACM

Pages: - Volume / Issue: 2 (OOPSLA) Sequence Number: 131 Start / End Page: 1 - 25 Identifier: ISSN: 2475-1421