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: 2010 – 2014

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

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

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Country

▼ Search Limiters

1. Guha, Arjun. Semantics and Types for Safe Web Programming.

Degree: PhD, Computer Science, 2012, Brown University

 Web programs are distinct from traditional programs in two key ways. First, programs freely compose data and code from several sources. Second, the user often… (more)

Subjects/Keywords: programming languages

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Guha, A. (2012). Semantics and Types for Safe Web Programming. (Doctoral Dissertation). Brown University. Retrieved from https://repository.library.brown.edu/studio/item/bdr:297608/

Chicago Manual of Style (16th Edition):

Guha, Arjun. “Semantics and Types for Safe Web Programming.” 2012. Doctoral Dissertation, Brown University. Accessed December 09, 2019. https://repository.library.brown.edu/studio/item/bdr:297608/.

MLA Handbook (7th Edition):

Guha, Arjun. “Semantics and Types for Safe Web Programming.” 2012. Web. 09 Dec 2019.

Vancouver:

Guha A. Semantics and Types for Safe Web Programming. [Internet] [Doctoral dissertation]. Brown University; 2012. [cited 2019 Dec 09]. Available from: https://repository.library.brown.edu/studio/item/bdr:297608/.

Council of Science Editors:

Guha A. Semantics and Types for Safe Web Programming. [Doctoral Dissertation]. Brown University; 2012. Available from: https://repository.library.brown.edu/studio/item/bdr:297608/


Rochester Institute of Technology

2. Amsden, Edward. Timeflies: Push-pull signal-function functional reactive programming.

Degree: Computer Science (GCCIS), 2013, Rochester Institute of Technology

  Functional Reactive Programming (FRP) is a promising class of abstractions for interactive programs. FRP systems provide values defined at all points in time (behaviors… (more)

Subjects/Keywords: Functional programming; Functional reactive programming; Programming languages

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Amsden, E. (2013). Timeflies: Push-pull signal-function functional reactive programming. (Thesis). Rochester Institute of Technology. Retrieved from https://scholarworks.rit.edu/theses/5512

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

Amsden, Edward. “Timeflies: Push-pull signal-function functional reactive programming.” 2013. Thesis, Rochester Institute of Technology. Accessed December 09, 2019. https://scholarworks.rit.edu/theses/5512.

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

MLA Handbook (7th Edition):

Amsden, Edward. “Timeflies: Push-pull signal-function functional reactive programming.” 2013. Web. 09 Dec 2019.

Vancouver:

Amsden E. Timeflies: Push-pull signal-function functional reactive programming. [Internet] [Thesis]. Rochester Institute of Technology; 2013. [cited 2019 Dec 09]. Available from: https://scholarworks.rit.edu/theses/5512.

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

Council of Science Editors:

Amsden E. Timeflies: Push-pull signal-function functional reactive programming. [Thesis]. Rochester Institute of Technology; 2013. Available from: https://scholarworks.rit.edu/theses/5512

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


Victoria University of Wellington

3. Dymnikov, Constantine. OwnKit: Ownership Inference for Java.

Degree: 2013, Victoria University of Wellington

 Object ownership allows us to statically control run-time aliasing in order to provide a strong notion of object encapsulation. Unfortunately in order to use ownership,… (more)

Subjects/Keywords: Encapsulation; Aliasing; Programming languages; Object-oriented programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dymnikov, C. (2013). OwnKit: Ownership Inference for Java. (Masters Thesis). Victoria University of Wellington. Retrieved from http://hdl.handle.net/10063/2742

Chicago Manual of Style (16th Edition):

Dymnikov, Constantine. “OwnKit: Ownership Inference for Java.” 2013. Masters Thesis, Victoria University of Wellington. Accessed December 09, 2019. http://hdl.handle.net/10063/2742.

MLA Handbook (7th Edition):

Dymnikov, Constantine. “OwnKit: Ownership Inference for Java.” 2013. Web. 09 Dec 2019.

Vancouver:

Dymnikov C. OwnKit: Ownership Inference for Java. [Internet] [Masters thesis]. Victoria University of Wellington; 2013. [cited 2019 Dec 09]. Available from: http://hdl.handle.net/10063/2742.

Council of Science Editors:

Dymnikov C. OwnKit: Ownership Inference for Java. [Masters Thesis]. Victoria University of Wellington; 2013. Available from: http://hdl.handle.net/10063/2742


University of Oxford

4. Harper, Thomas. Theory and practice of shortcut fusion.

Degree: PhD, 2013, University of Oxford

 There are a number of approaches for eliminating intermediate data structures in functional programs by rewriting a composition of recursive functions as a single recursive… (more)

Subjects/Keywords: Functional programming (Computer science); Functional programming languages

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Harper, T. (2013). Theory and practice of shortcut fusion. (Doctoral Dissertation). University of Oxford. Retrieved from http://ora.ox.ac.uk/objects/uuid:0b493c43-3b85-4e3a-a844-01ac4a45c11b ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.770324

Chicago Manual of Style (16th Edition):

Harper, Thomas. “Theory and practice of shortcut fusion.” 2013. Doctoral Dissertation, University of Oxford. Accessed December 09, 2019. http://ora.ox.ac.uk/objects/uuid:0b493c43-3b85-4e3a-a844-01ac4a45c11b ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.770324.

MLA Handbook (7th Edition):

Harper, Thomas. “Theory and practice of shortcut fusion.” 2013. Web. 09 Dec 2019.

Vancouver:

Harper T. Theory and practice of shortcut fusion. [Internet] [Doctoral dissertation]. University of Oxford; 2013. [cited 2019 Dec 09]. Available from: http://ora.ox.ac.uk/objects/uuid:0b493c43-3b85-4e3a-a844-01ac4a45c11b ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.770324.

Council of Science Editors:

Harper T. Theory and practice of shortcut fusion. [Doctoral Dissertation]. University of Oxford; 2013. Available from: http://ora.ox.ac.uk/objects/uuid:0b493c43-3b85-4e3a-a844-01ac4a45c11b ; https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.770324


University of New South Wales

5. Stewart, Don. Dynamic extension of typed functional languages.

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

 We present a solution to the problem of dynamic extension in staticallytyped functional languages with type erasure. The presented solutionretains the benefits of static checking,… (more)

Subjects/Keywords: Functional programming; Programming languages; Type systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Stewart, D. (2010). Dynamic extension of typed functional languages. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/50220 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:9098/SOURCE02?view=true

Chicago Manual of Style (16th Edition):

Stewart, Don. “Dynamic extension of typed functional languages.” 2010. Doctoral Dissertation, University of New South Wales. Accessed December 09, 2019. http://handle.unsw.edu.au/1959.4/50220 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:9098/SOURCE02?view=true.

MLA Handbook (7th Edition):

Stewart, Don. “Dynamic extension of typed functional languages.” 2010. Web. 09 Dec 2019.

Vancouver:

Stewart D. Dynamic extension of typed functional languages. [Internet] [Doctoral dissertation]. University of New South Wales; 2010. [cited 2019 Dec 09]. Available from: http://handle.unsw.edu.au/1959.4/50220 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:9098/SOURCE02?view=true.

Council of Science Editors:

Stewart D. Dynamic extension of typed functional languages. [Doctoral Dissertation]. University of New South Wales; 2010. Available from: http://handle.unsw.edu.au/1959.4/50220 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:9098/SOURCE02?view=true


University of Minnesota

6. Manjacheri, Lijesh Krishnan. Composable semantics using higher-order attribute grammars.

Degree: PhD, Computer science, 2012, University of Minnesota

 Ideally, programmers could make use of domain-specific knowledge and program using constructs that implement abstractions in their problem domains, and obtain domain-appropriate feedback. Further, new… (more)

Subjects/Keywords: Attribute grammars; Compilers; Extensible languages; Programming languages

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Manjacheri, L. K. (2012). Composable semantics using higher-order attribute grammars. (Doctoral Dissertation). University of Minnesota. Retrieved from http://purl.umn.edu/144010

Chicago Manual of Style (16th Edition):

Manjacheri, Lijesh Krishnan. “Composable semantics using higher-order attribute grammars.” 2012. Doctoral Dissertation, University of Minnesota. Accessed December 09, 2019. http://purl.umn.edu/144010.

MLA Handbook (7th Edition):

Manjacheri, Lijesh Krishnan. “Composable semantics using higher-order attribute grammars.” 2012. Web. 09 Dec 2019.

Vancouver:

Manjacheri LK. Composable semantics using higher-order attribute grammars. [Internet] [Doctoral dissertation]. University of Minnesota; 2012. [cited 2019 Dec 09]. Available from: http://purl.umn.edu/144010.

Council of Science Editors:

Manjacheri LK. Composable semantics using higher-order attribute grammars. [Doctoral Dissertation]. University of Minnesota; 2012. Available from: http://purl.umn.edu/144010


University of Utah

7. Rafkind, Jon. Syntactic extension for languages with implicitly delimited and infix syntax.

Degree: PhD, Computing (School of), 2013, University of Utah

 I present the design of a parser that adds Scheme-style language extensibility to languages withimplicitly delimited and infix syntax. A key element of my design… (more)

Subjects/Keywords: extensible; macros; programming languages

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rafkind, J. (2013). Syntactic extension for languages with implicitly delimited and infix syntax. (Doctoral Dissertation). University of Utah. Retrieved from http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/2291/rec/2332

Chicago Manual of Style (16th Edition):

Rafkind, Jon. “Syntactic extension for languages with implicitly delimited and infix syntax.” 2013. Doctoral Dissertation, University of Utah. Accessed December 09, 2019. http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/2291/rec/2332.

MLA Handbook (7th Edition):

Rafkind, Jon. “Syntactic extension for languages with implicitly delimited and infix syntax.” 2013. Web. 09 Dec 2019.

Vancouver:

Rafkind J. Syntactic extension for languages with implicitly delimited and infix syntax. [Internet] [Doctoral dissertation]. University of Utah; 2013. [cited 2019 Dec 09]. Available from: http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/2291/rec/2332.

Council of Science Editors:

Rafkind J. Syntactic extension for languages with implicitly delimited and infix syntax. [Doctoral Dissertation]. University of Utah; 2013. Available from: http://content.lib.utah.edu/cdm/singleitem/collection/etd3/id/2291/rec/2332


University of Gothenburg / Göteborgs Universitet

8. Broberg, Niklas. Practical, Flexible programming with Information Flow Control.

Degree: 2011, University of Gothenburg / Göteborgs Universitet

 Mainstream mechanisms for protection of information security are not adequate. Most vulnerabilities today do not arise from deficiencies in network security or encryption mechanisms, but… (more)

Subjects/Keywords: Computer security; Programming languages

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Broberg, N. (2011). Practical, Flexible programming with Information Flow Control. (Thesis). University of Gothenburg / Göteborgs Universitet. Retrieved from http://hdl.handle.net/2077/26534

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

Broberg, Niklas. “Practical, Flexible programming with Information Flow Control.” 2011. Thesis, University of Gothenburg / Göteborgs Universitet. Accessed December 09, 2019. http://hdl.handle.net/2077/26534.

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

MLA Handbook (7th Edition):

Broberg, Niklas. “Practical, Flexible programming with Information Flow Control.” 2011. Web. 09 Dec 2019.

Vancouver:

Broberg N. Practical, Flexible programming with Information Flow Control. [Internet] [Thesis]. University of Gothenburg / Göteborgs Universitet; 2011. [cited 2019 Dec 09]. Available from: http://hdl.handle.net/2077/26534.

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

Council of Science Editors:

Broberg N. Practical, Flexible programming with Information Flow Control. [Thesis]. University of Gothenburg / Göteborgs Universitet; 2011. Available from: http://hdl.handle.net/2077/26534

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

9. Novikov, Mikhail. Smart syntax highlighting for dynamically typed languages : Case: Common Lisp in Emacs .

Degree: 2010, Theseus

 Today, Java, C++ and C# being the most popular programming languages, the majority of integrated development environments are tailored for them, and, in general, for… (more)

Subjects/Keywords: programming; programming languages; dynamic languages; syntax highlighting; development environments

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Novikov, M. (2010). Smart syntax highlighting for dynamically typed languages : Case: Common Lisp in Emacs . (Thesis). Theseus. Retrieved from http://www.theseus.fi/handle/10024/23735

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

Novikov, Mikhail. “Smart syntax highlighting for dynamically typed languages : Case: Common Lisp in Emacs .” 2010. Thesis, Theseus. Accessed December 09, 2019. http://www.theseus.fi/handle/10024/23735.

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

MLA Handbook (7th Edition):

Novikov, Mikhail. “Smart syntax highlighting for dynamically typed languages : Case: Common Lisp in Emacs .” 2010. Web. 09 Dec 2019.

Vancouver:

Novikov M. Smart syntax highlighting for dynamically typed languages : Case: Common Lisp in Emacs . [Internet] [Thesis]. Theseus; 2010. [cited 2019 Dec 09]. Available from: http://www.theseus.fi/handle/10024/23735.

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

Council of Science Editors:

Novikov M. Smart syntax highlighting for dynamically typed languages : Case: Common Lisp in Emacs . [Thesis]. Theseus; 2010. Available from: http://www.theseus.fi/handle/10024/23735

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


Portland State University

10. Morris, John Garrett. Type Classes and Instance Chains: A Relational Approach.

Degree: PhD, Computer Science, 2013, Portland State University

  Type classes, first proposed during the design of the Haskell programming language, extend standard type systems to support overloaded functions. Since their introduction, type… (more)

Subjects/Keywords: Functional programming languages; Haskell (Computer program language); Functional programming (Computer science); Programming Languages and Compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Morris, J. G. (2013). Type Classes and Instance Chains: A Relational Approach. (Doctoral Dissertation). Portland State University. Retrieved from https://pdxscholar.library.pdx.edu/open_access_etds/1010

Chicago Manual of Style (16th Edition):

Morris, John Garrett. “Type Classes and Instance Chains: A Relational Approach.” 2013. Doctoral Dissertation, Portland State University. Accessed December 09, 2019. https://pdxscholar.library.pdx.edu/open_access_etds/1010.

MLA Handbook (7th Edition):

Morris, John Garrett. “Type Classes and Instance Chains: A Relational Approach.” 2013. Web. 09 Dec 2019.

Vancouver:

Morris JG. Type Classes and Instance Chains: A Relational Approach. [Internet] [Doctoral dissertation]. Portland State University; 2013. [cited 2019 Dec 09]. Available from: https://pdxscholar.library.pdx.edu/open_access_etds/1010.

Council of Science Editors:

Morris JG. Type Classes and Instance Chains: A Relational Approach. [Doctoral Dissertation]. Portland State University; 2013. Available from: https://pdxscholar.library.pdx.edu/open_access_etds/1010


University of Toledo

11. Armstrong, Kris A. The Separation Principle – A Principle for Programming Language Design.

Degree: MSin Engineering, College of Engineering, 2013, University of Toledo

 This thesis explores a novel and exciting new principle for programming language design. This is called the “Separation Principle”. It is derived from a language… (more)

Subjects/Keywords: Computer Science; software; separation principle; programming languages; visual programming; graphical programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Armstrong, K. A. (2013). The Separation Principle – A Principle for Programming Language Design. (Masters Thesis). University of Toledo. Retrieved from http://rave.ohiolink.edu/etdc/view?acc_num=toledo1373382351

Chicago Manual of Style (16th Edition):

Armstrong, Kris A. “The Separation Principle – A Principle for Programming Language Design.” 2013. Masters Thesis, University of Toledo. Accessed December 09, 2019. http://rave.ohiolink.edu/etdc/view?acc_num=toledo1373382351.

MLA Handbook (7th Edition):

Armstrong, Kris A. “The Separation Principle – A Principle for Programming Language Design.” 2013. Web. 09 Dec 2019.

Vancouver:

Armstrong KA. The Separation Principle – A Principle for Programming Language Design. [Internet] [Masters thesis]. University of Toledo; 2013. [cited 2019 Dec 09]. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=toledo1373382351.

Council of Science Editors:

Armstrong KA. The Separation Principle – A Principle for Programming Language Design. [Masters Thesis]. University of Toledo; 2013. Available from: http://rave.ohiolink.edu/etdc/view?acc_num=toledo1373382351


University of Rochester

12. Dalessandro, Luke K. Preserving the appeal of transactional programming.

Degree: PhD, 2014, University of Rochester

 Transactional Memory (TM) promises a unique combination of safety, convenience, and scalability for synchronization in parallel programs. Programs are annotated with transactions designating regions of… (more)

Subjects/Keywords: Concurrent programming; Parallel programming; Programming languages; Transactional memory

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dalessandro, L. K. (2014). Preserving the appeal of transactional programming. (Doctoral Dissertation). University of Rochester. Retrieved from http://hdl.handle.net/1802/28283

Chicago Manual of Style (16th Edition):

Dalessandro, Luke K. “Preserving the appeal of transactional programming.” 2014. Doctoral Dissertation, University of Rochester. Accessed December 09, 2019. http://hdl.handle.net/1802/28283.

MLA Handbook (7th Edition):

Dalessandro, Luke K. “Preserving the appeal of transactional programming.” 2014. Web. 09 Dec 2019.

Vancouver:

Dalessandro LK. Preserving the appeal of transactional programming. [Internet] [Doctoral dissertation]. University of Rochester; 2014. [cited 2019 Dec 09]. Available from: http://hdl.handle.net/1802/28283.

Council of Science Editors:

Dalessandro LK. Preserving the appeal of transactional programming. [Doctoral Dissertation]. University of Rochester; 2014. Available from: http://hdl.handle.net/1802/28283


Macquarie University

13. Roberts, Matthew. Compiled generics for functional programming languages.

Degree: 2011, Macquarie University

"This dissertation is presented for the degree of Doctor of Philosophy".

"March 2011"

Bibliography: pages 183-190.

1. Introduction  – 2. Generic functions  – 3. Encoding… (more)

Subjects/Keywords: Functional programming languages; Functional programming (Computer science); Computer architecture; Compilers (Computer programs); Language compilers; Functional programming; Programming languages

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Roberts, M. (2011). Compiled generics for functional programming languages. (Doctoral Dissertation). Macquarie University. Retrieved from http://hdl.handle.net/1959.14/337819

Chicago Manual of Style (16th Edition):

Roberts, Matthew. “Compiled generics for functional programming languages.” 2011. Doctoral Dissertation, Macquarie University. Accessed December 09, 2019. http://hdl.handle.net/1959.14/337819.

MLA Handbook (7th Edition):

Roberts, Matthew. “Compiled generics for functional programming languages.” 2011. Web. 09 Dec 2019.

Vancouver:

Roberts M. Compiled generics for functional programming languages. [Internet] [Doctoral dissertation]. Macquarie University; 2011. [cited 2019 Dec 09]. Available from: http://hdl.handle.net/1959.14/337819.

Council of Science Editors:

Roberts M. Compiled generics for functional programming languages. [Doctoral Dissertation]. Macquarie University; 2011. Available from: http://hdl.handle.net/1959.14/337819


Victoria University of Wellington

14. Schmager, Frank. Evaluating the GO Programming Language with Design Patterns.

Degree: 2010, Victoria University of Wellington

 GO is a new object-oriented programming language developed at Google by Rob Pike, Ken Thompson, and others. GO has the potential to become a major… (more)

Subjects/Keywords: GO; Design patterns; Programming languages; Evaluation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Schmager, F. (2010). Evaluating the GO Programming Language with Design Patterns. (Masters Thesis). Victoria University of Wellington. Retrieved from http://hdl.handle.net/10063/1553

Chicago Manual of Style (16th Edition):

Schmager, Frank. “Evaluating the GO Programming Language with Design Patterns.” 2010. Masters Thesis, Victoria University of Wellington. Accessed December 09, 2019. http://hdl.handle.net/10063/1553.

MLA Handbook (7th Edition):

Schmager, Frank. “Evaluating the GO Programming Language with Design Patterns.” 2010. Web. 09 Dec 2019.

Vancouver:

Schmager F. Evaluating the GO Programming Language with Design Patterns. [Internet] [Masters thesis]. Victoria University of Wellington; 2010. [cited 2019 Dec 09]. Available from: http://hdl.handle.net/10063/1553.

Council of Science Editors:

Schmager F. Evaluating the GO Programming Language with Design Patterns. [Masters Thesis]. Victoria University of Wellington; 2010. Available from: http://hdl.handle.net/10063/1553


University of Vermont

15. Norton, Rebecca C. Messaging in Scalaness: A Programming Language for Wireless Sensor Networks.

Degree: Computer Science, 2014, University of Vermont

  This paper presents the design and implementation of three types of messaging primitives for the Scalaness programming language. The main idea behind this project… (more)

Subjects/Keywords: programming languages; wireless sensor networks; network communication

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Norton, R. C. (2014). Messaging in Scalaness: A Programming Language for Wireless Sensor Networks. (Thesis). University of Vermont. Retrieved from https://scholarworks.uvm.edu/hcoltheses/40

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

Norton, Rebecca C. “Messaging in Scalaness: A Programming Language for Wireless Sensor Networks.” 2014. Thesis, University of Vermont. Accessed December 09, 2019. https://scholarworks.uvm.edu/hcoltheses/40.

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

MLA Handbook (7th Edition):

Norton, Rebecca C. “Messaging in Scalaness: A Programming Language for Wireless Sensor Networks.” 2014. Web. 09 Dec 2019.

Vancouver:

Norton RC. Messaging in Scalaness: A Programming Language for Wireless Sensor Networks. [Internet] [Thesis]. University of Vermont; 2014. [cited 2019 Dec 09]. Available from: https://scholarworks.uvm.edu/hcoltheses/40.

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

Council of Science Editors:

Norton RC. Messaging in Scalaness: A Programming Language for Wireless Sensor Networks. [Thesis]. University of Vermont; 2014. Available from: https://scholarworks.uvm.edu/hcoltheses/40

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


EPFL

16. Rompf, Tiark. Lightweight Modular Staging and Embedded Compilers: Abstraction without Regret for High-Level High-Performance Programming.

Degree: 2012, EPFL

 Programs expressed in a high-level programming language need to be translated to a low-level machine dialect for execution. This translation is usually accomplished by a… (more)

Subjects/Keywords: Programming Languages; Compilers; Staging; Performance; Parallelism

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rompf, T. (2012). Lightweight Modular Staging and Embedded Compilers: Abstraction without Regret for High-Level High-Performance Programming. (Thesis). EPFL. Retrieved from http://infoscience.epfl.ch/record/180642

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

Rompf, Tiark. “Lightweight Modular Staging and Embedded Compilers: Abstraction without Regret for High-Level High-Performance Programming.” 2012. Thesis, EPFL. Accessed December 09, 2019. http://infoscience.epfl.ch/record/180642.

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

MLA Handbook (7th Edition):

Rompf, Tiark. “Lightweight Modular Staging and Embedded Compilers: Abstraction without Regret for High-Level High-Performance Programming.” 2012. Web. 09 Dec 2019.

Vancouver:

Rompf T. Lightweight Modular Staging and Embedded Compilers: Abstraction without Regret for High-Level High-Performance Programming. [Internet] [Thesis]. EPFL; 2012. [cited 2019 Dec 09]. Available from: http://infoscience.epfl.ch/record/180642.

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

Council of Science Editors:

Rompf T. Lightweight Modular Staging and Embedded Compilers: Abstraction without Regret for High-Level High-Performance Programming. [Thesis]. EPFL; 2012. Available from: http://infoscience.epfl.ch/record/180642

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


University of California – Berkeley

17. Galenson, Joel David. Dynamic and Interactive Synthesis of Code Snippets.

Degree: Computer Science, 2014, University of California – Berkeley

 Many code fragments are difficult to write. For example, using new and unfamiliar APIs can be a complex task with a steep learning curve. In… (more)

Subjects/Keywords: Computer science; Programming languages; Program synthesis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Galenson, J. D. (2014). Dynamic and Interactive Synthesis of Code Snippets. (Thesis). University of California – Berkeley. Retrieved from http://www.escholarship.org/uc/item/6js5v4bj

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

Galenson, Joel David. “Dynamic and Interactive Synthesis of Code Snippets.” 2014. Thesis, University of California – Berkeley. Accessed December 09, 2019. http://www.escholarship.org/uc/item/6js5v4bj.

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

MLA Handbook (7th Edition):

Galenson, Joel David. “Dynamic and Interactive Synthesis of Code Snippets.” 2014. Web. 09 Dec 2019.

Vancouver:

Galenson JD. Dynamic and Interactive Synthesis of Code Snippets. [Internet] [Thesis]. University of California – Berkeley; 2014. [cited 2019 Dec 09]. Available from: http://www.escholarship.org/uc/item/6js5v4bj.

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

Council of Science Editors:

Galenson JD. Dynamic and Interactive Synthesis of Code Snippets. [Thesis]. University of California – Berkeley; 2014. Available from: http://www.escholarship.org/uc/item/6js5v4bj

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


University of Waikato

18. Perrone, Gian David. Bigraph Metaprogramming for Distributed Computation .

Degree: 2010, University of Waikato

 Ubiquitous computing is a paradigm that emphasises integration of computing activities into the fabric of everyday life. With the increasing availability of small, cheap computing… (more)

Subjects/Keywords: bigraphs; distributed computing; ubiquitous computing; programming languages

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Perrone, G. D. (2010). Bigraph Metaprogramming for Distributed Computation . (Masters Thesis). University of Waikato. Retrieved from http://hdl.handle.net/10289/4389

Chicago Manual of Style (16th Edition):

Perrone, Gian David. “Bigraph Metaprogramming for Distributed Computation .” 2010. Masters Thesis, University of Waikato. Accessed December 09, 2019. http://hdl.handle.net/10289/4389.

MLA Handbook (7th Edition):

Perrone, Gian David. “Bigraph Metaprogramming for Distributed Computation .” 2010. Web. 09 Dec 2019.

Vancouver:

Perrone GD. Bigraph Metaprogramming for Distributed Computation . [Internet] [Masters thesis]. University of Waikato; 2010. [cited 2019 Dec 09]. Available from: http://hdl.handle.net/10289/4389.

Council of Science Editors:

Perrone GD. Bigraph Metaprogramming for Distributed Computation . [Masters Thesis]. University of Waikato; 2010. Available from: http://hdl.handle.net/10289/4389


University of Houston

19. Aribuki, Ayodunni 1982-. A High-Level Programming Model for Embedded Multicore Processors.

Degree: Computer Science, Department of, 2013, University of Houston

 Traditionally, embedded programmers have relied on using low-level mechanisms for coordinating parallelism and managing memory. This is typically a herculean task, especially considering that this… (more)

Subjects/Keywords: Programming languages; compilers; OpenMP; performance; Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Aribuki, A. 1. (2013). A High-Level Programming Model for Embedded Multicore Processors. (Thesis). University of Houston. Retrieved from http://hdl.handle.net/10657/1066

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

Aribuki, Ayodunni 1982-. “A High-Level Programming Model for Embedded Multicore Processors.” 2013. Thesis, University of Houston. Accessed December 09, 2019. http://hdl.handle.net/10657/1066.

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

MLA Handbook (7th Edition):

Aribuki, Ayodunni 1982-. “A High-Level Programming Model for Embedded Multicore Processors.” 2013. Web. 09 Dec 2019.

Vancouver:

Aribuki A1. A High-Level Programming Model for Embedded Multicore Processors. [Internet] [Thesis]. University of Houston; 2013. [cited 2019 Dec 09]. Available from: http://hdl.handle.net/10657/1066.

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

Council of Science Editors:

Aribuki A1. A High-Level Programming Model for Embedded Multicore Processors. [Thesis]. University of Houston; 2013. Available from: http://hdl.handle.net/10657/1066

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


University of Waterloo

20. Krischer, Roy. Advanced Concepts in Asynchronous Exception Handling.

Degree: 2011, University of Waterloo

 Asynchronous exception handling is a useful and sometimes necessary alternative form of communication among threads. This thesis examines and classifies general concepts related to asynchrony,… (more)

Subjects/Keywords: programming languages; control flow; concurrency; exception handling

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Krischer, R. (2011). Advanced Concepts in Asynchronous Exception Handling. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/5751

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

Krischer, Roy. “Advanced Concepts in Asynchronous Exception Handling.” 2011. Thesis, University of Waterloo. Accessed December 09, 2019. http://hdl.handle.net/10012/5751.

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

MLA Handbook (7th Edition):

Krischer, Roy. “Advanced Concepts in Asynchronous Exception Handling.” 2011. Web. 09 Dec 2019.

Vancouver:

Krischer R. Advanced Concepts in Asynchronous Exception Handling. [Internet] [Thesis]. University of Waterloo; 2011. [cited 2019 Dec 09]. Available from: http://hdl.handle.net/10012/5751.

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

Council of Science Editors:

Krischer R. Advanced Concepts in Asynchronous Exception Handling. [Thesis]. University of Waterloo; 2011. Available from: http://hdl.handle.net/10012/5751

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


University of Illinois – Urbana-Champaign

21. Katelman, Michael. A meta-language for functional verification.

Degree: PhD, 0112, 2012, University of Illinois – Urbana-Champaign

 This dissertation perceives a similarity between two activities: that of coordinating the search for simulation traces toward reaching verification closure, and that of coordinating the… (more)

Subjects/Keywords: Programming Languages; Formal Methods; Hardware Verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Katelman, M. (2012). A meta-language for functional verification. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/29614

Chicago Manual of Style (16th Edition):

Katelman, Michael. “A meta-language for functional verification.” 2012. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed December 09, 2019. http://hdl.handle.net/2142/29614.

MLA Handbook (7th Edition):

Katelman, Michael. “A meta-language for functional verification.” 2012. Web. 09 Dec 2019.

Vancouver:

Katelman M. A meta-language for functional verification. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2012. [cited 2019 Dec 09]. Available from: http://hdl.handle.net/2142/29614.

Council of Science Editors:

Katelman M. A meta-language for functional verification. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2012. Available from: http://hdl.handle.net/2142/29614


San Jose State University

22. Bhardwaj, Deepti. Model-Controller Interfacing using Struts-Based Web Application.

Degree: MS, Computer Science, 2011, San Jose State University

  StrutsHib IDE is an IDE for interfacing the model and controller of a MVC architecture based applications. It is developed using Java-based technologies such… (more)

Subjects/Keywords: Web based; Programming Languages and Compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bhardwaj, D. (2011). Model-Controller Interfacing using Struts-Based Web Application. (Masters Thesis). San Jose State University. Retrieved from https://doi.org/10.31979/etd.jrb9-g6ye ; https://scholarworks.sjsu.edu/etd_projects/166

Chicago Manual of Style (16th Edition):

Bhardwaj, Deepti. “Model-Controller Interfacing using Struts-Based Web Application.” 2011. Masters Thesis, San Jose State University. Accessed December 09, 2019. https://doi.org/10.31979/etd.jrb9-g6ye ; https://scholarworks.sjsu.edu/etd_projects/166.

MLA Handbook (7th Edition):

Bhardwaj, Deepti. “Model-Controller Interfacing using Struts-Based Web Application.” 2011. Web. 09 Dec 2019.

Vancouver:

Bhardwaj D. Model-Controller Interfacing using Struts-Based Web Application. [Internet] [Masters thesis]. San Jose State University; 2011. [cited 2019 Dec 09]. Available from: https://doi.org/10.31979/etd.jrb9-g6ye ; https://scholarworks.sjsu.edu/etd_projects/166.

Council of Science Editors:

Bhardwaj D. Model-Controller Interfacing using Struts-Based Web Application. [Masters Thesis]. San Jose State University; 2011. Available from: https://doi.org/10.31979/etd.jrb9-g6ye ; https://scholarworks.sjsu.edu/etd_projects/166


University of Arizona

23. Roback, Joseph Anthony. Gossamer: A Lightweight Approach to Using Multicore Machines .

Degree: 2010, University of Arizona

 The key to performance improvements in the multicore era is for software toutilize the newly available concurrency. Consequently, programmers will have tolearn new programming techniques,… (more)

Subjects/Keywords: annotations; C; compiler; gossamer; parallel; programming languages

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Roback, J. A. (2010). Gossamer: A Lightweight Approach to Using Multicore Machines . (Doctoral Dissertation). University of Arizona. Retrieved from http://hdl.handle.net/10150/194468

Chicago Manual of Style (16th Edition):

Roback, Joseph Anthony. “Gossamer: A Lightweight Approach to Using Multicore Machines .” 2010. Doctoral Dissertation, University of Arizona. Accessed December 09, 2019. http://hdl.handle.net/10150/194468.

MLA Handbook (7th Edition):

Roback, Joseph Anthony. “Gossamer: A Lightweight Approach to Using Multicore Machines .” 2010. Web. 09 Dec 2019.

Vancouver:

Roback JA. Gossamer: A Lightweight Approach to Using Multicore Machines . [Internet] [Doctoral dissertation]. University of Arizona; 2010. [cited 2019 Dec 09]. Available from: http://hdl.handle.net/10150/194468.

Council of Science Editors:

Roback JA. Gossamer: A Lightweight Approach to Using Multicore Machines . [Doctoral Dissertation]. University of Arizona; 2010. Available from: http://hdl.handle.net/10150/194468

24. Ahn, Ki Yung. The Nax Language: Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types.

Degree: PhD, Computer Science, 2014, Portland State University

  Two major applications of lambda calculi in computer science are functional programming languages and mechanized reasoning systems (or, proof assistants). According to the Curry –… (more)

Subjects/Keywords: Programming languages (Electronic computers); Lambda calculus; Curry-Howard isomorphism; Computer Sciences; Programming Languages and Compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ahn, K. Y. (2014). The Nax Language: Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types. (Doctoral Dissertation). Portland State University. Retrieved from https://pdxscholar.library.pdx.edu/open_access_etds/2088

Chicago Manual of Style (16th Edition):

Ahn, Ki Yung. “The Nax Language: Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types.” 2014. Doctoral Dissertation, Portland State University. Accessed December 09, 2019. https://pdxscholar.library.pdx.edu/open_access_etds/2088.

MLA Handbook (7th Edition):

Ahn, Ki Yung. “The Nax Language: Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types.” 2014. Web. 09 Dec 2019.

Vancouver:

Ahn KY. The Nax Language: Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types. [Internet] [Doctoral dissertation]. Portland State University; 2014. [cited 2019 Dec 09]. Available from: https://pdxscholar.library.pdx.edu/open_access_etds/2088.

Council of Science Editors:

Ahn KY. The Nax Language: Unifying Functional Programming and Logical Reasoning in a Language based on Mendler-style Recursion Schemes and Term-indexed Types. [Doctoral Dissertation]. Portland State University; 2014. Available from: https://pdxscholar.library.pdx.edu/open_access_etds/2088


Northeastern University

25. Dimoulas, Christos. Foundations for behavioral higher-order contracts.

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

 Contracts are a popular mechanism for enhancing the interface of components. In the world of first-order functions, programmers embrace contracts because they write them in… (more)

Subjects/Keywords: design; programming languages; semantics; software contracts; Computer Sciences; Programming Languages and Compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dimoulas, C. (2012). Foundations for behavioral higher-order contracts. (Doctoral Dissertation). Northeastern University. Retrieved from http://hdl.handle.net/2047/d20002848

Chicago Manual of Style (16th Edition):

Dimoulas, Christos. “Foundations for behavioral higher-order contracts.” 2012. Doctoral Dissertation, Northeastern University. Accessed December 09, 2019. http://hdl.handle.net/2047/d20002848.

MLA Handbook (7th Edition):

Dimoulas, Christos. “Foundations for behavioral higher-order contracts.” 2012. Web. 09 Dec 2019.

Vancouver:

Dimoulas C. Foundations for behavioral higher-order contracts. [Internet] [Doctoral dissertation]. Northeastern University; 2012. [cited 2019 Dec 09]. Available from: http://hdl.handle.net/2047/d20002848.

Council of Science Editors:

Dimoulas C. Foundations for behavioral higher-order contracts. [Doctoral Dissertation]. Northeastern University; 2012. Available from: http://hdl.handle.net/2047/d20002848


Northeastern University

26. Turon, Aaron Joseph. Understanding and expressing scalable concurrency.

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

 The Holy Grail of parallel programming is to provide good speedup while hiding or avoiding the pitfalls of concurrency. But some level in the tower… (more)

Subjects/Keywords: concurrency; lock-free data structures; parallelism; programming languages; verification; Computer Sciences; Programming Languages and Compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Turon, A. J. (2013). Understanding and expressing scalable concurrency. (Doctoral Dissertation). Northeastern University. Retrieved from http://hdl.handle.net/2047/d20003058

Chicago Manual of Style (16th Edition):

Turon, Aaron Joseph. “Understanding and expressing scalable concurrency.” 2013. Doctoral Dissertation, Northeastern University. Accessed December 09, 2019. http://hdl.handle.net/2047/d20003058.

MLA Handbook (7th Edition):

Turon, Aaron Joseph. “Understanding and expressing scalable concurrency.” 2013. Web. 09 Dec 2019.

Vancouver:

Turon AJ. Understanding and expressing scalable concurrency. [Internet] [Doctoral dissertation]. Northeastern University; 2013. [cited 2019 Dec 09]. Available from: http://hdl.handle.net/2047/d20003058.

Council of Science Editors:

Turon AJ. Understanding and expressing scalable concurrency. [Doctoral Dissertation]. Northeastern University; 2013. Available from: http://hdl.handle.net/2047/d20003058


University of Colorado

27. Tafoya, Carlos Jerome. Visual Assembly and Analysis of Cryptographic Ciphers.

Degree: MS, Computer Science, 2011, University of Colorado

  Cryptography can be viewed as the science of information hiding. One key primitive of cryptography is the cipher. In order to assemble and analyze… (more)

Subjects/Keywords: Cipher; Visual Programming; Computer Sciences; Programming Languages and Compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tafoya, C. J. (2011). Visual Assembly and Analysis of Cryptographic Ciphers. (Masters Thesis). University of Colorado. Retrieved from http://scholar.colorado.edu/csci_gradetds/24

Chicago Manual of Style (16th Edition):

Tafoya, Carlos Jerome. “Visual Assembly and Analysis of Cryptographic Ciphers.” 2011. Masters Thesis, University of Colorado. Accessed December 09, 2019. http://scholar.colorado.edu/csci_gradetds/24.

MLA Handbook (7th Edition):

Tafoya, Carlos Jerome. “Visual Assembly and Analysis of Cryptographic Ciphers.” 2011. Web. 09 Dec 2019.

Vancouver:

Tafoya CJ. Visual Assembly and Analysis of Cryptographic Ciphers. [Internet] [Masters thesis]. University of Colorado; 2011. [cited 2019 Dec 09]. Available from: http://scholar.colorado.edu/csci_gradetds/24.

Council of Science Editors:

Tafoya CJ. Visual Assembly and Analysis of Cryptographic Ciphers. [Masters Thesis]. University of Colorado; 2011. Available from: http://scholar.colorado.edu/csci_gradetds/24


University of New South Wales

28. Lee, Sean Youngsung. Accelerating Haskell Array Codes with Algorithmic Skeletons on GPUs.

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

 GPUs have been gaining popularity as general purpose parallel processors that deliver a performance to cost ratio superior to that of CPUs. However, programming on… (more)

Subjects/Keywords: Programming Languages and Systems; Haskell; GPGPU; Parallel Programming; Algorithmic Skeletons

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lee, S. Y. (2011). Accelerating Haskell Array Codes with Algorithmic Skeletons on GPUs. (Doctoral Dissertation). University of New South Wales. Retrieved from http://handle.unsw.edu.au/1959.4/51679 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:10346/SOURCE02?view=true

Chicago Manual of Style (16th Edition):

Lee, Sean Youngsung. “Accelerating Haskell Array Codes with Algorithmic Skeletons on GPUs.” 2011. Doctoral Dissertation, University of New South Wales. Accessed December 09, 2019. http://handle.unsw.edu.au/1959.4/51679 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:10346/SOURCE02?view=true.

MLA Handbook (7th Edition):

Lee, Sean Youngsung. “Accelerating Haskell Array Codes with Algorithmic Skeletons on GPUs.” 2011. Web. 09 Dec 2019.

Vancouver:

Lee SY. Accelerating Haskell Array Codes with Algorithmic Skeletons on GPUs. [Internet] [Doctoral dissertation]. University of New South Wales; 2011. [cited 2019 Dec 09]. Available from: http://handle.unsw.edu.au/1959.4/51679 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:10346/SOURCE02?view=true.

Council of Science Editors:

Lee SY. Accelerating Haskell Array Codes with Algorithmic Skeletons on GPUs. [Doctoral Dissertation]. University of New South Wales; 2011. Available from: http://handle.unsw.edu.au/1959.4/51679 ; https://unsworks.unsw.edu.au/fapi/datastream/unsworks:10346/SOURCE02?view=true


University of New Mexico

29. Reedy, Geoffrey. Design and Implementation of a Scala Compiler Backend Targeting the Low Level Virtual Machine.

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

 The Scala programming language successfully blends object-oriented and functional programming. The current implementation of Scala is tied to the Java Virtual Machine (JVM) which constrains… (more)

Subjects/Keywords: programming languages; compilers; programming language implementation; llvm; scala

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Reedy, G. (2014). Design and Implementation of a Scala Compiler Backend Targeting the Low Level Virtual Machine. (Masters Thesis). University of New Mexico. Retrieved from http://hdl.handle.net/1928/24275

Chicago Manual of Style (16th Edition):

Reedy, Geoffrey. “Design and Implementation of a Scala Compiler Backend Targeting the Low Level Virtual Machine.” 2014. Masters Thesis, University of New Mexico. Accessed December 09, 2019. http://hdl.handle.net/1928/24275.

MLA Handbook (7th Edition):

Reedy, Geoffrey. “Design and Implementation of a Scala Compiler Backend Targeting the Low Level Virtual Machine.” 2014. Web. 09 Dec 2019.

Vancouver:

Reedy G. Design and Implementation of a Scala Compiler Backend Targeting the Low Level Virtual Machine. [Internet] [Masters thesis]. University of New Mexico; 2014. [cited 2019 Dec 09]. Available from: http://hdl.handle.net/1928/24275.

Council of Science Editors:

Reedy G. Design and Implementation of a Scala Compiler Backend Targeting the Low Level Virtual Machine. [Masters Thesis]. University of New Mexico; 2014. Available from: http://hdl.handle.net/1928/24275


Northeastern University

30. Strickland, Tharpe Stephen. Scaling contracts to realistic languages.

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

 Contracts allow programmers to specify the expected behavior and use of program components separately from the code of the components themselves. Since Bertrand Meyer introduced… (more)

Subjects/Keywords: contract systems; computer programming; Computer Sciences; Programming Languages and Compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Strickland, T. S. (2012). Scaling contracts to realistic languages. (Doctoral Dissertation). Northeastern University. Retrieved from http://hdl.handle.net/2047/d20002780

Chicago Manual of Style (16th Edition):

Strickland, Tharpe Stephen. “Scaling contracts to realistic languages.” 2012. Doctoral Dissertation, Northeastern University. Accessed December 09, 2019. http://hdl.handle.net/2047/d20002780.

MLA Handbook (7th Edition):

Strickland, Tharpe Stephen. “Scaling contracts to realistic languages.” 2012. Web. 09 Dec 2019.

Vancouver:

Strickland TS. Scaling contracts to realistic languages. [Internet] [Doctoral dissertation]. Northeastern University; 2012. [cited 2019 Dec 09]. Available from: http://hdl.handle.net/2047/d20002780.

Council of Science Editors:

Strickland TS. Scaling contracts to realistic languages. [Doctoral Dissertation]. Northeastern University; 2012. Available from: http://hdl.handle.net/2047/d20002780

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

.