Implementing monads for C++ template metaprograms (English)
- New search for: Sinkovics, Ábel
- New search for: Porkoláb, Zoltán
- New search for: Sinkovics, Ábel
- New search for: Porkoláb, Zoltán
In:
Science of Computer Programming
;
78
, 9
;
1600-1621
;
2013
-
ISSN:
- Article (Journal) / Electronic Resource
-
Title:Implementing monads for C++ template metaprograms
-
Contributors:Sinkovics, Ábel ( author ) / Porkoláb, Zoltán ( author )
-
Published in:Science of Computer Programming ; 78, 9 ; 1600-1621
-
Publisher:
- New search for: Elsevier B.V.
-
Publication date:2013-01-07
-
Size:22 pages
-
ISSN:
-
DOI:
-
Type of media:Article (Journal)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents – Volume 78, Issue 9
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1207
-
EditorialBergstra, Jan et al. | 2013
- 1208
-
The essential similarity and differences between mathematical modeling and programmingBerry, Daniel M. et al. | 2010
- 1212
-
Invariant assertions, invariant relations, and invariant functionsMraihi, Olfa / Louhichi, Asma / Jilani, Lamia Labed / Desharnais, Jules / Mili, Ali et al. | 2012
- 1240
-
Abstract program slicing on dependence condition graphsHalder, Raju / Cortesi, Agostino et al. | 2012
- 1264
-
Predictive access control for distributed computationYang, Fan / Hankin, Chris / Nielson, Flemming / Nielson, Hanne Riis et al. | 2012
- 1278
-
A weakest precondition calculus for BUnityAştefănoaei, L. / de Boer, F.S. / Dastani, M. / Meyer, J.-J. Ch. et al. | 2012
- 1294
-
State-cover testing for nondeterministic terminating concurrent programs with an infinite number of synchronization sequencesLin, Che-Sheng / Hwang, Gwan-Hwan et al. | 2012
- 1324
-
Automatic equivalence proofs for non-deterministic coalgebrasBonsangue, Marcello / Caltais, Georgiana / Goriac, Eugen-Ioan / Lucanu, Dorel / Rutten, Jan / Silva, Alexandra et al. | 2012
- 1346
-
Incremental construction of systems: An efficient characterization of the lacking sub-systemSantone, Antonella / Vaglini, Gigliola / Villani, Maria Luisa et al. | 2012
- 1368
-
Recovering management information from source codeKwiatkowski, Ł.M. / Verhoef, C. et al. | 2012
- 1407
-
When intuition and logic clash: The case of the object-oriented paradigmHadar, Irit et al. | 2012
- 1427
-
Heap space analysis for garbage collected languagesAlbert, Elvira / Genaim, Samir / Gómez-Zamalloa, Miguel et al. | 2012
- 1449
-
Emulating C++0x conceptsSutton, Andrew / Maletic, Jonathan I. et al. | 2012
- 1470
-
Modeling mobile stateful channels in ZPoroor, Jayaraj / Jayaraman, Bharat et al. | 2012
- 1470
-
Modeling mobile stateful channels in pZPoroor, J. / Jayaraman, B. et al. | 2013
- 1490
-
Safe uniform proxies for JavaEugster, Patrick et al. | 2012
- 1521
-
Complete assertional proof rules for progress under weak and strong fairnessHesselink, Wim H. et al. | 2012
- 1538
-
Modular and flexible causality control on the WebLeger, Paul / Tanter, Éric / Douence, Rémi et al. | 2012
- 1559
-
ARV–ALA: Improving performance of software transactional memory through adaptive read and write policiesAtoofian, Ehsan / Baniasadi, Amirali / Coady, Yvonne et al. | 2012
- 1572
-
Measuring the significance of inconsistency in the Viewpoints frameworkMu, Kedian / Jin, Zhi / Liu, Weiru / Zowghi, Didar / Wei, Bo et al. | 2012
- 1600
-
Implementing monads for C++ template metaprogramsSinkovics, Ábel / Porkoláb, Zoltán et al. | 2013
- 1622
-
Mechanical verification of Lamport’s Bakery algorithmHesselink, Wim H. et al. | 2013
- 1639
-
Towards the practical mutation testing of AspectJ programsFerrari, Fabiano Cutigi / Rashid, Awais / Maldonado, José Carlos et al. | 2013
- 1663
-
Using heuristics to estimate an appropriate number of latent topics in source code analysisGrant, Scott / Cordy, James R. / Skillicorn, David B. et al. | 2013
- 1679
-
Verification of quantum programsYing, Mingsheng / Yu, Nengkun / Feng, Yuan / Duan, Runyao et al. | 2013
- 1701
-
Access-based abstract memory localization in static analysisOh, Hakjoo / Yi, Kwangkeun et al. | 2013
- 1728
-
Supporting change impact analysis for intelligent agent systemsDam, Hoa Khanh / Ghose, Aditya et al. | 2013