Complete completion using types and weights
- Gvero, Tihomir Ecole Polytechnique Federale de Lausanne (EPFL), Lausanne, Switzerland
- Kuncak, Viktor Ecole Polytechnique Federale de Lausanne (EPFL), Lausanne, Switzerland
- Kuraj, Ivan Ecole Polytechnique Federale de Lausanne (EPFL), Lausanne, Switzerland
- Piskac, Ruzica Max Planck Institute for Software Systems (MPI-SWS), Saarbrucken, Germany
Published in:
- ACM SIGPLAN Notices. - Association for Computing Machinery (ACM). - 2013, vol. 48, no. 6, p. 27-38
- Language
-
- English
- Open access status
- green
- Identifiers
-
- DOI 10.1145/2499370.2462192
- ISSN 0362-1340
- Persistent URL
- https://sonar.ch/global/documents/48636
Statistics
Document views: 48
File downloads:
- Full-text: 0