Implementing monads for C++ template metaprograms (Englisch)
- Neue Suche nach: Sinkovics, Ábel
- Neue Suche nach: Porkoláb, Zoltán
- Neue Suche nach: Sinkovics, Ábel
- Neue Suche nach: Porkoláb, Zoltán
In:
Science of Computer Programming
;
78
, 9
;
1600-1621
;
2013
-
ISSN:
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:Implementing monads for C++ template metaprograms
-
Beteiligte:Sinkovics, Ábel ( Autor:in ) / Porkoláb, Zoltán ( Autor:in )
-
Erschienen in:Science of Computer Programming ; 78, 9 ; 1600-1621
-
Verlag:
- Neue Suche nach: Elsevier B.V.
-
Erscheinungsdatum:07.01.2013
-
Format / Umfang:22 pages
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis – Band 78, Ausgabe 9
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 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