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

Dates: 2015 – 2019

You searched for subject:(programming languages). Showing records 1 – 30 of 232 total matches.

[1] [2] [3] [4] [5] [6] [7] [8]

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Country

▼ Search Limiters


University of Hong Kong

1. Zhang, Weixin. Extensible domain-specific languages in object-oriented programming.

Degree: M. Phil., 2017, University of Hong Kong

Domain-specific languages (DSLs) are now ubiquitous. New DSLs are needed and existing DSLs are evolving all the time. However, creating and maintaining DSLs is hard!… (more)

Subjects/Keywords: Domain-specific programming languages; Object-oriented programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhang, W. (2017). Extensible domain-specific languages in object-oriented programming. (Masters Thesis). University of Hong Kong. Retrieved from http://hdl.handle.net/10722/241427

Chicago Manual of Style (16th Edition):

Zhang, Weixin. “Extensible domain-specific languages in object-oriented programming.” 2017. Masters Thesis, University of Hong Kong. Accessed December 05, 2019. http://hdl.handle.net/10722/241427.

MLA Handbook (7th Edition):

Zhang, Weixin. “Extensible domain-specific languages in object-oriented programming.” 2017. Web. 05 Dec 2019.

Vancouver:

Zhang W. Extensible domain-specific languages in object-oriented programming. [Internet] [Masters thesis]. University of Hong Kong; 2017. [cited 2019 Dec 05]. Available from: http://hdl.handle.net/10722/241427.

Council of Science Editors:

Zhang W. Extensible domain-specific languages in object-oriented programming. [Masters Thesis]. University of Hong Kong; 2017. Available from: http://hdl.handle.net/10722/241427


McMaster University

2. Burton, Ronald. USING DYNAMIC MIXINS FOR SOFTWARE DEVELOPMENT.

Degree: PhD, 2018, McMaster University

Object-oriented programming has gained significant traction in the software development community and is now the common approach for developing large, commercial applications. Many of these… (more)

Subjects/Keywords: programming languages, mixins; object models

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Burton, R. (2018). USING DYNAMIC MIXINS FOR SOFTWARE DEVELOPMENT. (Doctoral Dissertation). McMaster University. Retrieved from http://hdl.handle.net/11375/23829

Chicago Manual of Style (16th Edition):

Burton, Ronald. “USING DYNAMIC MIXINS FOR SOFTWARE DEVELOPMENT.” 2018. Doctoral Dissertation, McMaster University. Accessed December 05, 2019. http://hdl.handle.net/11375/23829.

MLA Handbook (7th Edition):

Burton, Ronald. “USING DYNAMIC MIXINS FOR SOFTWARE DEVELOPMENT.” 2018. Web. 05 Dec 2019.

Vancouver:

Burton R. USING DYNAMIC MIXINS FOR SOFTWARE DEVELOPMENT. [Internet] [Doctoral dissertation]. McMaster University; 2018. [cited 2019 Dec 05]. Available from: http://hdl.handle.net/11375/23829.

Council of Science Editors:

Burton R. USING DYNAMIC MIXINS FOR SOFTWARE DEVELOPMENT. [Doctoral Dissertation]. McMaster University; 2018. Available from: http://hdl.handle.net/11375/23829


University of Cambridge

3. Botinčan, Matko. Formal verification-driven parallelisation synthesis .

Degree: 2018, University of Cambridge

 Concurrency is often an optimisation, rather than intrinsic to the functional behaviour of a program, i.e., a concurrent program is often intended to achieve the… (more)

Subjects/Keywords: Programming languages; Verification; Parallelisation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Botinčan, M. (2018). Formal verification-driven parallelisation synthesis . (Thesis). University of Cambridge. Retrieved from https://www.repository.cam.ac.uk/handle/1810/274136

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):

Botinčan, Matko. “Formal verification-driven parallelisation synthesis .” 2018. Thesis, University of Cambridge. Accessed December 05, 2019. https://www.repository.cam.ac.uk/handle/1810/274136.

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

MLA Handbook (7th Edition):

Botinčan, Matko. “Formal verification-driven parallelisation synthesis .” 2018. Web. 05 Dec 2019.

Vancouver:

Botinčan M. Formal verification-driven parallelisation synthesis . [Internet] [Thesis]. University of Cambridge; 2018. [cited 2019 Dec 05]. Available from: https://www.repository.cam.ac.uk/handle/1810/274136.

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

Council of Science Editors:

Botinčan M. Formal verification-driven parallelisation synthesis . [Thesis]. University of Cambridge; 2018. Available from: https://www.repository.cam.ac.uk/handle/1810/274136

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


University of New South Wales

4. Robinson, Amos. The stuff that streams are made of: Streaming models for concurrent execution of multiple queries.

Degree: Computer Science & Engineering, 2019, University of New South Wales

 To learn from a large dataset, we generally want to perform lots of queries. If we perform each query separately, we may spend more time… (more)

Subjects/Keywords: Programming languages; Streaming; Optimisation; Fusion

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Robinson, A. (2019). The stuff that streams are made of: Streaming models for concurrent execution of multiple queries. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/61695 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:56827/SOURCE02?view=true

Chicago Manual of Style (16th Edition):

Robinson, Amos. “The stuff that streams are made of: Streaming models for concurrent execution of multiple queries.” 2019. Doctoral Dissertation, University of New South Wales. Accessed December 05, 2019. http://handle.unsw.edu.au/1959.4/61695 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:56827/SOURCE02?view=true.

MLA Handbook (7th Edition):

Robinson, Amos. “The stuff that streams are made of: Streaming models for concurrent execution of multiple queries.” 2019. Web. 05 Dec 2019.

Vancouver:

Robinson A. The stuff that streams are made of: Streaming models for concurrent execution of multiple queries. [Internet] [Doctoral dissertation]. University of New South Wales; 2019. [cited 2019 Dec 05]. Available from: http://handle.unsw.edu.au/1959.4/61695 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:56827/SOURCE02?view=true.

Council of Science Editors:

Robinson A. The stuff that streams are made of: Streaming models for concurrent execution of multiple queries. [Doctoral Dissertation]. University of New South Wales; 2019. Available from: http://handle.unsw.edu.au/1959.4/61695 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:56827/SOURCE02?view=true

5. Pombrio, Justin. Resugaring: Lifting Languages through Syntactic Sugar.

Degree: Department of Computer Science, 2018, Brown University

 Syntactic sugar is pervasive in language technology. Programmers use it to shrink the size of a core language; to define domain-specific languages; and even to… (more)

Subjects/Keywords: Programming languages (Electronic computers)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pombrio, J. (2018). Resugaring: Lifting Languages through Syntactic Sugar. (Thesis). Brown University. Retrieved from https://repository.library.brown.edu/studio/item/bdr:792916/

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):

Pombrio, Justin. “Resugaring: Lifting Languages through Syntactic Sugar.” 2018. Thesis, Brown University. Accessed December 05, 2019. https://repository.library.brown.edu/studio/item/bdr:792916/.

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

MLA Handbook (7th Edition):

Pombrio, Justin. “Resugaring: Lifting Languages through Syntactic Sugar.” 2018. Web. 05 Dec 2019.

Vancouver:

Pombrio J. Resugaring: Lifting Languages through Syntactic Sugar. [Internet] [Thesis]. Brown University; 2018. [cited 2019 Dec 05]. Available from: https://repository.library.brown.edu/studio/item/bdr:792916/.

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

Council of Science Editors:

Pombrio J. Resugaring: Lifting Languages through Syntactic Sugar. [Thesis]. Brown University; 2018. Available from: https://repository.library.brown.edu/studio/item/bdr:792916/

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


University of Technology, Sydney

6. Pelchen, Thomas Albert. Evaluating the use of EiPE and the development of a domain-specific language for the novice programmer.

Degree: 2017, University of Technology, Sydney

 The purpose of this paper is to identify whether the language used by a novice when responding to an Explain in Plain English question can… (more)

Subjects/Keywords: Domain-specific programming languages

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pelchen, T. A. (2017). Evaluating the use of EiPE and the development of a domain-specific language for the novice programmer. (Thesis). University of Technology, Sydney. Retrieved from http://hdl.handle.net/10453/121810

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):

Pelchen, Thomas Albert. “Evaluating the use of EiPE and the development of a domain-specific language for the novice programmer.” 2017. Thesis, University of Technology, Sydney. Accessed December 05, 2019. http://hdl.handle.net/10453/121810.

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

MLA Handbook (7th Edition):

Pelchen, Thomas Albert. “Evaluating the use of EiPE and the development of a domain-specific language for the novice programmer.” 2017. Web. 05 Dec 2019.

Vancouver:

Pelchen TA. Evaluating the use of EiPE and the development of a domain-specific language for the novice programmer. [Internet] [Thesis]. University of Technology, Sydney; 2017. [cited 2019 Dec 05]. Available from: http://hdl.handle.net/10453/121810.

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

Council of Science Editors:

Pelchen TA. Evaluating the use of EiPE and the development of a domain-specific language for the novice programmer. [Thesis]. University of Technology, Sydney; 2017. Available from: http://hdl.handle.net/10453/121810

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


University of Arizona

7. Gaska, Benjamin James. ParForPy: Loop Parallelism in Python .

Degree: 2017, University of Arizona

 Scientists are trending towards usage of high-level programming languages such as Python. The convenience of these languages often have a performance cost. As the amount… (more)

Subjects/Keywords: Parallelism; Programming Languages; Python

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gaska, B. J. (2017). ParForPy: Loop Parallelism in Python . (Masters Thesis). University of Arizona. Retrieved from http://hdl.handle.net/10150/625320

Chicago Manual of Style (16th Edition):

Gaska, Benjamin James. “ParForPy: Loop Parallelism in Python .” 2017. Masters Thesis, University of Arizona. Accessed December 05, 2019. http://hdl.handle.net/10150/625320.

MLA Handbook (7th Edition):

Gaska, Benjamin James. “ParForPy: Loop Parallelism in Python .” 2017. Web. 05 Dec 2019.

Vancouver:

Gaska BJ. ParForPy: Loop Parallelism in Python . [Internet] [Masters thesis]. University of Arizona; 2017. [cited 2019 Dec 05]. Available from: http://hdl.handle.net/10150/625320.

Council of Science Editors:

Gaska BJ. ParForPy: Loop Parallelism in Python . [Masters Thesis]. University of Arizona; 2017. Available from: http://hdl.handle.net/10150/625320


Cal Poly

8. Tran, Andrew T. An Empirical Study of Alias Analysis Techniques.

Degree: MS, Computer Science, 2018, Cal Poly

  As software projects become larger and more complex, software optimization at that scale is only feasible through automated means. One such component of software… (more)

Subjects/Keywords: Alias Analysis; LLVM; benchmarking; Programming Languages; Instrumentation; Programming Languages and Compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tran, A. T. (2018). An Empirical Study of Alias Analysis Techniques. (Masters Thesis). Cal Poly. Retrieved from https://digitalcommons.calpoly.edu/theses/1859

Chicago Manual of Style (16th Edition):

Tran, Andrew T. “An Empirical Study of Alias Analysis Techniques.” 2018. Masters Thesis, Cal Poly. Accessed December 05, 2019. https://digitalcommons.calpoly.edu/theses/1859.

MLA Handbook (7th Edition):

Tran, Andrew T. “An Empirical Study of Alias Analysis Techniques.” 2018. Web. 05 Dec 2019.

Vancouver:

Tran AT. An Empirical Study of Alias Analysis Techniques. [Internet] [Masters thesis]. Cal Poly; 2018. [cited 2019 Dec 05]. Available from: https://digitalcommons.calpoly.edu/theses/1859.

Council of Science Editors:

Tran AT. An Empirical Study of Alias Analysis Techniques. [Masters Thesis]. Cal Poly; 2018. Available from: https://digitalcommons.calpoly.edu/theses/1859


University of California – Santa Cruz

9. Schuster, Christopher. Towards Live Programming Environments for Statically Verified JavaScript.

Degree: Computer Science, 2018, University of California – Santa Cruz

 This dissertation includes contributions to both live programming and program verification and explores how programming environments can be designed to leverage benefits of both concepts… (more)

Subjects/Keywords: Computer science; JavaScript; Live Programming; Programming Environments; Programming Languages; Program Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Schuster, C. (2018). Towards Live Programming Environments for Statically Verified JavaScript. (Thesis). University of California – Santa Cruz. Retrieved from http://www.escholarship.org/uc/item/6x85w65n

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):

Schuster, Christopher. “Towards Live Programming Environments for Statically Verified JavaScript.” 2018. Thesis, University of California – Santa Cruz. Accessed December 05, 2019. http://www.escholarship.org/uc/item/6x85w65n.

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

MLA Handbook (7th Edition):

Schuster, Christopher. “Towards Live Programming Environments for Statically Verified JavaScript.” 2018. Web. 05 Dec 2019.

Vancouver:

Schuster C. Towards Live Programming Environments for Statically Verified JavaScript. [Internet] [Thesis]. University of California – Santa Cruz; 2018. [cited 2019 Dec 05]. Available from: http://www.escholarship.org/uc/item/6x85w65n.

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

Council of Science Editors:

Schuster C. Towards Live Programming Environments for Statically Verified JavaScript. [Thesis]. University of California – Santa Cruz; 2018. Available from: http://www.escholarship.org/uc/item/6x85w65n

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


University of Edinburgh

10. Fowler, Simon John. Typed concurrent functional programming with channels, actors and sessions.

Degree: PhD, 2019, University of Edinburgh

 The age of writing single-threaded applications is over. To develop scalable applications, developers must make use of concurrency and parallelism. Nonetheless, introducing concurrency and parallelism… (more)

Subjects/Keywords: session types; functional programming; concurrent programming; lambda calculus; programming languages

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fowler, S. J. (2019). Typed concurrent functional programming with channels, actors and sessions. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/35873

Chicago Manual of Style (16th Edition):

Fowler, Simon John. “Typed concurrent functional programming with channels, actors and sessions.” 2019. Doctoral Dissertation, University of Edinburgh. Accessed December 05, 2019. http://hdl.handle.net/1842/35873.

MLA Handbook (7th Edition):

Fowler, Simon John. “Typed concurrent functional programming with channels, actors and sessions.” 2019. Web. 05 Dec 2019.

Vancouver:

Fowler SJ. Typed concurrent functional programming with channels, actors and sessions. [Internet] [Doctoral dissertation]. University of Edinburgh; 2019. [cited 2019 Dec 05]. Available from: http://hdl.handle.net/1842/35873.

Council of Science Editors:

Fowler SJ. Typed concurrent functional programming with channels, actors and sessions. [Doctoral Dissertation]. University of Edinburgh; 2019. Available from: http://hdl.handle.net/1842/35873


University of Hawaii – Manoa

11. Soulier, Paul. A Language for Embedded and Cyber-Physical Systems.

Degree: 2017, University of Hawaii – Manoa

M.S. University of Hawaii at Manoa 2016.

As computers continue to advance, they are becoming more capable of sensing, interacting, and communicating with both the… (more)

Subjects/Keywords: programming languages; embedded systems; memory management; compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Soulier, P. (2017). A Language for Embedded and Cyber-Physical Systems. (Thesis). University of Hawaii – Manoa. Retrieved from http://hdl.handle.net/10125/51351

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):

Soulier, Paul. “A Language for Embedded and Cyber-Physical Systems.” 2017. Thesis, University of Hawaii – Manoa. Accessed December 05, 2019. http://hdl.handle.net/10125/51351.

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

MLA Handbook (7th Edition):

Soulier, Paul. “A Language for Embedded and Cyber-Physical Systems.” 2017. Web. 05 Dec 2019.

Vancouver:

Soulier P. A Language for Embedded and Cyber-Physical Systems. [Internet] [Thesis]. University of Hawaii – Manoa; 2017. [cited 2019 Dec 05]. Available from: http://hdl.handle.net/10125/51351.

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

Council of Science Editors:

Soulier P. A Language for Embedded and Cyber-Physical Systems. [Thesis]. University of Hawaii – Manoa; 2017. Available from: http://hdl.handle.net/10125/51351

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


Cornell University

12. Zhang, Danfeng. Sound And Practical Methods For Full-System Timing Channel Control .

Degree: 2015, Cornell University

 Building systems with rigorous security guarantees is difficult, because most programming languages lack support for reasoning about security. This situation is amplified by emerging timing… (more)

Subjects/Keywords: Timing Channels; Programming Languages; Type System

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhang, D. (2015). Sound And Practical Methods For Full-System Timing Channel Control . (Thesis). Cornell University. Retrieved from http://hdl.handle.net/1813/40918

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):

Zhang, Danfeng. “Sound And Practical Methods For Full-System Timing Channel Control .” 2015. Thesis, Cornell University. Accessed December 05, 2019. http://hdl.handle.net/1813/40918.

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

MLA Handbook (7th Edition):

Zhang, Danfeng. “Sound And Practical Methods For Full-System Timing Channel Control .” 2015. Web. 05 Dec 2019.

Vancouver:

Zhang D. Sound And Practical Methods For Full-System Timing Channel Control . [Internet] [Thesis]. Cornell University; 2015. [cited 2019 Dec 05]. Available from: http://hdl.handle.net/1813/40918.

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

Council of Science Editors:

Zhang D. Sound And Practical Methods For Full-System Timing Channel Control . [Thesis]. Cornell University; 2015. Available from: http://hdl.handle.net/1813/40918

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


University of Cape Town

13. New, Wesley. Python based FPGA design-flow.

Degree: Image, Electrical Engineering, 2016, University of Cape Town

 This dissertation undertakes to establish the feasibility of using MyHDL as a basis on which to develop an FPGA-based DSP tool-ow to target CASPER hardware.… (more)

Subjects/Keywords: Electrical Engineering; Software; Programming Languages - Python

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

New, W. (2016). Python based FPGA design-flow. (Thesis). University of Cape Town. Retrieved from http://hdl.handle.net/11427/20339

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):

New, Wesley. “Python based FPGA design-flow.” 2016. Thesis, University of Cape Town. Accessed December 05, 2019. http://hdl.handle.net/11427/20339.

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

MLA Handbook (7th Edition):

New, Wesley. “Python based FPGA design-flow.” 2016. Web. 05 Dec 2019.

Vancouver:

New W. Python based FPGA design-flow. [Internet] [Thesis]. University of Cape Town; 2016. [cited 2019 Dec 05]. Available from: http://hdl.handle.net/11427/20339.

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

Council of Science Editors:

New W. Python based FPGA design-flow. [Thesis]. University of Cape Town; 2016. Available from: http://hdl.handle.net/11427/20339

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


Victoria University of Wellington

14. Jones, Timothy. Classless Object Semantics.

Degree: 2017, Victoria University of Wellington

 Objects have been categorised into classes that declare and implement their behaviour ever since the paradigm of object-orientation in programming languages was first conceived. Classes… (more)

Subjects/Keywords: Programming languages; Object-orientation; Type systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Jones, T. (2017). Classless Object Semantics. (Doctoral Dissertation). Victoria University of Wellington. Retrieved from http://hdl.handle.net/10063/6681

Chicago Manual of Style (16th Edition):

Jones, Timothy. “Classless Object Semantics.” 2017. Doctoral Dissertation, Victoria University of Wellington. Accessed December 05, 2019. http://hdl.handle.net/10063/6681.

MLA Handbook (7th Edition):

Jones, Timothy. “Classless Object Semantics.” 2017. Web. 05 Dec 2019.

Vancouver:

Jones T. Classless Object Semantics. [Internet] [Doctoral dissertation]. Victoria University of Wellington; 2017. [cited 2019 Dec 05]. Available from: http://hdl.handle.net/10063/6681.

Council of Science Editors:

Jones T. Classless Object Semantics. [Doctoral Dissertation]. Victoria University of Wellington; 2017. Available from: http://hdl.handle.net/10063/6681


University of Waterloo

15. Thiessen, Rei. Efficient Pointer Analysis of Java in Logic.

Degree: 2017, University of Waterloo

 Points-to analysis for Java benefits greatly from context sensitivity. CFL-reachability and k-limited context strings are two approaches to obtaining context sensitivity with different advantages: CFL-reachability… (more)

Subjects/Keywords: Pointer analysis; Static analysis; Programming languages

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Thiessen, R. (2017). Efficient Pointer Analysis of Java in Logic. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/11904

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):

Thiessen, Rei. “Efficient Pointer Analysis of Java in Logic.” 2017. Thesis, University of Waterloo. Accessed December 05, 2019. http://hdl.handle.net/10012/11904.

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

MLA Handbook (7th Edition):

Thiessen, Rei. “Efficient Pointer Analysis of Java in Logic.” 2017. Web. 05 Dec 2019.

Vancouver:

Thiessen R. Efficient Pointer Analysis of Java in Logic. [Internet] [Thesis]. University of Waterloo; 2017. [cited 2019 Dec 05]. Available from: http://hdl.handle.net/10012/11904.

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

Council of Science Editors:

Thiessen R. Efficient Pointer Analysis of Java in Logic. [Thesis]. University of Waterloo; 2017. Available from: http://hdl.handle.net/10012/11904

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


University of Illinois – Urbana-Champaign

16. Griffith, Dennis Edward. Polarized substructural session types.

Degree: PhD, Computer Science, 2016, University of Illinois – Urbana-Champaign

 Concurrent processes can be extremely difficult to reason about, both for programmers and formally. One approach to coping with this difficulty is to study new… (more)

Subjects/Keywords: Programming Languages; Session Types; Curry-Howard

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Griffith, D. E. (2016). Polarized substructural session types. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/90544

Chicago Manual of Style (16th Edition):

Griffith, Dennis Edward. “Polarized substructural session types.” 2016. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed December 05, 2019. http://hdl.handle.net/2142/90544.

MLA Handbook (7th Edition):

Griffith, Dennis Edward. “Polarized substructural session types.” 2016. Web. 05 Dec 2019.

Vancouver:

Griffith DE. Polarized substructural session types. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2016. [cited 2019 Dec 05]. Available from: http://hdl.handle.net/2142/90544.

Council of Science Editors:

Griffith DE. Polarized substructural session types. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2016. Available from: http://hdl.handle.net/2142/90544


Colorado State University

17. Vans, A. Marie. Multi-level code comprehension model for large scale software, A.

Degree: PhD, Computer Science, 2017, Colorado State University

 For the past 20 years researchers have studied how programmers understand code they did not write. Most of this research has concentrated on small-scale code… (more)

Subjects/Keywords: Software maintenance; Programming languages (Electronic computers)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vans, A. M. (2017). Multi-level code comprehension model for large scale software, A. (Doctoral Dissertation). Colorado State University. Retrieved from http://hdl.handle.net/10217/183411

Chicago Manual of Style (16th Edition):

Vans, A Marie. “Multi-level code comprehension model for large scale software, A.” 2017. Doctoral Dissertation, Colorado State University. Accessed December 05, 2019. http://hdl.handle.net/10217/183411.

MLA Handbook (7th Edition):

Vans, A Marie. “Multi-level code comprehension model for large scale software, A.” 2017. Web. 05 Dec 2019.

Vancouver:

Vans AM. Multi-level code comprehension model for large scale software, A. [Internet] [Doctoral dissertation]. Colorado State University; 2017. [cited 2019 Dec 05]. Available from: http://hdl.handle.net/10217/183411.

Council of Science Editors:

Vans AM. Multi-level code comprehension model for large scale software, A. [Doctoral Dissertation]. Colorado State University; 2017. Available from: http://hdl.handle.net/10217/183411


Columbia University

18. Townsend, Richard Morse. Compiling Irregular Software to Specialized Hardware.

Degree: 2019, Columbia University

 High-level synthesis (HLS) has simplified the design process for energy-efficient hardware accelerators: a designer specifies an accelerator’s behavior in a “high-level” language, and a toolchain… (more)

Subjects/Keywords: Computer science; Hardware; Algorithms; Functional programming languages

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Townsend, R. M. (2019). Compiling Irregular Software to Specialized Hardware. (Doctoral Dissertation). Columbia University. Retrieved from https://doi.org/10.7916/d8-4yxc-gz97

Chicago Manual of Style (16th Edition):

Townsend, Richard Morse. “Compiling Irregular Software to Specialized Hardware.” 2019. Doctoral Dissertation, Columbia University. Accessed December 05, 2019. https://doi.org/10.7916/d8-4yxc-gz97.

MLA Handbook (7th Edition):

Townsend, Richard Morse. “Compiling Irregular Software to Specialized Hardware.” 2019. Web. 05 Dec 2019.

Vancouver:

Townsend RM. Compiling Irregular Software to Specialized Hardware. [Internet] [Doctoral dissertation]. Columbia University; 2019. [cited 2019 Dec 05]. Available from: https://doi.org/10.7916/d8-4yxc-gz97.

Council of Science Editors:

Townsend RM. Compiling Irregular Software to Specialized Hardware. [Doctoral Dissertation]. Columbia University; 2019. Available from: https://doi.org/10.7916/d8-4yxc-gz97

19. Schlesinger, Cole. Abstractions for Software-defined Networks .

Degree: PhD, 2015, Princeton University

 In a Software-Defined Network (SDN), a central, computationally powerful controller manages a set of distributed, computationally simple switches. The controller computes a policy describing how… (more)

Subjects/Keywords: networks; programming languages; software-defined networking

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Schlesinger, C. (2015). Abstractions for Software-defined Networks . (Doctoral Dissertation). Princeton University. Retrieved from http://arks.princeton.edu/ark:/88435/dsp01bc386m53x

Chicago Manual of Style (16th Edition):

Schlesinger, Cole. “Abstractions for Software-defined Networks .” 2015. Doctoral Dissertation, Princeton University. Accessed December 05, 2019. http://arks.princeton.edu/ark:/88435/dsp01bc386m53x.

MLA Handbook (7th Edition):

Schlesinger, Cole. “Abstractions for Software-defined Networks .” 2015. Web. 05 Dec 2019.

Vancouver:

Schlesinger C. Abstractions for Software-defined Networks . [Internet] [Doctoral dissertation]. Princeton University; 2015. [cited 2019 Dec 05]. Available from: http://arks.princeton.edu/ark:/88435/dsp01bc386m53x.

Council of Science Editors:

Schlesinger C. Abstractions for Software-defined Networks . [Doctoral Dissertation]. Princeton University; 2015. Available from: http://arks.princeton.edu/ark:/88435/dsp01bc386m53x


University of Arizona

20. Stephens, Jon. Enabling Specialization for Dynamic Programming Languages .

Degree: 2018, University of Arizona

 Scientists across many diverse fields, including medicine, astronomy and biology, often program to aid in the analysis of large datasets. Many of them prototype in… (more)

Subjects/Keywords: Checkpointing; Dynamic Programming Languages; Interpreters; Specialization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Stephens, J. (2018). Enabling Specialization for Dynamic Programming Languages . (Masters Thesis). University of Arizona. Retrieved from http://hdl.handle.net/10150/630143

Chicago Manual of Style (16th Edition):

Stephens, Jon. “Enabling Specialization for Dynamic Programming Languages .” 2018. Masters Thesis, University of Arizona. Accessed December 05, 2019. http://hdl.handle.net/10150/630143.

MLA Handbook (7th Edition):

Stephens, Jon. “Enabling Specialization for Dynamic Programming Languages .” 2018. Web. 05 Dec 2019.

Vancouver:

Stephens J. Enabling Specialization for Dynamic Programming Languages . [Internet] [Masters thesis]. University of Arizona; 2018. [cited 2019 Dec 05]. Available from: http://hdl.handle.net/10150/630143.

Council of Science Editors:

Stephens J. Enabling Specialization for Dynamic Programming Languages . [Masters Thesis]. University of Arizona; 2018. Available from: http://hdl.handle.net/10150/630143


University of Edinburgh

21. Fehrenbach, Stefan. Language-integrated provenance.

Degree: PhD, 2019, University of Edinburgh

 Provenance is metadata about the where, the why, and the how of data. It is evidence which can answer questions such as: Where exactly did… (more)

Subjects/Keywords: provenance; language-integrated query; programming languages

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fehrenbach, S. (2019). Language-integrated provenance. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/35960

Chicago Manual of Style (16th Edition):

Fehrenbach, Stefan. “Language-integrated provenance.” 2019. Doctoral Dissertation, University of Edinburgh. Accessed December 05, 2019. http://hdl.handle.net/1842/35960.

MLA Handbook (7th Edition):

Fehrenbach, Stefan. “Language-integrated provenance.” 2019. Web. 05 Dec 2019.

Vancouver:

Fehrenbach S. Language-integrated provenance. [Internet] [Doctoral dissertation]. University of Edinburgh; 2019. [cited 2019 Dec 05]. Available from: http://hdl.handle.net/1842/35960.

Council of Science Editors:

Fehrenbach S. Language-integrated provenance. [Doctoral Dissertation]. University of Edinburgh; 2019. Available from: http://hdl.handle.net/1842/35960


Universiteit Utrecht

22. Ziafati, P. Information Engineering in Autonomous Robot Software.

Degree: 2015, Universiteit Utrecht

 In order to engage and help in our daily life, autonomous robots are to operate in dynamic and unstructured environments and interact with people. As… (more)

Subjects/Keywords: Autonomous Robotics; Information Engineering; Logic Programming; Agent Programming Languages

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ziafati, P. (2015). Information Engineering in Autonomous Robot Software. (Doctoral Dissertation). Universiteit Utrecht. Retrieved from http://dspace.library.uu.nl:8080/handle/1874/313289

Chicago Manual of Style (16th Edition):

Ziafati, P. “Information Engineering in Autonomous Robot Software.” 2015. Doctoral Dissertation, Universiteit Utrecht. Accessed December 05, 2019. http://dspace.library.uu.nl:8080/handle/1874/313289.

MLA Handbook (7th Edition):

Ziafati, P. “Information Engineering in Autonomous Robot Software.” 2015. Web. 05 Dec 2019.

Vancouver:

Ziafati P. Information Engineering in Autonomous Robot Software. [Internet] [Doctoral dissertation]. Universiteit Utrecht; 2015. [cited 2019 Dec 05]. Available from: http://dspace.library.uu.nl:8080/handle/1874/313289.

Council of Science Editors:

Ziafati P. Information Engineering in Autonomous Robot Software. [Doctoral Dissertation]. Universiteit Utrecht; 2015. Available from: http://dspace.library.uu.nl:8080/handle/1874/313289


UCLA

23. Tetali, Sai Deep. Program Analyses for Cloud Computations.

Degree: Computer Science, 2015, UCLA

 Cloud computing has become an essential part of our computing infrastructure. In this model, data and programs are hosted in (often third-party) data centers that… (more)

Subjects/Keywords: Computer science; Big Data; Cloud Computing; Programming Analysis; Programming Languages

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tetali, S. D. (2015). Program Analyses for Cloud Computations. (Thesis). UCLA. Retrieved from http://www.escholarship.org/uc/item/0nh2k2c7

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):

Tetali, Sai Deep. “Program Analyses for Cloud Computations.” 2015. Thesis, UCLA. Accessed December 05, 2019. http://www.escholarship.org/uc/item/0nh2k2c7.

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

MLA Handbook (7th Edition):

Tetali, Sai Deep. “Program Analyses for Cloud Computations.” 2015. Web. 05 Dec 2019.

Vancouver:

Tetali SD. Program Analyses for Cloud Computations. [Internet] [Thesis]. UCLA; 2015. [cited 2019 Dec 05]. Available from: http://www.escholarship.org/uc/item/0nh2k2c7.

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

Council of Science Editors:

Tetali SD. Program Analyses for Cloud Computations. [Thesis]. UCLA; 2015. Available from: http://www.escholarship.org/uc/item/0nh2k2c7

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


University of Missouri – Columbia

24. Graves, Ian. Device-level composition in ReWire.

Degree: 2015, University of Missouri – Columbia

 [ACCESS RESTRICTED TO THE UNIVERSITY OF MISSOURI AT AUTHOR'S REQUEST.] ReWire provides engineers with a tool to specify, verify and implement hardware devices for FPGAs… (more)

Subjects/Keywords: functional programming; hardware design; HDL; programming languages; Haskell; compiler

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Graves, I. (2015). Device-level composition in ReWire. (Thesis). University of Missouri – Columbia. Retrieved from http://hdl.handle.net/10355/49535

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):

Graves, Ian. “Device-level composition in ReWire.” 2015. Thesis, University of Missouri – Columbia. Accessed December 05, 2019. http://hdl.handle.net/10355/49535.

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

MLA Handbook (7th Edition):

Graves, Ian. “Device-level composition in ReWire.” 2015. Web. 05 Dec 2019.

Vancouver:

Graves I. Device-level composition in ReWire. [Internet] [Thesis]. University of Missouri – Columbia; 2015. [cited 2019 Dec 05]. Available from: http://hdl.handle.net/10355/49535.

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

Council of Science Editors:

Graves I. Device-level composition in ReWire. [Thesis]. University of Missouri – Columbia; 2015. Available from: http://hdl.handle.net/10355/49535

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


University of Texas – Austin

25. -5275-5590. Elixir: synthesis of parallel irregular algorithms.

Degree: PhD, Computer Science, 2015, University of Texas – Austin

 Algorithms in new application areas like machine learning and data analytics usually operate on unstructured sparse graphs. Writing efficient parallel code to implement these algorithms… (more)

Subjects/Keywords: Parallel programming; Programming languages; Compilers; Static analysis; Synthesis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

-5275-5590. (2015). Elixir: synthesis of parallel irregular algorithms. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/33278

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Chicago Manual of Style (16th Edition):

-5275-5590. “Elixir: synthesis of parallel irregular algorithms.” 2015. Doctoral Dissertation, University of Texas – Austin. Accessed December 05, 2019. http://hdl.handle.net/2152/33278.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

MLA Handbook (7th Edition):

-5275-5590. “Elixir: synthesis of parallel irregular algorithms.” 2015. Web. 05 Dec 2019.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Vancouver:

-5275-5590. Elixir: synthesis of parallel irregular algorithms. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2015. [cited 2019 Dec 05]. Available from: http://hdl.handle.net/2152/33278.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Council of Science Editors:

-5275-5590. Elixir: synthesis of parallel irregular algorithms. [Doctoral Dissertation]. University of Texas – Austin; 2015. Available from: http://hdl.handle.net/2152/33278

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete


University of Wisconsin – Milwaukee

26. Moctezuma, Antonio Pedro. The Effectiveness of Codesters in Teaching Basic Computer Science Topics.

Degree: MS, Computer Science, 2019, University of Wisconsin – Milwaukee

  Founded in 2014, Codesters is a visual programming environment (VPE) like the popular Scratch and Alice. Its goal is to teach middle school and… (more)

Subjects/Keywords: Block Programming; Codesters; K-12 Education; Visual Programming Environments; Visual Programming Languages; Education; Other Education

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Moctezuma, A. P. (2019). The Effectiveness of Codesters in Teaching Basic Computer Science Topics. (Thesis). University of Wisconsin – Milwaukee. Retrieved from https://dc.uwm.edu/etd/2103

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):

Moctezuma, Antonio Pedro. “The Effectiveness of Codesters in Teaching Basic Computer Science Topics.” 2019. Thesis, University of Wisconsin – Milwaukee. Accessed December 05, 2019. https://dc.uwm.edu/etd/2103.

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

MLA Handbook (7th Edition):

Moctezuma, Antonio Pedro. “The Effectiveness of Codesters in Teaching Basic Computer Science Topics.” 2019. Web. 05 Dec 2019.

Vancouver:

Moctezuma AP. The Effectiveness of Codesters in Teaching Basic Computer Science Topics. [Internet] [Thesis]. University of Wisconsin – Milwaukee; 2019. [cited 2019 Dec 05]. Available from: https://dc.uwm.edu/etd/2103.

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

Council of Science Editors:

Moctezuma AP. The Effectiveness of Codesters in Teaching Basic Computer Science Topics. [Thesis]. University of Wisconsin – Milwaukee; 2019. Available from: https://dc.uwm.edu/etd/2103

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


University of Wisconsin – Milwaukee

27. Moctezuma, Antonio Pedro. The Effectiveness of Codesters in Teaching Basic Computer Science Topics.

Degree: MS, Computer Science, 2019, University of Wisconsin – Milwaukee

  Founded in 2014, Codesters is a visual programming environment (VPE) like the popular Scratch and Alice. Its goal is to teach middle school and… (more)

Subjects/Keywords: Block Programming; Codesters; K-12 Education; Visual Programming Environments; Visual Programming Languages; Education; Other Education

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Moctezuma, A. P. (2019). The Effectiveness of Codesters in Teaching Basic Computer Science Topics. (Thesis). University of Wisconsin – Milwaukee. Retrieved from https://dc.uwm.edu/etd/2227

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):

Moctezuma, Antonio Pedro. “The Effectiveness of Codesters in Teaching Basic Computer Science Topics.” 2019. Thesis, University of Wisconsin – Milwaukee. Accessed December 05, 2019. https://dc.uwm.edu/etd/2227.

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

MLA Handbook (7th Edition):

Moctezuma, Antonio Pedro. “The Effectiveness of Codesters in Teaching Basic Computer Science Topics.” 2019. Web. 05 Dec 2019.

Vancouver:

Moctezuma AP. The Effectiveness of Codesters in Teaching Basic Computer Science Topics. [Internet] [Thesis]. University of Wisconsin – Milwaukee; 2019. [cited 2019 Dec 05]. Available from: https://dc.uwm.edu/etd/2227.

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

Council of Science Editors:

Moctezuma AP. The Effectiveness of Codesters in Teaching Basic Computer Science Topics. [Thesis]. University of Wisconsin – Milwaukee; 2019. Available from: https://dc.uwm.edu/etd/2227

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

28. E. Vacchi. PROGRAMMING LANGUAGES À LA CARTE.

Degree: 2015, Università degli Studi di Milano

 Code reuse in computer language development is an open research problem. Feature-oriented programming is a vision of computer programming in which features can be implemented… (more)

Subjects/Keywords: programming languages; dsl; domain-specific languages; feature-oriented programming; programming; compilers; interpreters; language development; Settore INF/01 - Informatica

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vacchi, E. (2015). PROGRAMMING LANGUAGES À LA CARTE. (Thesis). Università degli Studi di Milano. Retrieved from http://hdl.handle.net/2434/263620

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):

Vacchi, E.. “PROGRAMMING LANGUAGES À LA CARTE.” 2015. Thesis, Università degli Studi di Milano. Accessed December 05, 2019. http://hdl.handle.net/2434/263620.

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

MLA Handbook (7th Edition):

Vacchi, E.. “PROGRAMMING LANGUAGES À LA CARTE.” 2015. Web. 05 Dec 2019.

Vancouver:

Vacchi E. PROGRAMMING LANGUAGES À LA CARTE. [Internet] [Thesis]. Università degli Studi di Milano; 2015. [cited 2019 Dec 05]. Available from: http://hdl.handle.net/2434/263620.

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

Council of Science Editors:

Vacchi E. PROGRAMMING LANGUAGES À LA CARTE. [Thesis]. Università degli Studi di Milano; 2015. Available from: http://hdl.handle.net/2434/263620

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


Northeastern University

29. 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 December 05, 2019. http://hdl.handle.net/2047/D20213100.

MLA Handbook (7th Edition):

Stansifer, Paul. “Flexible binding-safe programming.” 2016. Web. 05 Dec 2019.

Vancouver:

Stansifer P. Flexible binding-safe programming. [Internet] [Doctoral dissertation]. Northeastern University; 2016. [cited 2019 Dec 05]. 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


Northeastern University

30. Yaddav, Vishesh. RacketScript: a Racket to JavaScript compiler.

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

 We present RacketScript, a Racket-to-JavaScript compiler that incorporates features and data structures from both Racket and JavaScript, enabling RacketScript programs to interoperate with libraries from… (more)

Subjects/Keywords: JavaScript; programming languages; web; Compilers (Computer programs); Racket (Computer program language); JavaScript (Computer program language); Programming languages (Electronic computers); Semantics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Yaddav, V. (2016). RacketScript: a Racket to JavaScript compiler. (Masters Thesis). Northeastern University. Retrieved from http://hdl.handle.net/2047/D20235622

Chicago Manual of Style (16th Edition):

Yaddav, Vishesh. “RacketScript: a Racket to JavaScript compiler.” 2016. Masters Thesis, Northeastern University. Accessed December 05, 2019. http://hdl.handle.net/2047/D20235622.

MLA Handbook (7th Edition):

Yaddav, Vishesh. “RacketScript: a Racket to JavaScript compiler.” 2016. Web. 05 Dec 2019.

Vancouver:

Yaddav V. RacketScript: a Racket to JavaScript compiler. [Internet] [Masters thesis]. Northeastern University; 2016. [cited 2019 Dec 05]. Available from: http://hdl.handle.net/2047/D20235622.

Council of Science Editors:

Yaddav V. RacketScript: a Racket to JavaScript compiler. [Masters Thesis]. Northeastern University; 2016. Available from: http://hdl.handle.net/2047/D20235622

[1] [2] [3] [4] [5] [6] [7] [8]

.