Applying Sorting Networks to Synthesize Optimized Sorting Libraries

Codish M, Cruz-Filipe L, Nebel M, Schneider-Kamp P (2015)
In: Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Falaschi M (Ed); Lecture Notes in Computer Science, 9527. Berlin ; Heidelberg: Springer: 127-142.

Download
No fulltext has been uploaded. References only!
Conference Paper | Published | English

No fulltext has been uploaded

Author
; ; ;
Editor
Falaschi, Moreno
Publishing Year
Conference
25th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2015, held in y, in July 2015
Location
Siena, Italy
Conference Date
2015-07-13 – 2015-07-15
PUB-ID

Cite this

Codish M, Cruz-Filipe L, Nebel M, Schneider-Kamp P. Applying Sorting Networks to Synthesize Optimized Sorting Libraries. In: Falaschi M, ed. Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Lecture Notes in Computer Science. Vol 9527. Berlin ; Heidelberg: Springer; 2015: 127-142.
Codish, M., Cruz-Filipe, L., Nebel, M., & Schneider-Kamp, P. (2015). Applying Sorting Networks to Synthesize Optimized Sorting Libraries. In M. Falaschi (Ed.), Lecture Notes in Computer Science: Vol. 9527. Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers (pp. 127-142). Berlin ; Heidelberg: Springer. doi:10.1007/978-3-319-27436-2_8
Codish, M., Cruz-Filipe, L., Nebel, M., and Schneider-Kamp, P. (2015). “Applying Sorting Networks to Synthesize Optimized Sorting Libraries” in Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers, Falaschi, M. ed. Lecture Notes in Computer Science, vol. 9527, (Berlin ; Heidelberg: Springer), 127-142.
Codish, M., et al., 2015. Applying Sorting Networks to Synthesize Optimized Sorting Libraries. In M. Falaschi, ed. Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Lecture Notes in Computer Science. no.9527 Berlin ; Heidelberg: Springer, pp. 127-142.
M. Codish, et al., “Applying Sorting Networks to Synthesize Optimized Sorting Libraries”, Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers, M. Falaschi, ed., Lecture Notes in Computer Science, vol. 9527, Berlin ; Heidelberg: Springer, 2015, pp.127-142.
Codish, M., Cruz-Filipe, L., Nebel, M., Schneider-Kamp, P.: Applying Sorting Networks to Synthesize Optimized Sorting Libraries. In: Falaschi, M. (ed.) Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Lecture Notes in Computer Science. 9527, p. 127-142. Springer, Berlin ; Heidelberg (2015).
Codish, Michael, Cruz-Filipe, Luis, Nebel, Markus, and Schneider-Kamp, Peter. “Applying Sorting Networks to Synthesize Optimized Sorting Libraries”. Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Ed. Moreno Falaschi. Berlin ; Heidelberg: Springer, 2015.Vol. 9527. Lecture Notes in Computer Science. 127-142.
This data publication is cited in the following publications:
This publication cites the following data publications:

Export

0 Marked Publications

Open Data PUB

Sources

arXiv 1505.01962

Search this title in

Google Scholar
ISBN Search