Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(Metaprogramming). Showing records 1 – 30 of 32 total matches.

[1] [2]

Search Limiters

Last 2 Years | English Only

▼ Search Limiters


Universiteit Utrecht

1. Walt, P.D. van der. Reflection in Agda.

Degree: 2012, Universiteit Utrecht

 This project explores the recent addition to Agda enabling reflection, in the style of Lisp, MetaML, and Template Haskell. It illustrates several possible applications of… (more)

Subjects/Keywords: reflection; Agda; dependently typed programming; metaprogramming; proof by reflection

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Walt, P. D. v. d. (2012). Reflection in Agda. (Masters Thesis). Universiteit Utrecht. Retrieved from http://dspace.library.uu.nl:8080/handle/1874/256628

Chicago Manual of Style (16th Edition):

Walt, P D van der. “Reflection in Agda.” 2012. Masters Thesis, Universiteit Utrecht. Accessed January 27, 2021. http://dspace.library.uu.nl:8080/handle/1874/256628.

MLA Handbook (7th Edition):

Walt, P D van der. “Reflection in Agda.” 2012. Web. 27 Jan 2021.

Vancouver:

Walt PDvd. Reflection in Agda. [Internet] [Masters thesis]. Universiteit Utrecht; 2012. [cited 2021 Jan 27]. Available from: http://dspace.library.uu.nl:8080/handle/1874/256628.

Council of Science Editors:

Walt PDvd. Reflection in Agda. [Masters Thesis]. Universiteit Utrecht; 2012. Available from: http://dspace.library.uu.nl:8080/handle/1874/256628


Universiteit Utrecht

2. Tempel, K.P. van der. How to Go Out of Your Mind and Come Back Again: Joseph Campbell, Robert Anton Wilson and the Art and Science of Conscious Evolution.

Degree: 2009, Universiteit Utrecht

 This paper studies some of the main aspects of the so­-called twentieth century counterculture, as displayed in the work of two of its most influential… (more)

Subjects/Keywords: Letteren; Consciousness, higher consciousness, reality tunnel, counterculture, metaprogramming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Tempel, K. P. v. d. (2009). How to Go Out of Your Mind and Come Back Again: Joseph Campbell, Robert Anton Wilson and the Art and Science of Conscious Evolution. (Masters Thesis). Universiteit Utrecht. Retrieved from http://dspace.library.uu.nl:8080/handle/1874/41168

Chicago Manual of Style (16th Edition):

Tempel, K P van der. “How to Go Out of Your Mind and Come Back Again: Joseph Campbell, Robert Anton Wilson and the Art and Science of Conscious Evolution.” 2009. Masters Thesis, Universiteit Utrecht. Accessed January 27, 2021. http://dspace.library.uu.nl:8080/handle/1874/41168.

MLA Handbook (7th Edition):

Tempel, K P van der. “How to Go Out of Your Mind and Come Back Again: Joseph Campbell, Robert Anton Wilson and the Art and Science of Conscious Evolution.” 2009. Web. 27 Jan 2021.

Vancouver:

Tempel KPvd. How to Go Out of Your Mind and Come Back Again: Joseph Campbell, Robert Anton Wilson and the Art and Science of Conscious Evolution. [Internet] [Masters thesis]. Universiteit Utrecht; 2009. [cited 2021 Jan 27]. Available from: http://dspace.library.uu.nl:8080/handle/1874/41168.

Council of Science Editors:

Tempel KPvd. How to Go Out of Your Mind and Come Back Again: Joseph Campbell, Robert Anton Wilson and the Art and Science of Conscious Evolution. [Masters Thesis]. Universiteit Utrecht; 2009. Available from: http://dspace.library.uu.nl:8080/handle/1874/41168


Indiana University

3. Narayanan, Praveen. Verifiable and reusable conditioning .

Degree: 2019, Indiana University

 Bayesian analysis exhibits two kinds of modularity. First, it is composed of conceptually separate steps: modeling and inference. Second, inference is itself composed of two… (more)

Subjects/Keywords: Bayesian inference; disintegration; measure theory; metaprogramming; probabilistic programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Narayanan, P. (2019). Verifiable and reusable conditioning . (Thesis). Indiana University. Retrieved from http://hdl.handle.net/2022/24645

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Narayanan, Praveen. “Verifiable and reusable conditioning .” 2019. Thesis, Indiana University. Accessed January 27, 2021. http://hdl.handle.net/2022/24645.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Narayanan, Praveen. “Verifiable and reusable conditioning .” 2019. Web. 27 Jan 2021.

Vancouver:

Narayanan P. Verifiable and reusable conditioning . [Internet] [Thesis]. Indiana University; 2019. [cited 2021 Jan 27]. Available from: http://hdl.handle.net/2022/24645.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Narayanan P. Verifiable and reusable conditioning . [Thesis]. Indiana University; 2019. Available from: http://hdl.handle.net/2022/24645

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of New Mexico

4. Ericksen, John. Transfuse: A Compile-Time Metaprogramming Solution for Reducing Boilerplate on Google's Android.

Degree: Department of Computer Science, 2016, University of New Mexico

 Modern Java application development makes use of metaprogramming to offset and reduce application boilerplate. Unfortunately, metaprogramming techniques typically require a relatively high run-time cost, particularly… (more)

Subjects/Keywords: Dependency Injection; Android; Compile time; Annotation Processing; Metaprogramming; Boilerplate

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ericksen, J. (2016). Transfuse: A Compile-Time Metaprogramming Solution for Reducing Boilerplate on Google's Android. (Masters Thesis). University of New Mexico. Retrieved from http://hdl.handle.net/1928/32945

Chicago Manual of Style (16th Edition):

Ericksen, John. “Transfuse: A Compile-Time Metaprogramming Solution for Reducing Boilerplate on Google's Android.” 2016. Masters Thesis, University of New Mexico. Accessed January 27, 2021. http://hdl.handle.net/1928/32945.

MLA Handbook (7th Edition):

Ericksen, John. “Transfuse: A Compile-Time Metaprogramming Solution for Reducing Boilerplate on Google's Android.” 2016. Web. 27 Jan 2021.

Vancouver:

Ericksen J. Transfuse: A Compile-Time Metaprogramming Solution for Reducing Boilerplate on Google's Android. [Internet] [Masters thesis]. University of New Mexico; 2016. [cited 2021 Jan 27]. Available from: http://hdl.handle.net/1928/32945.

Council of Science Editors:

Ericksen J. Transfuse: A Compile-Time Metaprogramming Solution for Reducing Boilerplate on Google's Android. [Masters Thesis]. University of New Mexico; 2016. Available from: http://hdl.handle.net/1928/32945


Virginia Tech

5. Singh, Hermanpreet. Introspective C++.

Degree: MS, Computer Science, 2004, Virginia Tech

 Introspection has become a significant language feature to enable new component technologies. It enables such capabilities as runtime component discovery, new levels of component flexibility… (more)

Subjects/Keywords: introspection; templates; metaprogramming; c++

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Singh, H. (2004). Introspective C++. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/35846

Chicago Manual of Style (16th Edition):

Singh, Hermanpreet. “Introspective C++.” 2004. Masters Thesis, Virginia Tech. Accessed January 27, 2021. http://hdl.handle.net/10919/35846.

MLA Handbook (7th Edition):

Singh, Hermanpreet. “Introspective C++.” 2004. Web. 27 Jan 2021.

Vancouver:

Singh H. Introspective C++. [Internet] [Masters thesis]. Virginia Tech; 2004. [cited 2021 Jan 27]. Available from: http://hdl.handle.net/10919/35846.

Council of Science Editors:

Singh H. Introspective C++. [Masters Thesis]. Virginia Tech; 2004. Available from: http://hdl.handle.net/10919/35846


Universidade Federal de Viçosa

6. Felipe da Silva Pinheiro. Metaprogramação extensível para a linguagem XAJ (eXtensible AspectJ).

Degree: 2013, Universidade Federal de Viçosa

Linguagens de domínio específico orientadas a aspectos (DSALs) são linguagens projetadas especificamente para um domínio com funcionalidades orientadas a aspectos, gerando vantagens como produtividade e… (more)

Subjects/Keywords: Extensibilidade; Extensibility; Metaprogramming; Aspect orientation; Orientação a aspectos; CIENCIA DA COMPUTACAO; Metaprogramação

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Pinheiro, F. d. S. (2013). Metaprogramação extensível para a linguagem XAJ (eXtensible AspectJ). (Thesis). Universidade Federal de Viçosa. Retrieved from http://www.tede.ufv.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=4881

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Pinheiro, Felipe da Silva. “Metaprogramação extensível para a linguagem XAJ (eXtensible AspectJ).” 2013. Thesis, Universidade Federal de Viçosa. Accessed January 27, 2021. http://www.tede.ufv.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=4881.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Pinheiro, Felipe da Silva. “Metaprogramação extensível para a linguagem XAJ (eXtensible AspectJ).” 2013. Web. 27 Jan 2021.

Vancouver:

Pinheiro FdS. Metaprogramação extensível para a linguagem XAJ (eXtensible AspectJ). [Internet] [Thesis]. Universidade Federal de Viçosa; 2013. [cited 2021 Jan 27]. Available from: http://www.tede.ufv.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=4881.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Pinheiro FdS. Metaprogramação extensível para a linguagem XAJ (eXtensible AspectJ). [Thesis]. Universidade Federal de Viçosa; 2013. Available from: http://www.tede.ufv.br/tedesimplificado/tde_busca/arquivo.php?codArquivo=4881

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Wesleyan University

7. Korkut, Joomy. Edit-Time Tactics in Idris.

Degree: Computer Science, 2018, Wesleyan University

Metaprogramming allows users to write programs that write programs. In dependently-typed languages such as Idris, recent work on elaborator reflection paved theway for newapplications… (more)

Subjects/Keywords: programming languages; dependent typing; IDE; editors; Emacs; Idris; Haskell; metaprogramming; tactics; proof assistants; compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Korkut, J. (2018). Edit-Time Tactics in Idris. (Masters Thesis). Wesleyan University. Retrieved from https://wesscholar.wesleyan.edu/etd_mas_theses/179

Chicago Manual of Style (16th Edition):

Korkut, Joomy. “Edit-Time Tactics in Idris.” 2018. Masters Thesis, Wesleyan University. Accessed January 27, 2021. https://wesscholar.wesleyan.edu/etd_mas_theses/179.

MLA Handbook (7th Edition):

Korkut, Joomy. “Edit-Time Tactics in Idris.” 2018. Web. 27 Jan 2021.

Vancouver:

Korkut J. Edit-Time Tactics in Idris. [Internet] [Masters thesis]. Wesleyan University; 2018. [cited 2021 Jan 27]. Available from: https://wesscholar.wesleyan.edu/etd_mas_theses/179.

Council of Science Editors:

Korkut J. Edit-Time Tactics in Idris. [Masters Thesis]. Wesleyan University; 2018. Available from: https://wesscholar.wesleyan.edu/etd_mas_theses/179


Virginia Tech

8. Bowden, Todd H. Design and Development of an Electronic Performance Enhancement Tool for Creating and Maintaining Information Management Web Sites.

Degree: PhD, Curriculum and Instruction (Instructional Design and Technology), 2011, Virginia Tech

 This study explored the design and development of an electronic performance enhancement tool that can assist a person with limited programming skills to create a… (more)

Subjects/Keywords: Programming; Web Design; Electronic Performance Support Systems; metaprogramming; FADBIT; Dreamweaver; Web Forms; Databases; Cold Fusion

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bowden, T. H. (2011). Design and Development of an Electronic Performance Enhancement Tool for Creating and Maintaining Information Management Web Sites. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/77315

Chicago Manual of Style (16th Edition):

Bowden, Todd H. “Design and Development of an Electronic Performance Enhancement Tool for Creating and Maintaining Information Management Web Sites.” 2011. Doctoral Dissertation, Virginia Tech. Accessed January 27, 2021. http://hdl.handle.net/10919/77315.

MLA Handbook (7th Edition):

Bowden, Todd H. “Design and Development of an Electronic Performance Enhancement Tool for Creating and Maintaining Information Management Web Sites.” 2011. Web. 27 Jan 2021.

Vancouver:

Bowden TH. Design and Development of an Electronic Performance Enhancement Tool for Creating and Maintaining Information Management Web Sites. [Internet] [Doctoral dissertation]. Virginia Tech; 2011. [cited 2021 Jan 27]. Available from: http://hdl.handle.net/10919/77315.

Council of Science Editors:

Bowden TH. Design and Development of an Electronic Performance Enhancement Tool for Creating and Maintaining Information Management Web Sites. [Doctoral Dissertation]. Virginia Tech; 2011. Available from: http://hdl.handle.net/10919/77315


Kent State University

9. Holeman, Ryan N. Identifying Programming Idioms in C++ Generic Libraries.

Degree: MS, College of Arts and Sciences / Department of Computer Science, 2009, Kent State University

 A system of programming idioms and design patterns existent in C++ generic libraries is presented to assist developers in understanding the complex syntax and composition… (more)

Subjects/Keywords: Computer Science; c++; generic libraries; metaprogramming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Holeman, R. N. (2009). Identifying Programming Idioms in C++ Generic Libraries. (Masters Thesis). Kent State University. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=kent1259116053

Chicago Manual of Style (16th Edition):

Holeman, Ryan N. “Identifying Programming Idioms in C++ Generic Libraries.” 2009. Masters Thesis, Kent State University. Accessed January 27, 2021. http://rave.ohiolink.edu/etdc/view?acc_num=kent1259116053.

MLA Handbook (7th Edition):

Holeman, Ryan N. “Identifying Programming Idioms in C++ Generic Libraries.” 2009. Web. 27 Jan 2021.

Vancouver:

Holeman RN. Identifying Programming Idioms in C++ Generic Libraries. [Internet] [Masters thesis]. Kent State University; 2009. [cited 2021 Jan 27]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=kent1259116053.

Council of Science Editors:

Holeman RN. Identifying Programming Idioms in C++ Generic Libraries. [Masters Thesis]. Kent State University; 2009. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=kent1259116053


Brno University of Technology

10. Čejchan, Daniel. Překladač nového modulárního programovacího jazyka: Compiler for a New Modular Programming Language.

Degree: 2019, Brno University of Technology

 This paper is dedicated to designing a new compiled programming language inspired by C++ and D programming languages. The paper focuses on a new concept… (more)

Subjects/Keywords: Líhnutí kódu; programovací jazyk; CTFE; metaprogramování; OOP; Beast; Dragon; ctime; Code hatching; programming language; CTFE; metaprogramming; OOP; Beast; Dragon; ctime

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Čejchan, D. (2019). Překladač nového modulárního programovacího jazyka: Compiler for a New Modular Programming Language. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/69809

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Čejchan, Daniel. “Překladač nového modulárního programovacího jazyka: Compiler for a New Modular Programming Language.” 2019. Thesis, Brno University of Technology. Accessed January 27, 2021. http://hdl.handle.net/11012/69809.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Čejchan, Daniel. “Překladač nového modulárního programovacího jazyka: Compiler for a New Modular Programming Language.” 2019. Web. 27 Jan 2021.

Vancouver:

Čejchan D. Překladač nového modulárního programovacího jazyka: Compiler for a New Modular Programming Language. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2021 Jan 27]. Available from: http://hdl.handle.net/11012/69809.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Čejchan D. Překladač nového modulárního programovacího jazyka: Compiler for a New Modular Programming Language. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/69809

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

11. Kuklínek, Lukáš. Příklady metaprogramování v C++: C++ Metaprogramming Examples.

Degree: 2019, Brno University of Technology

 In this thesis we investigate possibilities of metaprogramming in C++. It contains a~general overview of metaprogramming and a~set of examples of various metaprogramming techniques in… (more)

Subjects/Keywords: metaprogramování; C++; šablony; objektově orientované programování; návrhové vzory; metaprogramming; C++; templates; object oriented programming; design patterns

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Kuklínek, L. (2019). Příklady metaprogramování v C++: C++ Metaprogramming Examples. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/56108

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Kuklínek, Lukáš. “Příklady metaprogramování v C++: C++ Metaprogramming Examples.” 2019. Thesis, Brno University of Technology. Accessed January 27, 2021. http://hdl.handle.net/11012/56108.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Kuklínek, Lukáš. “Příklady metaprogramování v C++: C++ Metaprogramming Examples.” 2019. Web. 27 Jan 2021.

Vancouver:

Kuklínek L. Příklady metaprogramování v C++: C++ Metaprogramming Examples. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2021 Jan 27]. Available from: http://hdl.handle.net/11012/56108.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Kuklínek L. Příklady metaprogramování v C++: C++ Metaprogramming Examples. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/56108

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

12. Kuklínek, Lukáš. Compiler of a Language with User-Defined Syntax for New Constructs: Compiler of a Language with User-Defined Syntax for New Constructs.

Degree: 2018, Brno University of Technology

 This project aims to design and implement an experimental programming language. The main feature of the language shall be the ability of the user to… (more)

Subjects/Keywords: programovací jazyky; překladače; syntaktická analýza; rozšiřitelná syntax; metaprogramování; programming languages; compilers; syntax analysis; extensible syntax; metaprogramming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Kuklínek, L. (2018). Compiler of a Language with User-Defined Syntax for New Constructs: Compiler of a Language with User-Defined Syntax for New Constructs. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/53464

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Kuklínek, Lukáš. “Compiler of a Language with User-Defined Syntax for New Constructs: Compiler of a Language with User-Defined Syntax for New Constructs.” 2018. Thesis, Brno University of Technology. Accessed January 27, 2021. http://hdl.handle.net/11012/53464.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Kuklínek, Lukáš. “Compiler of a Language with User-Defined Syntax for New Constructs: Compiler of a Language with User-Defined Syntax for New Constructs.” 2018. Web. 27 Jan 2021.

Vancouver:

Kuklínek L. Compiler of a Language with User-Defined Syntax for New Constructs: Compiler of a Language with User-Defined Syntax for New Constructs. [Internet] [Thesis]. Brno University of Technology; 2018. [cited 2021 Jan 27]. Available from: http://hdl.handle.net/11012/53464.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Kuklínek L. Compiler of a Language with User-Defined Syntax for New Constructs: Compiler of a Language with User-Defined Syntax for New Constructs. [Thesis]. Brno University of Technology; 2018. Available from: http://hdl.handle.net/11012/53464

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Syracuse University

13. Constable, Scott Douglas. STATIC ENFORCEMENT OF TERMINATION-SENSITIVE NONINTERFERENCE USING THE C++ TEMPLATE TYPE SYSTEM.

Degree: PhD, Electrical Engineering and Computer Science, 2018, Syracuse University

  A side channel is an observable attribute of program execution other than explicit communication, e.g., power usage, execution time, or page fault patterns. A… (more)

Subjects/Keywords: cloud security; dynamic analysis; information-flow analysis; language-based techniques; side-channel attacks; template metaprogramming; Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Constable, S. D. (2018). STATIC ENFORCEMENT OF TERMINATION-SENSITIVE NONINTERFERENCE USING THE C++ TEMPLATE TYPE SYSTEM. (Doctoral Dissertation). Syracuse University. Retrieved from https://surface.syr.edu/etd/950

Chicago Manual of Style (16th Edition):

Constable, Scott Douglas. “STATIC ENFORCEMENT OF TERMINATION-SENSITIVE NONINTERFERENCE USING THE C++ TEMPLATE TYPE SYSTEM.” 2018. Doctoral Dissertation, Syracuse University. Accessed January 27, 2021. https://surface.syr.edu/etd/950.

MLA Handbook (7th Edition):

Constable, Scott Douglas. “STATIC ENFORCEMENT OF TERMINATION-SENSITIVE NONINTERFERENCE USING THE C++ TEMPLATE TYPE SYSTEM.” 2018. Web. 27 Jan 2021.

Vancouver:

Constable SD. STATIC ENFORCEMENT OF TERMINATION-SENSITIVE NONINTERFERENCE USING THE C++ TEMPLATE TYPE SYSTEM. [Internet] [Doctoral dissertation]. Syracuse University; 2018. [cited 2021 Jan 27]. Available from: https://surface.syr.edu/etd/950.

Council of Science Editors:

Constable SD. STATIC ENFORCEMENT OF TERMINATION-SENSITIVE NONINTERFERENCE USING THE C++ TEMPLATE TYPE SYSTEM. [Doctoral Dissertation]. Syracuse University; 2018. Available from: https://surface.syr.edu/etd/950


Northeastern University

14. Stansifer, Paul. Flexible binding-safe programming.

Degree: PhD, Computer Science Program, 2016, Northeastern University

 Current nominal systems for safely manipulating values with names, like Pure FreshML, only support simple binding structures for those names. As a result, few tools… (more)

Subjects/Keywords: binding; macros; metaprogramming; Programming languages (Electronic computers); Semantics; Programming languages (Electronic computers); Syntax; Computer programming; Redex (Computer program language)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Stansifer, P. (2016). Flexible binding-safe programming. (Doctoral Dissertation). Northeastern University. Retrieved from http://hdl.handle.net/2047/D20213100

Chicago Manual of Style (16th Edition):

Stansifer, Paul. “Flexible binding-safe programming.” 2016. Doctoral Dissertation, Northeastern University. Accessed January 27, 2021. http://hdl.handle.net/2047/D20213100.

MLA Handbook (7th Edition):

Stansifer, Paul. “Flexible binding-safe programming.” 2016. Web. 27 Jan 2021.

Vancouver:

Stansifer P. Flexible binding-safe programming. [Internet] [Doctoral dissertation]. Northeastern University; 2016. [cited 2021 Jan 27]. Available from: http://hdl.handle.net/2047/D20213100.

Council of Science Editors:

Stansifer P. Flexible binding-safe programming. [Doctoral Dissertation]. Northeastern University; 2016. Available from: http://hdl.handle.net/2047/D20213100


University of Debrecen

15. Budai, László. Ion atom ütközések megjelenítése három dimenzióban .

Degree: DE – TEK – Informatikai Kar, 2008, University of Debrecen

Ion-atom ütközések klasszikus megközelítése, CTMC módszer rövid ismertetése, demo program leírása, az implementáláshoz szükséges technológiák ismertetése Advisors/Committee Members: Halász, Gábor (advisor).

Subjects/Keywords: ctmc; c++; qt; template metaprogramming; ion-atom ütközések; tömegpontrendszer

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Budai, L. (2008). Ion atom ütközések megjelenítése három dimenzióban . (Thesis). University of Debrecen. Retrieved from http://hdl.handle.net/2437/41524

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Budai, László. “Ion atom ütközések megjelenítése három dimenzióban .” 2008. Thesis, University of Debrecen. Accessed January 27, 2021. http://hdl.handle.net/2437/41524.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Budai, László. “Ion atom ütközések megjelenítése három dimenzióban .” 2008. Web. 27 Jan 2021.

Vancouver:

Budai L. Ion atom ütközések megjelenítése három dimenzióban . [Internet] [Thesis]. University of Debrecen; 2008. [cited 2021 Jan 27]. Available from: http://hdl.handle.net/2437/41524.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Budai L. Ion atom ütközések megjelenítése három dimenzióban . [Thesis]. University of Debrecen; 2008. Available from: http://hdl.handle.net/2437/41524

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

16. Touraille, Luc. Application of Model-Driven Engineering and Metaprogramming to DEVS Modeling & Simulation : Application de l'ingénierie dirigée par les modèles et de la métaprogrammation à la modélisation & simulation DEVS.

Degree: Docteur es, Informatique, 2012, Université Blaise-Pascale, Clermont-Ferrand II

 La multiplication des environnements logiciels pour la Modélisation & Simulation DEVS pose un problème de collaboration à la communauté scientifique. En effet, l'utilisation d'outils disparates… (more)

Subjects/Keywords: DEVS; Modélisation & Simulation; Ingénierie Dirigée par les Modèles; Métaprogrammation; DEVS; Modeling & Simulation; Model-Driven Engineering; Metaprogramming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Touraille, L. (2012). Application of Model-Driven Engineering and Metaprogramming to DEVS Modeling & Simulation : Application de l'ingénierie dirigée par les modèles et de la métaprogrammation à la modélisation & simulation DEVS. (Doctoral Dissertation). Université Blaise-Pascale, Clermont-Ferrand II. Retrieved from http://www.theses.fr/2012CLF22308

Chicago Manual of Style (16th Edition):

Touraille, Luc. “Application of Model-Driven Engineering and Metaprogramming to DEVS Modeling & Simulation : Application de l'ingénierie dirigée par les modèles et de la métaprogrammation à la modélisation & simulation DEVS.” 2012. Doctoral Dissertation, Université Blaise-Pascale, Clermont-Ferrand II. Accessed January 27, 2021. http://www.theses.fr/2012CLF22308.

MLA Handbook (7th Edition):

Touraille, Luc. “Application of Model-Driven Engineering and Metaprogramming to DEVS Modeling & Simulation : Application de l'ingénierie dirigée par les modèles et de la métaprogrammation à la modélisation & simulation DEVS.” 2012. Web. 27 Jan 2021.

Vancouver:

Touraille L. Application of Model-Driven Engineering and Metaprogramming to DEVS Modeling & Simulation : Application de l'ingénierie dirigée par les modèles et de la métaprogrammation à la modélisation & simulation DEVS. [Internet] [Doctoral dissertation]. Université Blaise-Pascale, Clermont-Ferrand II; 2012. [cited 2021 Jan 27]. Available from: http://www.theses.fr/2012CLF22308.

Council of Science Editors:

Touraille L. Application of Model-Driven Engineering and Metaprogramming to DEVS Modeling & Simulation : Application de l'ingénierie dirigée par les modèles et de la métaprogrammation à la modélisation & simulation DEVS. [Doctoral Dissertation]. Université Blaise-Pascale, Clermont-Ferrand II; 2012. Available from: http://www.theses.fr/2012CLF22308

17. Paulo Eduardo Papotti. Um processo dirigido a modelos para geração de código.

Degree: 2013, Universidade Federal de São Carlos

O desenvolvimento de software é uma atividade em constante mudança ao longo do tempo. Diante da complexidade e do alto custo existente na construção de… (more)

Subjects/Keywords: Software - desenvolvimento; Desenvolvimento orientado por modelos; Engenharia de software; Software Process; Metaprogramming; Metaprogramação; Processo de Software; CIENCIA DA COMPUTACAO; Geração de código; Mode-Driven Development; Code Generation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Papotti, P. E. (2013). Um processo dirigido a modelos para geração de código. (Thesis). Universidade Federal de São Carlos. Retrieved from http://www.bdtd.ufscar.br/htdocs/tedeSimplificado//tde_busca/arquivo.php?codArquivo=6302

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Papotti, Paulo Eduardo. “Um processo dirigido a modelos para geração de código.” 2013. Thesis, Universidade Federal de São Carlos. Accessed January 27, 2021. http://www.bdtd.ufscar.br/htdocs/tedeSimplificado//tde_busca/arquivo.php?codArquivo=6302.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Papotti, Paulo Eduardo. “Um processo dirigido a modelos para geração de código.” 2013. Web. 27 Jan 2021.

Vancouver:

Papotti PE. Um processo dirigido a modelos para geração de código. [Internet] [Thesis]. Universidade Federal de São Carlos; 2013. [cited 2021 Jan 27]. Available from: http://www.bdtd.ufscar.br/htdocs/tedeSimplificado//tde_busca/arquivo.php?codArquivo=6302.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Papotti PE. Um processo dirigido a modelos para geração de código. [Thesis]. Universidade Federal de São Carlos; 2013. Available from: http://www.bdtd.ufscar.br/htdocs/tedeSimplificado//tde_busca/arquivo.php?codArquivo=6302

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

18. Boulier, Simon Pierre. Extending type theory with syntactic models : Etendre la théorie des types à l'aide de modèles syntaxiques.

Degree: Docteur es, Informatique, 2018, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire

Cette thèse s'intéresse à la métathéorie de la théorie des types intuitionniste. Les systèmes que nous considérons sont des variantes de la théorie des types… (more)

Subjects/Keywords: Théorie des types; Modèles; Traduction de programme; Métaprogrammation; Théorie des types homotopique; Modèle cubique; Type theory; Models; Program translation; Metaprogramming; Homotopy type theory; Cubical model; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Boulier, S. P. (2018). Extending type theory with syntactic models : Etendre la théorie des types à l'aide de modèles syntaxiques. (Doctoral Dissertation). Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire. Retrieved from http://www.theses.fr/2018IMTA0110

Chicago Manual of Style (16th Edition):

Boulier, Simon Pierre. “Extending type theory with syntactic models : Etendre la théorie des types à l'aide de modèles syntaxiques.” 2018. Doctoral Dissertation, Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire. Accessed January 27, 2021. http://www.theses.fr/2018IMTA0110.

MLA Handbook (7th Edition):

Boulier, Simon Pierre. “Extending type theory with syntactic models : Etendre la théorie des types à l'aide de modèles syntaxiques.” 2018. Web. 27 Jan 2021.

Vancouver:

Boulier SP. Extending type theory with syntactic models : Etendre la théorie des types à l'aide de modèles syntaxiques. [Internet] [Doctoral dissertation]. Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire; 2018. [cited 2021 Jan 27]. Available from: http://www.theses.fr/2018IMTA0110.

Council of Science Editors:

Boulier SP. Extending type theory with syntactic models : Etendre la théorie des types à l'aide de modèles syntaxiques. [Doctoral Dissertation]. Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire; 2018. Available from: http://www.theses.fr/2018IMTA0110


Northeastern University

19. Fisher, David. Static semantics for syntax objects.

Degree: PhD, Department of Computer Science, 2010, Northeastern University

 Designing custom notations is essential to designing advanced systems. Although an electrical engineer could write an English description of a circuit board, explaining which components… (more)

Subjects/Keywords: computer science; language design; language theory; macros; metaprogramming; semantics; syntax; Programming languages (Electronic computers) - Semantics; Programming languages (Electronic computers) - Syntax; Programming Languages and Compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Fisher, D. (2010). Static semantics for syntax objects. (Doctoral Dissertation). Northeastern University. Retrieved from http://hdl.handle.net/2047/d20000910

Chicago Manual of Style (16th Edition):

Fisher, David. “Static semantics for syntax objects.” 2010. Doctoral Dissertation, Northeastern University. Accessed January 27, 2021. http://hdl.handle.net/2047/d20000910.

MLA Handbook (7th Edition):

Fisher, David. “Static semantics for syntax objects.” 2010. Web. 27 Jan 2021.

Vancouver:

Fisher D. Static semantics for syntax objects. [Internet] [Doctoral dissertation]. Northeastern University; 2010. [cited 2021 Jan 27]. Available from: http://hdl.handle.net/2047/d20000910.

Council of Science Editors:

Fisher D. Static semantics for syntax objects. [Doctoral Dissertation]. Northeastern University; 2010. Available from: http://hdl.handle.net/2047/d20000910

20. Wu, Shengzhao. High-performance parallel programming framework using template-based static optimization.

Degree: MS, 1200, 2014, University of Illinois – Urbana-Champaign

 How to program a parallel machine has always been a major research problem. Many tools, languages and libraries are developed in order to make parallel… (more)

Subjects/Keywords: C++; Programming Language; Compiler; Metaprogramming; Parallel programming; Multi-core

…with C++ and template metaprogramming. The thesis is organized in the following way: Chapter… …in programming languages including template metaprogramming and C++ features. 2.1 Parallel… …2.3 Template Metaprogramming Template is a very powerful feature in C++. It is designed to… …linear algebra through template matrix types and overloaded operators. Template metaprogramming… …metaprogramming is still a useful technique to trade compilation time for improved runtime. Some of the… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Wu, S. (2014). High-performance parallel programming framework using template-based static optimization. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/49466

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Wu, Shengzhao. “High-performance parallel programming framework using template-based static optimization.” 2014. Thesis, University of Illinois – Urbana-Champaign. Accessed January 27, 2021. http://hdl.handle.net/2142/49466.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Wu, Shengzhao. “High-performance parallel programming framework using template-based static optimization.” 2014. Web. 27 Jan 2021.

Vancouver:

Wu S. High-performance parallel programming framework using template-based static optimization. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2014. [cited 2021 Jan 27]. Available from: http://hdl.handle.net/2142/49466.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Wu S. High-performance parallel programming framework using template-based static optimization. [Thesis]. University of Illinois – Urbana-Champaign; 2014. Available from: http://hdl.handle.net/2142/49466

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

21. Marić Petar. Hibridna softverska arhitektura kao podrška primeni harmonijski spojenog metoda konačnih traka.

Degree: 2016, University of Novi Sad

Ova doktorska teza analizira problem rešavanja karakterističnih jednačina, koje se koriste prilikom rešavanja jednačina svojstvenih oblika, definisanih kroz harmonijski spojen metod konačnih traka. U… (more)

Subjects/Keywords: harmonijski spojen metod konačnih traka, korenovi karakterističnih jednačina, tačnost numeričkog sračunavanja, numerička analiza, metaprogramiranje; harmonic coupled finite strip method, roots of characteristic equations, accuracy of numerical evaluation, numerical analysis, metaprogramming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Petar, M. (2016). Hibridna softverska arhitektura kao podrška primeni harmonijski spojenog metoda konačnih traka. (Thesis). University of Novi Sad. Retrieved from https://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija145528213566439.pdf?controlNumber=(BISIS)99999&fileName=145528213566439.pdf&id=4938&source=OATD&language=en ; https://www.cris.uns.ac.rs/record.jsf?recordId=99999&source=OATD&language=en

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Petar, Marić. “Hibridna softverska arhitektura kao podrška primeni harmonijski spojenog metoda konačnih traka.” 2016. Thesis, University of Novi Sad. Accessed January 27, 2021. https://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija145528213566439.pdf?controlNumber=(BISIS)99999&fileName=145528213566439.pdf&id=4938&source=OATD&language=en ; https://www.cris.uns.ac.rs/record.jsf?recordId=99999&source=OATD&language=en.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Petar, Marić. “Hibridna softverska arhitektura kao podrška primeni harmonijski spojenog metoda konačnih traka.” 2016. Web. 27 Jan 2021.

Vancouver:

Petar M. Hibridna softverska arhitektura kao podrška primeni harmonijski spojenog metoda konačnih traka. [Internet] [Thesis]. University of Novi Sad; 2016. [cited 2021 Jan 27]. Available from: https://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija145528213566439.pdf?controlNumber=(BISIS)99999&fileName=145528213566439.pdf&id=4938&source=OATD&language=en ; https://www.cris.uns.ac.rs/record.jsf?recordId=99999&source=OATD&language=en.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Petar M. Hibridna softverska arhitektura kao podrška primeni harmonijski spojenog metoda konačnih traka. [Thesis]. University of Novi Sad; 2016. Available from: https://www.cris.uns.ac.rs/DownloadFileServlet/Disertacija145528213566439.pdf?controlNumber=(BISIS)99999&fileName=145528213566439.pdf&id=4938&source=OATD&language=en ; https://www.cris.uns.ac.rs/record.jsf?recordId=99999&source=OATD&language=en

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

22. Rodrigo Reis Pereira. Uma abordagem para desenvolvimento de linhas de produtos de software orientada a características e dirigida por modelos.

Degree: 2010, Federal University of Uberlândia

Linhas de Produtos de Software são um paradigma emergente para o desenvolvimento de software, fundamentado no reuso sistemático de ativos modulares, capaz de aumentar ainda… (more)

Subjects/Keywords: Desenvolvimento de software orientado a características; Modelagem de características; Arquiteturas dirigidas por modelos; Metaprogramação; Linhas de produto de software; CIENCIA DA COMPUTACAO; Engenharia de software; Software - Desenvolvimento; Feature oriented software development; Feature modeling; Model driven architectures; Metaprogramming; Software product lines

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Pereira, R. R. (2010). Uma abordagem para desenvolvimento de linhas de produtos de software orientada a características e dirigida por modelos. (Thesis). Federal University of Uberlândia. Retrieved from http://www.bdtd.ufu.br//tde_busca/arquivo.php?codArquivo=2977

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Pereira, Rodrigo Reis. “Uma abordagem para desenvolvimento de linhas de produtos de software orientada a características e dirigida por modelos.” 2010. Thesis, Federal University of Uberlândia. Accessed January 27, 2021. http://www.bdtd.ufu.br//tde_busca/arquivo.php?codArquivo=2977.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Pereira, Rodrigo Reis. “Uma abordagem para desenvolvimento de linhas de produtos de software orientada a características e dirigida por modelos.” 2010. Web. 27 Jan 2021.

Vancouver:

Pereira RR. Uma abordagem para desenvolvimento de linhas de produtos de software orientada a características e dirigida por modelos. [Internet] [Thesis]. Federal University of Uberlândia; 2010. [cited 2021 Jan 27]. Available from: http://www.bdtd.ufu.br//tde_busca/arquivo.php?codArquivo=2977.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Pereira RR. Uma abordagem para desenvolvimento de linhas de produtos de software orientada a características e dirigida por modelos. [Thesis]. Federal University of Uberlândia; 2010. Available from: http://www.bdtd.ufu.br//tde_busca/arquivo.php?codArquivo=2977

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

23. Larjani, Pouya. Software Specialization as Applied to Computational Algebra.

Degree: PhD, 2013, McMaster University

A great variety of algebraic problems can be solved using Groebner bases, and computational commutative algebra is the branch of mathematics that focuses mainly… (more)

Subjects/Keywords: Computational Algebra; Software Specialization; Metaprogramming; Coge Generation; Buchberger's Algorithm; Theory and Algorithms; Theory and Algorithms

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Larjani, P. (2013). Software Specialization as Applied to Computational Algebra. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/13006

Chicago Manual of Style (16th Edition):

Larjani, Pouya. “Software Specialization as Applied to Computational Algebra.” 2013. Doctoral Dissertation, McMaster University. Accessed January 27, 2021. http://hdl.handle.net/11375/13006.

MLA Handbook (7th Edition):

Larjani, Pouya. “Software Specialization as Applied to Computational Algebra.” 2013. Web. 27 Jan 2021.

Vancouver:

Larjani P. Software Specialization as Applied to Computational Algebra. [Internet] [Doctoral dissertation]. McMaster University; 2013. [cited 2021 Jan 27]. Available from: http://hdl.handle.net/11375/13006.

Council of Science Editors:

Larjani P. Software Specialization as Applied to Computational Algebra. [Doctoral Dissertation]. McMaster University; 2013. Available from: http://hdl.handle.net/11375/13006


Brno University of Technology

24. Drbal, Miroslav. Indexování objektů v 3D prostoru: 3D Spatial Indexing of Objects.

Degree: 2019, Brno University of Technology

 This diploma thesis defines the term indexing and in preamble are discussed known indexing algorithms and difference between indexing static and moving objects. The practical… (more)

Subjects/Keywords: Prostorové indexování; 3D; R-Tree; KD-Tree; PR-Tree; Grid; Quad-Tree; TPR-Tree; Hilbert-Tree; C++; meta-programování; šablony; Spatial indexing; 3D; R-Tree; KD-Tree; PR-Tree; Grid; Quad-Tree; TPR-Tree; Hilbert-Tree; C++; metaprogramming; templates

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Drbal, M. (2019). Indexování objektů v 3D prostoru: 3D Spatial Indexing of Objects. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/54278

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Drbal, Miroslav. “Indexování objektů v 3D prostoru: 3D Spatial Indexing of Objects.” 2019. Thesis, Brno University of Technology. Accessed January 27, 2021. http://hdl.handle.net/11012/54278.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Drbal, Miroslav. “Indexování objektů v 3D prostoru: 3D Spatial Indexing of Objects.” 2019. Web. 27 Jan 2021.

Vancouver:

Drbal M. Indexování objektů v 3D prostoru: 3D Spatial Indexing of Objects. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2021 Jan 27]. Available from: http://hdl.handle.net/11012/54278.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Drbal M. Indexování objektů v 3D prostoru: 3D Spatial Indexing of Objects. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/54278

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

25. Novák, Samuel Matyáš. Implementace součtového datového typu v C++: Implementation of Sum Data Type in C++.

Degree: 2020, Brno University of Technology

 This work concerns the implementation of a sum data type in C++. First, custom abstractions to handle sequences of values and types are proposed, which… (more)

Subjects/Keywords: šablonové metaprogramování; generické programování; generování kódu při kompilaci; datové struktury; součtové datové typy; algebraické datové typy; polymorfismus; template metaprogramming; generic programming; compile-time code generation; data structures; sum data types; algebraic data types; polymorphism

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Novák, S. M. (2020). Implementace součtového datového typu v C++: Implementation of Sum Data Type in C++. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/191876

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Novák, Samuel Matyáš. “Implementace součtového datového typu v C++: Implementation of Sum Data Type in C++.” 2020. Thesis, Brno University of Technology. Accessed January 27, 2021. http://hdl.handle.net/11012/191876.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Novák, Samuel Matyáš. “Implementace součtového datového typu v C++: Implementation of Sum Data Type in C++.” 2020. Web. 27 Jan 2021.

Vancouver:

Novák SM. Implementace součtového datového typu v C++: Implementation of Sum Data Type in C++. [Internet] [Thesis]. Brno University of Technology; 2020. [cited 2021 Jan 27]. Available from: http://hdl.handle.net/11012/191876.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Novák SM. Implementace součtového datového typu v C++: Implementation of Sum Data Type in C++. [Thesis]. Brno University of Technology; 2020. Available from: http://hdl.handle.net/11012/191876

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

26. Moskewicz, Matthew W. Implementing Efficient, Portable Computations for Machine Learning.

Degree: Electrical Engineering & Computer Sciences, 2017, University of California – Berkeley

 Computers are powerful tools which perform fast, accurate calculations over huge sets of data. However, many layers of abstraction are required to use computers for… (more)

Subjects/Keywords: Electrical engineering; Computer science; Artificial intelligence; Compilers; Convolution; GPUs; Metaprogramming; Neural Networks

…6.3.1 Justification for Metaprogramming . . . . . . . . . . . . . . . . . . . . . 6.3.1.1… …Intuition for Metaprogramming from Matrix-Matrix Multiply Example… …6.3.1.2 Benefits of Metaprogramming for NN Convolutions . . . . . . 6.3.2 Comparison with… …6.3.5 General Metaprogramming in Boda . . . . . . . . . . . . . . . . . . . . . 6.3.6 Boda… …Metaprogramming vs. C++ Templates . . . . . . . . . . . . . . . . 6.3.7 Details of Boda Metaprogramming… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Moskewicz, M. W. (2017). Implementing Efficient, Portable Computations for Machine Learning. (Thesis). University of California – Berkeley. Retrieved from http://www.escholarship.org/uc/item/4nz902vt

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Moskewicz, Matthew W. “Implementing Efficient, Portable Computations for Machine Learning.” 2017. Thesis, University of California – Berkeley. Accessed January 27, 2021. http://www.escholarship.org/uc/item/4nz902vt.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Moskewicz, Matthew W. “Implementing Efficient, Portable Computations for Machine Learning.” 2017. Web. 27 Jan 2021.

Vancouver:

Moskewicz MW. Implementing Efficient, Portable Computations for Machine Learning. [Internet] [Thesis]. University of California – Berkeley; 2017. [cited 2021 Jan 27]. Available from: http://www.escholarship.org/uc/item/4nz902vt.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Moskewicz MW. Implementing Efficient, Portable Computations for Machine Learning. [Thesis]. University of California – Berkeley; 2017. Available from: http://www.escholarship.org/uc/item/4nz902vt

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

27. Malakhovski, Ian. Sur le pouvoir expressif des structures applicatives et monadiques indexées : On the expressive power of indexed applicative and monadic structures.

Degree: Docteur es, Informatique et télécommunications, 2019, Université Toulouse III – Paul Sabatier

Il est bien connu que des constructions théoriques très simples telles que les structures Either (équivalent type théorique de l'opérateur logique "ou"), State (représentant des… (more)

Subjects/Keywords: Foncteurs applicatifs; Monades; Monades indexées; Type algébrique de données; Métaprogrammation; Processeur basé sur la pile; Combinateurs d'analyseurs syntaxiques; Logique; Théorie des catégories; Applicative functors; Indexed monads; Algebraic data types; Metaprogramming; Stack machines; Parser combinators; Logic; Category theory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Malakhovski, I. (2019). Sur le pouvoir expressif des structures applicatives et monadiques indexées : On the expressive power of indexed applicative and monadic structures. (Doctoral Dissertation). Université Toulouse III – Paul Sabatier. Retrieved from http://www.theses.fr/2019TOU30118

Chicago Manual of Style (16th Edition):

Malakhovski, Ian. “Sur le pouvoir expressif des structures applicatives et monadiques indexées : On the expressive power of indexed applicative and monadic structures.” 2019. Doctoral Dissertation, Université Toulouse III – Paul Sabatier. Accessed January 27, 2021. http://www.theses.fr/2019TOU30118.

MLA Handbook (7th Edition):

Malakhovski, Ian. “Sur le pouvoir expressif des structures applicatives et monadiques indexées : On the expressive power of indexed applicative and monadic structures.” 2019. Web. 27 Jan 2021.

Vancouver:

Malakhovski I. Sur le pouvoir expressif des structures applicatives et monadiques indexées : On the expressive power of indexed applicative and monadic structures. [Internet] [Doctoral dissertation]. Université Toulouse III – Paul Sabatier; 2019. [cited 2021 Jan 27]. Available from: http://www.theses.fr/2019TOU30118.

Council of Science Editors:

Malakhovski I. Sur le pouvoir expressif des structures applicatives et monadiques indexées : On the expressive power of indexed applicative and monadic structures. [Doctoral Dissertation]. Université Toulouse III – Paul Sabatier; 2019. Available from: http://www.theses.fr/2019TOU30118


University of Illinois – Urbana-Champaign

28. Howard, Christian Joseph. Spacetime meshing of stratified spaces for spacetime discontinuous Galerkin methods in arbitrary spatial dimensions.

Degree: MS, Computer Science, 2019, University of Illinois – Urbana-Champaign

 We introduce the spacetime discontinuous Galerkin method and motivate the need for supporting spacetime meshing on meshes comprised of multiple manifolds. We first discuss preliminary… (more)

Subjects/Keywords: computer science; graph; computational; geometry; computational geometry; topology; homology; simplex; simplices; complexes; simplicial homology; data structures; data structure; algorithm; algorithms; spacetime; space-time; finite element; galerkin; meshing; stratified spaces; discontinuous; cpp; C++; hyperbolic; partial differential equations; differential equations; numerical methods; generics; metaprogramming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Howard, C. J. (2019). Spacetime meshing of stratified spaces for spacetime discontinuous Galerkin methods in arbitrary spatial dimensions. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/104936

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Howard, Christian Joseph. “Spacetime meshing of stratified spaces for spacetime discontinuous Galerkin methods in arbitrary spatial dimensions.” 2019. Thesis, University of Illinois – Urbana-Champaign. Accessed January 27, 2021. http://hdl.handle.net/2142/104936.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Howard, Christian Joseph. “Spacetime meshing of stratified spaces for spacetime discontinuous Galerkin methods in arbitrary spatial dimensions.” 2019. Web. 27 Jan 2021.

Vancouver:

Howard CJ. Spacetime meshing of stratified spaces for spacetime discontinuous Galerkin methods in arbitrary spatial dimensions. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2019. [cited 2021 Jan 27]. Available from: http://hdl.handle.net/2142/104936.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Howard CJ. Spacetime meshing of stratified spaces for spacetime discontinuous Galerkin methods in arbitrary spatial dimensions. [Thesis]. University of Illinois – Urbana-Champaign; 2019. Available from: http://hdl.handle.net/2142/104936

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

29. Lilis, Yannis. Integrated metaprogramming systems: language, tools and practices.

Degree: 2014, University of Crete (UOC); Πανεπιστήμιο Κρήτης

Metaprogramming is an advanced language feature enabling to mix programs withdefinitions that generate source code to be put in their place. Such definitions arecalled metaprograms… (more)

Subjects/Keywords: Γλώσσες προγραμματισμού; Τεχνολογία λογισμικού; Επαναχρησιμοποίηση λογισμικού; Μεταπρογραμματισμός; Προγραμματισμός βασισμένος σε προοπτικές; Ανάπτυξη λογισμικού βασισμένη σε μοντέλα; Ολοκληρωμένα περιβάλλοντα προγραμματισμού; Programming languages; Software engineering; Software reuse; Metaprogramming; Aspect-oriented programming; Model-driven engineering; Integrated development environments

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Lilis, Y. (2014). Integrated metaprogramming systems: language, tools and practices. (Thesis). University of Crete (UOC); Πανεπιστήμιο Κρήτης. Retrieved from http://hdl.handle.net/10442/hedi/36573

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Lilis, Yannis. “Integrated metaprogramming systems: language, tools and practices.” 2014. Thesis, University of Crete (UOC); Πανεπιστήμιο Κρήτης. Accessed January 27, 2021. http://hdl.handle.net/10442/hedi/36573.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Lilis, Yannis. “Integrated metaprogramming systems: language, tools and practices.” 2014. Web. 27 Jan 2021.

Vancouver:

Lilis Y. Integrated metaprogramming systems: language, tools and practices. [Internet] [Thesis]. University of Crete (UOC); Πανεπιστήμιο Κρήτης; 2014. [cited 2021 Jan 27]. Available from: http://hdl.handle.net/10442/hedi/36573.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Lilis Y. Integrated metaprogramming systems: language, tools and practices. [Thesis]. University of Crete (UOC); Πανεπιστήμιο Κρήτης; 2014. Available from: http://hdl.handle.net/10442/hedi/36573

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Université de Montréal

30. Archambault-Bouffard, Vincent. Abitbol : un langage sur mesure pour la métaprogrammation.

Degree: 2016, Université de Montréal

Subjects/Keywords: Fonctions transparentes; Métaprogrammation; Compilation; Langages fonctionnels; Réification; Transparent functions; Metaprogramming; Functional languages; Applied Sciences - Computer Science / Sciences appliqués et technologie - Informatique (UMI : 0984)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Archambault-Bouffard, V. (2016). Abitbol : un langage sur mesure pour la métaprogrammation. (Thesis). Université de Montréal. Retrieved from http://hdl.handle.net/1866/13407

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Archambault-Bouffard, Vincent. “Abitbol : un langage sur mesure pour la métaprogrammation.” 2016. Thesis, Université de Montréal. Accessed January 27, 2021. http://hdl.handle.net/1866/13407.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Archambault-Bouffard, Vincent. “Abitbol : un langage sur mesure pour la métaprogrammation.” 2016. Web. 27 Jan 2021.

Vancouver:

Archambault-Bouffard V. Abitbol : un langage sur mesure pour la métaprogrammation. [Internet] [Thesis]. Université de Montréal; 2016. [cited 2021 Jan 27]. Available from: http://hdl.handle.net/1866/13407.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Archambault-Bouffard V. Abitbol : un langage sur mesure pour la métaprogrammation. [Thesis]. Université de Montréal; 2016. Available from: http://hdl.handle.net/1866/13407

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

[1] [2]

.