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. 127--142.

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

No fulltext has been uploaded

Author
; ; ;
Publishing Year
PUB-ID

Cite this

Codish M, Cruz-Filipe L, Nebel M, Schneider-Kamp P. 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. 2015: 127--142.
Codish, M., Cruz-Filipe, L., Nebel, M., & Schneider-Kamp, P. (2015). 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, 127--142. 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 127--142.
Codish, M., et al., 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. 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, 2015, pp.127--142.
Codish, M., Cruz-Filipe, L., Nebel, M., Schneider-Kamp, P.: 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. p. 127--142. (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. 2015. 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

Search this title in

Google Scholar