Advanced search options

Advanced Search Options 🞨

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

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(Programming Languages AND Compilers). Showing records 1 – 30 of 185 total matches.

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

Search Limiters

Last 2 Years | English Only

Degrees

Levels

Country

▼ Search Limiters


University of Minnesota

1. 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 August 20, 2019. http://purl.umn.edu/144010.

MLA Handbook (7th Edition):

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

Vancouver:

Manjacheri LK. Composable semantics using higher-order attribute grammars. [Internet] [Doctoral dissertation]. University of Minnesota; 2012. [cited 2019 Aug 20]. 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


EPFL

2. 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 August 20, 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. 20 Aug 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 Aug 20]. 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 Hawaii – Manoa

3. 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 August 20, 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. 20 Aug 2019.

Vancouver:

Soulier P. A Language for Embedded and Cyber-Physical Systems. [Internet] [Thesis]. University of Hawaii – Manoa; 2017. [cited 2019 Aug 20]. 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


University of Houston

4. 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 August 20, 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. 20 Aug 2019.

Vancouver:

Aribuki A1. A High-Level Programming Model for Embedded Multicore Processors. [Internet] [Thesis]. University of Houston; 2013. [cited 2019 Aug 20]. 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


San Jose State University

5. 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 August 20, 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. 20 Aug 2019.

Vancouver:

Bhardwaj D. Model-Controller Interfacing using Struts-Based Web Application. [Internet] [Masters thesis]. San Jose State University; 2011. [cited 2019 Aug 20]. 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 Pennsylvania

6. Vaughan, Jeffrey A. Aura: Programming with Authorization and Audit.

Degree: 2009, University of Pennsylvania

 Standard programming models do not provide direct ways of managing secret or untrusted data. This is a problem because programmers must use ad hoc methods… (more)

Subjects/Keywords: access control; audit; cryptography; programming languages; types; Programming Languages and Compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vaughan, J. A. (2009). Aura: Programming with Authorization and Audit. (Thesis). University of Pennsylvania. Retrieved from https://repository.upenn.edu/edissertations/48

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

Vaughan, Jeffrey A. “Aura: Programming with Authorization and Audit.” 2009. Thesis, University of Pennsylvania. Accessed August 20, 2019. https://repository.upenn.edu/edissertations/48.

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

MLA Handbook (7th Edition):

Vaughan, Jeffrey A. “Aura: Programming with Authorization and Audit.” 2009. Web. 20 Aug 2019.

Vancouver:

Vaughan JA. Aura: Programming with Authorization and Audit. [Internet] [Thesis]. University of Pennsylvania; 2009. [cited 2019 Aug 20]. Available from: https://repository.upenn.edu/edissertations/48.

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

Council of Science Editors:

Vaughan JA. Aura: Programming with Authorization and Audit. [Thesis]. University of Pennsylvania; 2009. Available from: https://repository.upenn.edu/edissertations/48

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


Cal Poly

7. 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 August 20, 2019. https://digitalcommons.calpoly.edu/theses/1859.

MLA Handbook (7th Edition):

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

Vancouver:

Tran AT. An Empirical Study of Alias Analysis Techniques. [Internet] [Masters thesis]. Cal Poly; 2018. [cited 2019 Aug 20]. 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


Macquarie University

8. 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 August 20, 2019. http://hdl.handle.net/1959.14/337819.

MLA Handbook (7th Edition):

Roberts, Matthew. “Compiled generics for functional programming languages.” 2011. Web. 20 Aug 2019.

Vancouver:

Roberts M. Compiled generics for functional programming languages. [Internet] [Doctoral dissertation]. Macquarie University; 2011. [cited 2019 Aug 20]. 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


Portland State University

9. 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 August 20, 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. 20 Aug 2019.

Vancouver:

Morris JG. Type Classes and Instance Chains: A Relational Approach. [Internet] [Doctoral dissertation]. Portland State University; 2013. [cited 2019 Aug 20]. 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 Colorado

10. 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 August 20, 2019. http://scholar.colorado.edu/csci_gradetds/24.

MLA Handbook (7th Edition):

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

Vancouver:

Tafoya CJ. Visual Assembly and Analysis of Cryptographic Ciphers. [Internet] [Masters thesis]. University of Colorado; 2011. [cited 2019 Aug 20]. 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 Texas – Austin

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

Degree: Computer Sciences, 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. (Thesis). 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
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

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

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

MLA Handbook (7th Edition):

-5275-5590. “Elixir: synthesis of parallel irregular algorithms.” 2015. Web. 20 Aug 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] [Thesis]. University of Texas – Austin; 2015. [cited 2019 Aug 20]. 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
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

-5275-5590. Elixir: synthesis of parallel irregular algorithms. [Thesis]. 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
Not specified: Masters Thesis or Doctoral Dissertation


University of New Mexico

12. 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 August 20, 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. 20 Aug 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 Aug 20]. 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

13. 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 August 20, 2019. http://hdl.handle.net/2047/d20002780.

MLA Handbook (7th Edition):

Strickland, Tharpe Stephen. “Scaling contracts to realistic languages.” 2012. Web. 20 Aug 2019.

Vancouver:

Strickland TS. Scaling contracts to realistic languages. [Internet] [Doctoral dissertation]. Northeastern University; 2012. [cited 2019 Aug 20]. 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


McMaster University

14. Fedorenko, Vitalii M. Validation DSL for client-server applications.

Degree: MSc, 2012, McMaster University

Given the nature of client-server applications, most use some freeform interface, like web forms, to collect user input. The main difficulty with this approach… (more)

Subjects/Keywords: domain-specific language; input validation; input preprocessing; internal DSL; embedded DSL; groovy DSL; Programming Languages and Compilers; Programming Languages and Compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fedorenko, V. M. (2012). Validation DSL for client-server applications. (Masters Thesis). McMaster University. Retrieved from http://hdl.handle.net/11375/12326

Chicago Manual of Style (16th Edition):

Fedorenko, Vitalii M. “Validation DSL for client-server applications.” 2012. Masters Thesis, McMaster University. Accessed August 20, 2019. http://hdl.handle.net/11375/12326.

MLA Handbook (7th Edition):

Fedorenko, Vitalii M. “Validation DSL for client-server applications.” 2012. Web. 20 Aug 2019.

Vancouver:

Fedorenko VM. Validation DSL for client-server applications. [Internet] [Masters thesis]. McMaster University; 2012. [cited 2019 Aug 20]. Available from: http://hdl.handle.net/11375/12326.

Council of Science Editors:

Fedorenko VM. Validation DSL for client-server applications. [Masters Thesis]. McMaster University; 2012. Available from: http://hdl.handle.net/11375/12326


San Jose State University

15. Kundu, Deepti. JShield: A Java Anti-Reversing Tool.

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

  Java is a platform independent language.    Java programs can be executed on any machine, irrespective of its hardware or the operating system, as long… (more)

Subjects/Keywords: reverse engineering software security compilers; Other Computer Sciences; Programming Languages and Compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kundu, D. (2011). JShield: A Java Anti-Reversing Tool. (Masters Thesis). San Jose State University. Retrieved from https://doi.org/10.31979/etd.bu8c-p3r5 ; https://scholarworks.sjsu.edu/etd_projects/161

Chicago Manual of Style (16th Edition):

Kundu, Deepti. “JShield: A Java Anti-Reversing Tool.” 2011. Masters Thesis, San Jose State University. Accessed August 20, 2019. https://doi.org/10.31979/etd.bu8c-p3r5 ; https://scholarworks.sjsu.edu/etd_projects/161.

MLA Handbook (7th Edition):

Kundu, Deepti. “JShield: A Java Anti-Reversing Tool.” 2011. Web. 20 Aug 2019.

Vancouver:

Kundu D. JShield: A Java Anti-Reversing Tool. [Internet] [Masters thesis]. San Jose State University; 2011. [cited 2019 Aug 20]. Available from: https://doi.org/10.31979/etd.bu8c-p3r5 ; https://scholarworks.sjsu.edu/etd_projects/161.

Council of Science Editors:

Kundu D. JShield: A Java Anti-Reversing Tool. [Masters Thesis]. San Jose State University; 2011. Available from: https://doi.org/10.31979/etd.bu8c-p3r5 ; https://scholarworks.sjsu.edu/etd_projects/161

16. 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 August 20, 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. 20 Aug 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 Aug 20]. 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

17. 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 August 20, 2019. http://hdl.handle.net/2047/d20002848.

MLA Handbook (7th Edition):

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

Vancouver:

Dimoulas C. Foundations for behavioral higher-order contracts. [Internet] [Doctoral dissertation]. Northeastern University; 2012. [cited 2019 Aug 20]. 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

18. 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 August 20, 2019. http://hdl.handle.net/2047/d20003058.

MLA Handbook (7th Edition):

Turon, Aaron Joseph. “Understanding and expressing scalable concurrency.” 2013. Web. 20 Aug 2019.

Vancouver:

Turon AJ. Understanding and expressing scalable concurrency. [Internet] [Doctoral dissertation]. Northeastern University; 2013. [cited 2019 Aug 20]. 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


Lehigh University

19. Englander, David. The programming language PL/T.

Degree: MS, Information and Systems Engineering, 1981, Lehigh University

Subjects/Keywords: Programming Languages and Compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Englander, D. (1981). The programming language PL/T. (Thesis). Lehigh University. Retrieved from https://preserve.lehigh.edu/etd/2416

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

Englander, David. “The programming language PL/T.” 1981. Thesis, Lehigh University. Accessed August 20, 2019. https://preserve.lehigh.edu/etd/2416.

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

MLA Handbook (7th Edition):

Englander, David. “The programming language PL/T.” 1981. Web. 20 Aug 2019.

Vancouver:

Englander D. The programming language PL/T. [Internet] [Thesis]. Lehigh University; 1981. [cited 2019 Aug 20]. Available from: https://preserve.lehigh.edu/etd/2416.

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

Council of Science Editors:

Englander D. The programming language PL/T. [Thesis]. Lehigh University; 1981. Available from: https://preserve.lehigh.edu/etd/2416

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


Lehigh University

20. Saure, Waldemar. A single-machine scheduling problem in the box container industry.

Degree: MS, Industrial Engineering, 1967, Lehigh University

The single-machine scheduling problem for a box container plant is defined. The problem is to assign orders to a printing press, which can be formulated in a linear programming framework. Advisors/Committee Members: Whitehouse, Gary E..

Subjects/Keywords: Programming Languages and Compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Saure, W. (1967). A single-machine scheduling problem in the box container industry. (Thesis). Lehigh University. Retrieved from https://preserve.lehigh.edu/etd/3550

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

Saure, Waldemar. “A single-machine scheduling problem in the box container industry.” 1967. Thesis, Lehigh University. Accessed August 20, 2019. https://preserve.lehigh.edu/etd/3550.

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

MLA Handbook (7th Edition):

Saure, Waldemar. “A single-machine scheduling problem in the box container industry.” 1967. Web. 20 Aug 2019.

Vancouver:

Saure W. A single-machine scheduling problem in the box container industry. [Internet] [Thesis]. Lehigh University; 1967. [cited 2019 Aug 20]. Available from: https://preserve.lehigh.edu/etd/3550.

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

Council of Science Editors:

Saure W. A single-machine scheduling problem in the box container industry. [Thesis]. Lehigh University; 1967. Available from: https://preserve.lehigh.edu/etd/3550

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


University of California – Berkeley

21. Li, Patrick Shaobai. Design and Implementation of an Optionally-Typed Functional Programming Language.

Degree: Electrical Engineering, 2017, University of California – Berkeley

 This thesis describes the motivation, design, and implementation of L.B. Stanza, an optionally-typed functional programming language aimed at helping programmers tackle the complexity of architecting… (more)

Subjects/Keywords: Computer science; Compilers; Coroutines; Multimethods; Programming Languages; Stanza; Type Systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Li, P. S. (2017). Design and Implementation of an Optionally-Typed Functional Programming Language. (Thesis). University of California – Berkeley. Retrieved from http://www.escholarship.org/uc/item/99k5w2m0

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

Li, Patrick Shaobai. “Design and Implementation of an Optionally-Typed Functional Programming Language.” 2017. Thesis, University of California – Berkeley. Accessed August 20, 2019. http://www.escholarship.org/uc/item/99k5w2m0.

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

MLA Handbook (7th Edition):

Li, Patrick Shaobai. “Design and Implementation of an Optionally-Typed Functional Programming Language.” 2017. Web. 20 Aug 2019.

Vancouver:

Li PS. Design and Implementation of an Optionally-Typed Functional Programming Language. [Internet] [Thesis]. University of California – Berkeley; 2017. [cited 2019 Aug 20]. Available from: http://www.escholarship.org/uc/item/99k5w2m0.

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

Council of Science Editors:

Li PS. Design and Implementation of an Optionally-Typed Functional Programming Language. [Thesis]. University of California – Berkeley; 2017. Available from: http://www.escholarship.org/uc/item/99k5w2m0

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


University of Nevada – Las Vegas

22. Hada, Romas James. Roaming region for Delaunay triangulation.

Degree: MSin Computer Science, Computer Science, 2011, University of Nevada – Las Vegas

  Delaunay graphs have been used in CAD/CAM, sensor network and geographic information systems. We investigate the reliability properties of nodes in Delaunay graphs. For… (more)

Subjects/Keywords: Computer Sciences; Programming Languages and Compilers; Theory and Algorithms

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hada, R. J. (2011). Roaming region for Delaunay triangulation. (Masters Thesis). University of Nevada – Las Vegas. Retrieved from https://digitalscholarship.unlv.edu/thesesdissertations/1242

Chicago Manual of Style (16th Edition):

Hada, Romas James. “Roaming region for Delaunay triangulation.” 2011. Masters Thesis, University of Nevada – Las Vegas. Accessed August 20, 2019. https://digitalscholarship.unlv.edu/thesesdissertations/1242.

MLA Handbook (7th Edition):

Hada, Romas James. “Roaming region for Delaunay triangulation.” 2011. Web. 20 Aug 2019.

Vancouver:

Hada RJ. Roaming region for Delaunay triangulation. [Internet] [Masters thesis]. University of Nevada – Las Vegas; 2011. [cited 2019 Aug 20]. Available from: https://digitalscholarship.unlv.edu/thesesdissertations/1242.

Council of Science Editors:

Hada RJ. Roaming region for Delaunay triangulation. [Masters Thesis]. University of Nevada – Las Vegas; 2011. Available from: https://digitalscholarship.unlv.edu/thesesdissertations/1242


University of Nevada – Las Vegas

23. Sowders, Matthew. ProcessJ: A process-oriented programming language.

Degree: MSin Computer Science, Computer Science, 2011, University of Nevada – Las Vegas

  Java is a general purpose object-oriented programming language that has been widely adopted. Because of its high adoption rate and its lineage as a… (more)

Subjects/Keywords: Computer Sciences; Databases and Information Systems; Programming Languages and Compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sowders, M. (2011). ProcessJ: A process-oriented programming language. (Masters Thesis). University of Nevada – Las Vegas. Retrieved from https://digitalscholarship.unlv.edu/thesesdissertations/1393

Chicago Manual of Style (16th Edition):

Sowders, Matthew. “ProcessJ: A process-oriented programming language.” 2011. Masters Thesis, University of Nevada – Las Vegas. Accessed August 20, 2019. https://digitalscholarship.unlv.edu/thesesdissertations/1393.

MLA Handbook (7th Edition):

Sowders, Matthew. “ProcessJ: A process-oriented programming language.” 2011. Web. 20 Aug 2019.

Vancouver:

Sowders M. ProcessJ: A process-oriented programming language. [Internet] [Masters thesis]. University of Nevada – Las Vegas; 2011. [cited 2019 Aug 20]. Available from: https://digitalscholarship.unlv.edu/thesesdissertations/1393.

Council of Science Editors:

Sowders M. ProcessJ: A process-oriented programming language. [Masters Thesis]. University of Nevada – Las Vegas; 2011. Available from: https://digitalscholarship.unlv.edu/thesesdissertations/1393


Cal Poly

24. Catanio, Jonathan Joseph. Leave the Features: Take the Cannoli.

Degree: MS, Computer Science, 2018, Cal Poly

Programming languages like Python, JavaScript, and Ruby are becoming increasingly popular due to their dynamic capabilities. These languages are often much easier to learn… (more)

Subjects/Keywords: compilers; programming languages; python; rust; optimizations; Other Computer Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Catanio, J. J. (2018). Leave the Features: Take the Cannoli. (Masters Thesis). Cal Poly. Retrieved from https://digitalcommons.calpoly.edu/theses/1886

Chicago Manual of Style (16th Edition):

Catanio, Jonathan Joseph. “Leave the Features: Take the Cannoli.” 2018. Masters Thesis, Cal Poly. Accessed August 20, 2019. https://digitalcommons.calpoly.edu/theses/1886.

MLA Handbook (7th Edition):

Catanio, Jonathan Joseph. “Leave the Features: Take the Cannoli.” 2018. Web. 20 Aug 2019.

Vancouver:

Catanio JJ. Leave the Features: Take the Cannoli. [Internet] [Masters thesis]. Cal Poly; 2018. [cited 2019 Aug 20]. Available from: https://digitalcommons.calpoly.edu/theses/1886.

Council of Science Editors:

Catanio JJ. Leave the Features: Take the Cannoli. [Masters Thesis]. Cal Poly; 2018. Available from: https://digitalcommons.calpoly.edu/theses/1886


Cal Poly

25. Gilbert, Andrew. Supported Programming for Beginning Developers.

Degree: MS, Computer Science, 2019, Cal Poly

  Testing code is important, but writing test cases can be time consuming, particularly for beginning programmers who are already struggling to write an implementation.… (more)

Subjects/Keywords: Python; Test Case Generation; SMT Solvers; Programming Languages and Compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gilbert, A. (2019). Supported Programming for Beginning Developers. (Masters Thesis). Cal Poly. Retrieved from https://digitalcommons.calpoly.edu/theses/2032

Chicago Manual of Style (16th Edition):

Gilbert, Andrew. “Supported Programming for Beginning Developers.” 2019. Masters Thesis, Cal Poly. Accessed August 20, 2019. https://digitalcommons.calpoly.edu/theses/2032.

MLA Handbook (7th Edition):

Gilbert, Andrew. “Supported Programming for Beginning Developers.” 2019. Web. 20 Aug 2019.

Vancouver:

Gilbert A. Supported Programming for Beginning Developers. [Internet] [Masters thesis]. Cal Poly; 2019. [cited 2019 Aug 20]. Available from: https://digitalcommons.calpoly.edu/theses/2032.

Council of Science Editors:

Gilbert A. Supported Programming for Beginning Developers. [Masters Thesis]. Cal Poly; 2019. Available from: https://digitalcommons.calpoly.edu/theses/2032


Western Michigan University

26. Alshahrani, Hasan A. Towards Automated Domain-Oriented Lexicon Construction and Dimension Reduction for Arabic Sentiment Analysis.

Degree: PhD, Computer Science, 2018, Western Michigan University

  Sentiment analysis is a type of text mining that uses Natural Language Processing (NLP) tools to identify and label opinionated text. There are two… (more)

Subjects/Keywords: sentiment; Arabic; analysis; lexicon; stemmer; tokens; Programming Languages and Compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Alshahrani, H. A. (2018). Towards Automated Domain-Oriented Lexicon Construction and Dimension Reduction for Arabic Sentiment Analysis. (Doctoral Dissertation). Western Michigan University. Retrieved from https://scholarworks.wmich.edu/dissertations/3346

Chicago Manual of Style (16th Edition):

Alshahrani, Hasan A. “Towards Automated Domain-Oriented Lexicon Construction and Dimension Reduction for Arabic Sentiment Analysis.” 2018. Doctoral Dissertation, Western Michigan University. Accessed August 20, 2019. https://scholarworks.wmich.edu/dissertations/3346.

MLA Handbook (7th Edition):

Alshahrani, Hasan A. “Towards Automated Domain-Oriented Lexicon Construction and Dimension Reduction for Arabic Sentiment Analysis.” 2018. Web. 20 Aug 2019.

Vancouver:

Alshahrani HA. Towards Automated Domain-Oriented Lexicon Construction and Dimension Reduction for Arabic Sentiment Analysis. [Internet] [Doctoral dissertation]. Western Michigan University; 2018. [cited 2019 Aug 20]. Available from: https://scholarworks.wmich.edu/dissertations/3346.

Council of Science Editors:

Alshahrani HA. Towards Automated Domain-Oriented Lexicon Construction and Dimension Reduction for Arabic Sentiment Analysis. [Doctoral Dissertation]. Western Michigan University; 2018. Available from: https://scholarworks.wmich.edu/dissertations/3346


Northeastern University

27. Bowman, William. Compiling With Dependent Types.

Degree: PhD, 2019, Northeastern University

 Dependently typed languages have proven useful for developing large-scale fully verified software, but we do not have any guarantees after compiling that verified software. A… (more)

Subjects/Keywords: compilers; dependent types; programming languages; type preservation; type theory; Computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bowman, W. (2019). Compiling With Dependent Types. (Doctoral Dissertation). Northeastern University. Retrieved from http://hdl.handle.net/2047/D20316239

Chicago Manual of Style (16th Edition):

Bowman, William. “Compiling With Dependent Types.” 2019. Doctoral Dissertation, Northeastern University. Accessed August 20, 2019. http://hdl.handle.net/2047/D20316239.

MLA Handbook (7th Edition):

Bowman, William. “Compiling With Dependent Types.” 2019. Web. 20 Aug 2019.

Vancouver:

Bowman W. Compiling With Dependent Types. [Internet] [Doctoral dissertation]. Northeastern University; 2019. [cited 2019 Aug 20]. Available from: http://hdl.handle.net/2047/D20316239.

Council of Science Editors:

Bowman W. Compiling With Dependent Types. [Doctoral Dissertation]. Northeastern University; 2019. Available from: http://hdl.handle.net/2047/D20316239


Cal Poly

28. Gifford, Chandler. DESIGN AND ANALYSIS OF AN INSTRUMENTING PROFILER FOR WEBASSEMBLY.

Degree: MS, Computer Science, 2019, Cal Poly

  This thesis presents the design, implementation, and analysis of WasmProf, an instrumenting profiler for WebAssembly programs. WebAssembly is a compiled language designed for use… (more)

Subjects/Keywords: webassembly; profiler; performance; instrumenting; Programming Languages and Compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gifford, C. (2019). DESIGN AND ANALYSIS OF AN INSTRUMENTING PROFILER FOR WEBASSEMBLY. (Masters Thesis). Cal Poly. Retrieved from https://digitalcommons.calpoly.edu/theses/2039

Chicago Manual of Style (16th Edition):

Gifford, Chandler. “DESIGN AND ANALYSIS OF AN INSTRUMENTING PROFILER FOR WEBASSEMBLY.” 2019. Masters Thesis, Cal Poly. Accessed August 20, 2019. https://digitalcommons.calpoly.edu/theses/2039.

MLA Handbook (7th Edition):

Gifford, Chandler. “DESIGN AND ANALYSIS OF AN INSTRUMENTING PROFILER FOR WEBASSEMBLY.” 2019. Web. 20 Aug 2019.

Vancouver:

Gifford C. DESIGN AND ANALYSIS OF AN INSTRUMENTING PROFILER FOR WEBASSEMBLY. [Internet] [Masters thesis]. Cal Poly; 2019. [cited 2019 Aug 20]. Available from: https://digitalcommons.calpoly.edu/theses/2039.

Council of Science Editors:

Gifford C. DESIGN AND ANALYSIS OF AN INSTRUMENTING PROFILER FOR WEBASSEMBLY. [Masters Thesis]. Cal Poly; 2019. Available from: https://digitalcommons.calpoly.edu/theses/2039


San Jose State University

29. Saoji, Tejas. Implementing Dynamic Coarse & Fine Grained Taint Analysis for Rhino JavaScript.

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

  Web application systems today are at great risk from attackers. They use methods like cross-site scripting, SQL injection, and format string attacks to exploit… (more)

Subjects/Keywords: Taint Analysis; Information Flow Security; Information Security; Programming Languages and Compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Saoji, T. (2017). Implementing Dynamic Coarse & Fine Grained Taint Analysis for Rhino JavaScript. (Masters Thesis). San Jose State University. Retrieved from https://doi.org/10.31979/etd.57kr-2e6n ; https://scholarworks.sjsu.edu/etd_projects/519

Chicago Manual of Style (16th Edition):

Saoji, Tejas. “Implementing Dynamic Coarse & Fine Grained Taint Analysis for Rhino JavaScript.” 2017. Masters Thesis, San Jose State University. Accessed August 20, 2019. https://doi.org/10.31979/etd.57kr-2e6n ; https://scholarworks.sjsu.edu/etd_projects/519.

MLA Handbook (7th Edition):

Saoji, Tejas. “Implementing Dynamic Coarse & Fine Grained Taint Analysis for Rhino JavaScript.” 2017. Web. 20 Aug 2019.

Vancouver:

Saoji T. Implementing Dynamic Coarse & Fine Grained Taint Analysis for Rhino JavaScript. [Internet] [Masters thesis]. San Jose State University; 2017. [cited 2019 Aug 20]. Available from: https://doi.org/10.31979/etd.57kr-2e6n ; https://scholarworks.sjsu.edu/etd_projects/519.

Council of Science Editors:

Saoji T. Implementing Dynamic Coarse & Fine Grained Taint Analysis for Rhino JavaScript. [Masters Thesis]. San Jose State University; 2017. Available from: https://doi.org/10.31979/etd.57kr-2e6n ; https://scholarworks.sjsu.edu/etd_projects/519


San Jose State University

30. Pang, Derek. Pantry: A Macro Library for Python.

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

  Python lacks a simple way to create custom syntax and constructs that goes outside of its own syntax rules. A paradigm that allows for… (more)

Subjects/Keywords: Macro Library; Python; Programming Languages and Compilers; Software Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pang, D. (2018). Pantry: A Macro Library for Python. (Masters Thesis). San Jose State University. Retrieved from https://doi.org/10.31979/etd.pydk-c57j ; https://scholarworks.sjsu.edu/etd_projects/657

Chicago Manual of Style (16th Edition):

Pang, Derek. “Pantry: A Macro Library for Python.” 2018. Masters Thesis, San Jose State University. Accessed August 20, 2019. https://doi.org/10.31979/etd.pydk-c57j ; https://scholarworks.sjsu.edu/etd_projects/657.

MLA Handbook (7th Edition):

Pang, Derek. “Pantry: A Macro Library for Python.” 2018. Web. 20 Aug 2019.

Vancouver:

Pang D. Pantry: A Macro Library for Python. [Internet] [Masters thesis]. San Jose State University; 2018. [cited 2019 Aug 20]. Available from: https://doi.org/10.31979/etd.pydk-c57j ; https://scholarworks.sjsu.edu/etd_projects/657.

Council of Science Editors:

Pang D. Pantry: A Macro Library for Python. [Masters Thesis]. San Jose State University; 2018. Available from: https://doi.org/10.31979/etd.pydk-c57j ; https://scholarworks.sjsu.edu/etd_projects/657

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

.