Complete Completion Using Types and Weights

Gvero, Tihomir; Kuncak, Viktor; Kuraj, Ivan; Piskac, Ruzica

doi:10.1145/2491956.2462192

Local TagsRelease HistoryDetailsSummary

Complete Completion Using Types and Weights

Gvero, T., Kuncak, V., Kuraj, I., & Piskac, R. (2013). Complete Completion Using Types and Weights. In PLDI'13 (pp. 27-38). New York, NY: ACM.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0027-F81F-0 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0027-F820-A

Genre: Conference Paper

Files

show Files

Locators

show

Creators

show

hide

Creators:
Gvero, Tihomir¹, Author
Kuncak, Viktor¹, Author
Kuraj, Ivan¹, Author
Piskac, Ruzica², Author

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

Content

show

Details

show

hide

Language(s): eng - English

Dates: Date issued: 2013

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: Internal

Identifiers: eDoc: 692220
DOI: 10.1145/2491956.2462192

Degree: -

Event

show

hide

Title: ACM SIGPLAN Conference on Programming Language Design and Implementation

Place of Event: Seattle, WA, USA

Start-/End Date: 2013-06-16 - 2013-06-19

Legal Case

show

Project information

show

Source 1

show

hide

Title: PLDI'13

Subtitle : Proceedings of the 2013 ACM SIGPLAN Conference on Programming Language Design and Implementation

Abbreviation : PLDI 2013

Source Genre: Proceedings

Creator(s):

Affiliations:

Publ. Info: New York, NY : ACM

Pages: - Volume / Issue: - Sequence Number: - Start / End Page: 27 - 38 Identifier: ISBN: 978-1-4503-2014-6