research-article

N queens problem: a metaprogramming stress test for the compiler

Author:

Denis V. DubrovAuthors Info & Claims

WGP '13: Proceedings of the 9th ACM SIGPLAN workshop on Generic programming

Pages 35 - 46

https://doi.org/10.1145/2502488.2502492

Published: 28 September 2013 Publication History

Get Access

Abstract

A metaprogram solving N queens problem is written using Boost MPL library. The solution is tested using different compilers to examine the level of their practical use for complex metaprogramming tasks. The corresponding benchmark results were obtained.

Supplementary Material

ZIP File (wgp05.zip)

The supplied material includes a full source code for the meta-queens program described in the paper. Along with a ReadMe file with all the information on Used software, tested compilers, Archive contents and Build options

Download
8.79 KB

References

[1]

D. Abrahams, and A. Gurtovoy. C++ Template Metaprogramming: Concepts, Tools, and Techniques from Boost and Beyond. Addison-Wesley Professional, 2004. 400 pp. ISBN-10: 0-321-22725-5.

Digital Library

Google Scholar

[2]

A gentle introduction to Template Metaprogramming with C++. URL: http://www.codeproject.com/Articles/3743/A-gentle-introduction-to-Template-Metaprogramming

Google Scholar

[3]

A. Alexandrescu. Modern C++ Design: Generic Programming and Design Patterns Applied. Addison-Wesley Professional, 2001. 352 pp. ISBN-10: 0-201-70431-5.

Digital Library

Google Scholar

[4]

But. . . but. . . It's still compiling! URL: http://debugfailure.wordpress.com/2009/12/16/but-but-its-still-compiling/

Google Scholar

[5]

Compute nth prime at compile time. URL: http://stackoverflow.com/questions/15289678/compute-nth-prime-at-compile-time

Google Scholar

[6]

Enumerate all the 8 queens placements on a chessboard such that they cannot attach each other (in Russian). URL: http://algolist.manual.ru/maths/combinat/queens.php

Google Scholar

[7]

Metaprogramming in C++ (in Russian). URL: http://habrahabr.ru/post/38622/

Google Scholar

[8]

Solve the eight queens problem at compile-time. URL: http://codegolf.stackexchange.com/questions/3184/solve-the-eight-queens-problem-at-compile-time

Google Scholar

[9]

S. Tambe. Faster meta-programs using gcc 4.5 and C++0x. 2010. URL: http://cpptruths.blogspot.ru/2010/03/faster-meta-programs-using-gcc-45-and.html

Google Scholar

[10]

The Boost MPL Library. URL: http://www.boost.org/doc/libs/1_53_0/libs/mpl/doc/index.html

Google Scholar

[11]

E. Unruh. Prime number computation. ANSI X3J16-94-0075/ISOWG21-462. 1994.

Google Scholar

[12]

J. Walker. Template Metaprogramming. Overload Journal, 46, 2001. URL: http://accu.org/index.php/journals/424

Google Scholar

Cited By

View all

Teodorescu LDumitrel VPotolea RTrancoso PFranklin DMcKee S(2014)Moving computations from run-time to compile-timeProceedings of the 11th ACM Conference on Computing Frontiers10.1145/2597917.2597933(1-10)Online publication date: 20-May-2014
https://dl.acm.org/doi/10.1145/2597917.2597933

Recommendations

GrayC: Greybox Fuzzing of Compilers and Analysers for C
ISSTA 2023: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis

Fuzzing of compilers and code analysers has led to a large number of bugs being found and fixed in widely-used frameworks such as LLVM, GCC and Frama-C. Most such fuzzing techniques have taken a blackbox approach, with compilers and code analysers ...
Immutables in C++: Language Foundation for Functional Programming
Central European Functional Programming School
Abstract
The C++ programming language is a multiparadigm language, with a rich set of procedural, object-oriented, generative and, since C++11, functional language elements. The language is also well-known for its capability to map certain semantic ...
Retargetable cross compilation techniques: comparison and analysis of GCC and Zephyr

Both GCC and Zephyr are representative complier infrastructures. The paper explores the basic questions that need to be resolved to develop compilers for the support of multiple source languages and targets analyses and compares their architectures and ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

WGP '13: Proceedings of the 9th ACM SIGPLAN workshop on Generic programming

September 2013

92 pages

ISBN:9781450323895

DOI:10.1145/2502488

Program Chairs:
Jacques Carette
McMaster University, Canada
,
Jeremiah Willcock
Indiana University, USA

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 28 September 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

ICFP'13

Sponsor:

SIGPLAN

ICFP'13: ACM SIGPLAN International Conference on Functional Programming

September 28, 2013

Massachusetts, Boston, USA

Acceptance Rates

WGP '13 Paper Acceptance Rate 8 of 14 submissions, 57%;

Overall Acceptance Rate 30 of 43 submissions, 70%

Upcoming Conference

ICFP '25

Sponsor:
sigplan

ACM SIGPLAN International Conference on Functional Programming

October 12 - 18, 2025

Singapore , Singapore

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

1
Total Citations
View Citations
133
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)1

Reflects downloads up to 21 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Teodorescu LDumitrel VPotolea RTrancoso PFranklin DMcKee S(2014)Moving computations from run-time to compile-timeProceedings of the 11th ACM Conference on Computing Frontiers10.1145/2597917.2597933(1-10)Online publication date: 20-May-2014
https://dl.acm.org/doi/10.1145/2597917.2597933

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

GrayC: Greybox Fuzzing of Compilers and Analysers for C

Immutables in C++: Language Foundation for Functional Programming

Retargetable cross compilation techniques: comparison and analysis of GCC and Zephyr