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:(Compiler Construction). Showing records 1 – 16 of 16 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of Edinburgh

1. Cummins, Christopher Edward. Deep learning for compilers.

Degree: PhD, 2020, University of Edinburgh

 Constructing compilers is hard. Optimising compilers are multi-million dollar projects spanning years of development, yet remain unable to fully exploit the available performance, and are… (more)

Subjects/Keywords: optimising compilers; compiler construction; deep learning; generative model; compiler fuzzer; compiler heuristics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cummins, C. E. (2020). Deep learning for compilers. (Doctoral Dissertation). University of Edinburgh. Retrieved from http://hdl.handle.net/1842/36866

Chicago Manual of Style (16th Edition):

Cummins, Christopher Edward. “Deep learning for compilers.” 2020. Doctoral Dissertation, University of Edinburgh. Accessed August 07, 2020. http://hdl.handle.net/1842/36866.

MLA Handbook (7th Edition):

Cummins, Christopher Edward. “Deep learning for compilers.” 2020. Web. 07 Aug 2020.

Vancouver:

Cummins CE. Deep learning for compilers. [Internet] [Doctoral dissertation]. University of Edinburgh; 2020. [cited 2020 Aug 07]. Available from: http://hdl.handle.net/1842/36866.

Council of Science Editors:

Cummins CE. Deep learning for compilers. [Doctoral Dissertation]. University of Edinburgh; 2020. Available from: http://hdl.handle.net/1842/36866


Cornell University

2. Deng, Yawen. Scalable Compiler for TERMES Distributed Assembly System .

Degree: 2018, Cornell University

 The TERMES system is a robot collective capable of autonomously constructing user-specified structures in three dimensions. The compiler is one of the key components that… (more)

Subjects/Keywords: Robotics; Collective Construction; Mechanical engineering; Scalable Compiler

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Deng, Y. (2018). Scalable Compiler for TERMES Distributed Assembly System . (Thesis). Cornell University. Retrieved from http://hdl.handle.net/1813/59408

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

Deng, Yawen. “Scalable Compiler for TERMES Distributed Assembly System .” 2018. Thesis, Cornell University. Accessed August 07, 2020. http://hdl.handle.net/1813/59408.

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

MLA Handbook (7th Edition):

Deng, Yawen. “Scalable Compiler for TERMES Distributed Assembly System .” 2018. Web. 07 Aug 2020.

Vancouver:

Deng Y. Scalable Compiler for TERMES Distributed Assembly System . [Internet] [Thesis]. Cornell University; 2018. [cited 2020 Aug 07]. Available from: http://hdl.handle.net/1813/59408.

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

Council of Science Editors:

Deng Y. Scalable Compiler for TERMES Distributed Assembly System . [Thesis]. Cornell University; 2018. Available from: http://hdl.handle.net/1813/59408

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


Rochester Institute of Technology

3. Luckett, Christopher. Object-oriented LR(1) parser generation.

Degree: 2006, Rochester Institute of Technology

 The LR parser has been around for a long time, and its workings, especially with respect to table compaction and use of the lookahead sets,… (more)

Subjects/Keywords: Compiler construction; Parser generator

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Luckett, C. (2006). Object-oriented LR(1) parser generation. (Thesis). Rochester Institute of Technology. Retrieved from https://scholarworks.rit.edu/theses/713

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

Luckett, Christopher. “Object-oriented LR(1) parser generation.” 2006. Thesis, Rochester Institute of Technology. Accessed August 07, 2020. https://scholarworks.rit.edu/theses/713.

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

MLA Handbook (7th Edition):

Luckett, Christopher. “Object-oriented LR(1) parser generation.” 2006. Web. 07 Aug 2020.

Vancouver:

Luckett C. Object-oriented LR(1) parser generation. [Internet] [Thesis]. Rochester Institute of Technology; 2006. [cited 2020 Aug 07]. Available from: https://scholarworks.rit.edu/theses/713.

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

Council of Science Editors:

Luckett C. Object-oriented LR(1) parser generation. [Thesis]. Rochester Institute of Technology; 2006. Available from: https://scholarworks.rit.edu/theses/713

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


University of Houston

4. Tian, Xiaonan 1983-. A Compiler Optimization Framework for Directive-Based GPU Computing.

Degree: PhD, Computer Science, University of Houston

 In the past decade, accelerators, commonly Graphics Processing Units (GPUs), have played a key role in achieving Petascale performance and driving efforts to reach Exascale.… (more)

Subjects/Keywords: OpenACC; Compiler Construction; Compiler Optimization; Data Locality Optimization; Loop Scheduling; Register Optimization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tian, X. 1. (n.d.). A Compiler Optimization Framework for Directive-Based GPU Computing. (Doctoral Dissertation). University of Houston. Retrieved from http://hdl.handle.net/10657/3546

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Chicago Manual of Style (16th Edition):

Tian, Xiaonan 1983-. “A Compiler Optimization Framework for Directive-Based GPU Computing.” Doctoral Dissertation, University of Houston. Accessed August 07, 2020. http://hdl.handle.net/10657/3546.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

MLA Handbook (7th Edition):

Tian, Xiaonan 1983-. “A Compiler Optimization Framework for Directive-Based GPU Computing.” Web. 07 Aug 2020.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Vancouver:

Tian X1. A Compiler Optimization Framework for Directive-Based GPU Computing. [Internet] [Doctoral dissertation]. University of Houston; [cited 2020 Aug 07]. Available from: http://hdl.handle.net/10657/3546.

Note: this citation may be lacking information needed for this citation format:
No year of publication.

Council of Science Editors:

Tian X1. A Compiler Optimization Framework for Directive-Based GPU Computing. [Doctoral Dissertation]. University of Houston; Available from: http://hdl.handle.net/10657/3546

Note: this citation may be lacking information needed for this citation format:
No year of publication.


University of Waterloo

5. Moss, Aaron. C∀ Type System Implementation.

Degree: 2019, University of Waterloo

 The C programming language has been an important software development tool for decades. C∀ is a new programming language designed with strong backwards-compatibility to take… (more)

Subjects/Keywords: programming languages; type inference; C language; polymorphism; generic types; expression resolution; type environment; union-find; name overloading; compiler construction; C∀

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Moss, A. (2019). C∀ Type System Implementation. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/14584

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

Moss, Aaron. “C∀ Type System Implementation.” 2019. Thesis, University of Waterloo. Accessed August 07, 2020. http://hdl.handle.net/10012/14584.

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

MLA Handbook (7th Edition):

Moss, Aaron. “C∀ Type System Implementation.” 2019. Web. 07 Aug 2020.

Vancouver:

Moss A. C∀ Type System Implementation. [Internet] [Thesis]. University of Waterloo; 2019. [cited 2020 Aug 07]. Available from: http://hdl.handle.net/10012/14584.

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

Council of Science Editors:

Moss A. C∀ Type System Implementation. [Thesis]. University of Waterloo; 2019. Available from: http://hdl.handle.net/10012/14584

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


University of North Texas

6. Burke, Patrick William. A New Look at Retargetable Compilers.

Degree: 2014, University of North Texas

 Consumers demand new and innovative personal computing devices every 2 years when their cellular phone service contracts are renewed. Yet, a 2 year development cycle… (more)

Subjects/Keywords: Retargetable compiler; architecture description; software process; Compilers (Computer programs); Systems on a chip  – Design and construction.; Software failures  – Prevention.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Burke, P. W. (2014). A New Look at Retargetable Compilers. (Thesis). University of North Texas. Retrieved from https://digital.library.unt.edu/ark:/67531/metadc699988/

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

Burke, Patrick William. “A New Look at Retargetable Compilers.” 2014. Thesis, University of North Texas. Accessed August 07, 2020. https://digital.library.unt.edu/ark:/67531/metadc699988/.

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

MLA Handbook (7th Edition):

Burke, Patrick William. “A New Look at Retargetable Compilers.” 2014. Web. 07 Aug 2020.

Vancouver:

Burke PW. A New Look at Retargetable Compilers. [Internet] [Thesis]. University of North Texas; 2014. [cited 2020 Aug 07]. Available from: https://digital.library.unt.edu/ark:/67531/metadc699988/.

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

Council of Science Editors:

Burke PW. A New Look at Retargetable Compilers. [Thesis]. University of North Texas; 2014. Available from: https://digital.library.unt.edu/ark:/67531/metadc699988/

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

7. Tinnerholm, John. An LLVM backend for the Open Modelica Compiler.

Degree: Computer and Information Science, 2019, Linköping University

  This thesis presents the construction and evaluation of an LLVM based codegenerator, an LLVM backend. The introduction of an LLVM based backend into the… (more)

Subjects/Keywords: LLVM; Compiler construction; OpenModelica; Computer Sciences; Datavetenskap (datalogi)

…brief introduction to compiler construction in section 3.1 then the background and the context… …reusable software components to make compiler construction easier. For example, by using a… …necessary to gain a deeper understanding its efficiency. In the context of compiler construction… …Linear programming OMC . . . . . . . . . . . . OpenModelica Compiler OMEdit… …Gnu compiler collection SSA . . . . . . . . . . . . . Static single assignment LOC… 

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tinnerholm, J. (2019). An LLVM backend for the Open Modelica Compiler. (Thesis). Linköping University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-154291

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

Tinnerholm, John. “An LLVM backend for the Open Modelica Compiler.” 2019. Thesis, Linköping University. Accessed August 07, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-154291.

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

MLA Handbook (7th Edition):

Tinnerholm, John. “An LLVM backend for the Open Modelica Compiler.” 2019. Web. 07 Aug 2020.

Vancouver:

Tinnerholm J. An LLVM backend for the Open Modelica Compiler. [Internet] [Thesis]. Linköping University; 2019. [cited 2020 Aug 07]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-154291.

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

Council of Science Editors:

Tinnerholm J. An LLVM backend for the Open Modelica Compiler. [Thesis]. Linköping University; 2019. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-154291

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


Linköping University

8. Klinghed, Joel. Incremental Compilation and Dynamic Loading of Functions in OpenModelica.

Degree: Computer and Information Science, 2008, Linköping University

  Advanced development environments are essential for efficient realization of complex industrial products. Powerful equation-based object-oriented (EOO) languages such as Modelica are successfully used for… (more)

Subjects/Keywords: Dynamic loading; Optimization; Incremental Compilation; Compiler Construction; Computer Sciences; Datavetenskap (datalogi)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Klinghed, J. (2008). Incremental Compilation and Dynamic Loading of Functions in OpenModelica. (Thesis). Linköping University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-12329

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

Klinghed, Joel. “Incremental Compilation and Dynamic Loading of Functions in OpenModelica.” 2008. Thesis, Linköping University. Accessed August 07, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-12329.

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

MLA Handbook (7th Edition):

Klinghed, Joel. “Incremental Compilation and Dynamic Loading of Functions in OpenModelica.” 2008. Web. 07 Aug 2020.

Vancouver:

Klinghed J. Incremental Compilation and Dynamic Loading of Functions in OpenModelica. [Internet] [Thesis]. Linköping University; 2008. [cited 2020 Aug 07]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-12329.

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

Council of Science Editors:

Klinghed J. Incremental Compilation and Dynamic Loading of Functions in OpenModelica. [Thesis]. Linköping University; 2008. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-12329

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

9. Törnblom, John. Improving Quality of Avionics Software Using Mutation Testing.

Degree: The Institute of Technology, 2014, Linköping UniversityLinköping University

  Mutation testing is a powerful fault-based testing technique that makes syntactic changes to a program under test in order to simulate real faults otherwise… (more)

Subjects/Keywords: Software Testing; Mutation Testing; Compiler Construction; Software Engineering; Programvaruteknik

…mutation testing, software testing in general, and basic compiler construction. In Chapter 3… …MCDC require at least n+1 test cases. 2.2 Compiler Construction As will become apparent in… …implementation specific details of a compiler and mutation testing framework intended for the Pascal-86… …information on how mutants are generated. In Chapter 4, the compiler is evaluated and compared to… …Section 2.3.4 and Chapter 3, some basic knowledge of how a compiler works is helpful when… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Törnblom, J. (2014). Improving Quality of Avionics Software Using Mutation Testing. (Thesis). Linköping UniversityLinköping University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-105456

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

Törnblom, John. “Improving Quality of Avionics Software Using Mutation Testing.” 2014. Thesis, Linköping UniversityLinköping University. Accessed August 07, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-105456.

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

MLA Handbook (7th Edition):

Törnblom, John. “Improving Quality of Avionics Software Using Mutation Testing.” 2014. Web. 07 Aug 2020.

Vancouver:

Törnblom J. Improving Quality of Avionics Software Using Mutation Testing. [Internet] [Thesis]. Linköping UniversityLinköping University; 2014. [cited 2020 Aug 07]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-105456.

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

Council of Science Editors:

Törnblom J. Improving Quality of Avionics Software Using Mutation Testing. [Thesis]. Linköping UniversityLinköping University; 2014. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-105456

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


University of Minnesota

10. Schwerdfeger, August. Context-aware scanning and determinism-preserving grammar composition, in theory and practice.

Degree: PhD, Computer Science, 2010, University of Minnesota

 This thesis documents several new developments in the theory of parsing, and also the practical value of their implementation in the Copper parser generator. The… (more)

Subjects/Keywords: Compiler construction; Extensible languages; Grammar analysis; Parsing; Scanning; Computer Science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Schwerdfeger, A. (2010). Context-aware scanning and determinism-preserving grammar composition, in theory and practice. (Doctoral Dissertation). University of Minnesota. Retrieved from http://purl.umn.edu/95605

Chicago Manual of Style (16th Edition):

Schwerdfeger, August. “Context-aware scanning and determinism-preserving grammar composition, in theory and practice.” 2010. Doctoral Dissertation, University of Minnesota. Accessed August 07, 2020. http://purl.umn.edu/95605.

MLA Handbook (7th Edition):

Schwerdfeger, August. “Context-aware scanning and determinism-preserving grammar composition, in theory and practice.” 2010. Web. 07 Aug 2020.

Vancouver:

Schwerdfeger A. Context-aware scanning and determinism-preserving grammar composition, in theory and practice. [Internet] [Doctoral dissertation]. University of Minnesota; 2010. [cited 2020 Aug 07]. Available from: http://purl.umn.edu/95605.

Council of Science Editors:

Schwerdfeger A. Context-aware scanning and determinism-preserving grammar composition, in theory and practice. [Doctoral Dissertation]. University of Minnesota; 2010. Available from: http://purl.umn.edu/95605

11. Labban, Ramzi Roy. A Methodology for the Automated Creation of Construction Simulation Models.

Degree: PhD, Department of Civil and Environmental Engineering, 2015, University of Alberta

 Although much academic research has been performed in the study of construction process simulation, this research has not seen mainstream application in the construction industry.… (more)

Subjects/Keywords: Methodology; Creation; Construction; Simulation; Automated; Model Compiler; Discrete Event Simulation; Model Descriptive Data

…44 Table 4.2: Pipeline Construction Simulator – Tasks… …46 Table 4.6: Pipeline Construction Simulator - Resource List… …48 Table 4.8: Pipeline Construction Simulator – Section-Task Level Mapping… …49 Table 4.11: Pipeline Construction Simulator – Section-Task Quantity Mapping… …107 Table 6.15: Prototype and Production Version Construction Simulation Models… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Labban, R. R. (2015). A Methodology for the Automated Creation of Construction Simulation Models. (Doctoral Dissertation). University of Alberta. Retrieved from https://era.library.ualberta.ca/files/gf06g521d

Chicago Manual of Style (16th Edition):

Labban, Ramzi Roy. “A Methodology for the Automated Creation of Construction Simulation Models.” 2015. Doctoral Dissertation, University of Alberta. Accessed August 07, 2020. https://era.library.ualberta.ca/files/gf06g521d.

MLA Handbook (7th Edition):

Labban, Ramzi Roy. “A Methodology for the Automated Creation of Construction Simulation Models.” 2015. Web. 07 Aug 2020.

Vancouver:

Labban RR. A Methodology for the Automated Creation of Construction Simulation Models. [Internet] [Doctoral dissertation]. University of Alberta; 2015. [cited 2020 Aug 07]. Available from: https://era.library.ualberta.ca/files/gf06g521d.

Council of Science Editors:

Labban RR. A Methodology for the Automated Creation of Construction Simulation Models. [Doctoral Dissertation]. University of Alberta; 2015. Available from: https://era.library.ualberta.ca/files/gf06g521d


Universiteit Utrecht

12. Dijkstra, A. Stepping through Haskell.

Degree: 2005, Universiteit Utrecht

 This thesis contains a description of an implementation of an extended subset of the programming language Haskell. At the same time it is an experiment… (more)

Subjects/Keywords: Wiskunde en Informatica; programming language design; functional programming; Haskell programming language; compiler construction; type systems; attribute grammar

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dijkstra, A. (2005). Stepping through Haskell. (Doctoral Dissertation). Universiteit Utrecht. Retrieved from http://dspace.library.uu.nl:8080/handle/1874/7352

Chicago Manual of Style (16th Edition):

Dijkstra, A. “Stepping through Haskell.” 2005. Doctoral Dissertation, Universiteit Utrecht. Accessed August 07, 2020. http://dspace.library.uu.nl:8080/handle/1874/7352.

MLA Handbook (7th Edition):

Dijkstra, A. “Stepping through Haskell.” 2005. Web. 07 Aug 2020.

Vancouver:

Dijkstra A. Stepping through Haskell. [Internet] [Doctoral dissertation]. Universiteit Utrecht; 2005. [cited 2020 Aug 07]. Available from: http://dspace.library.uu.nl:8080/handle/1874/7352.

Council of Science Editors:

Dijkstra A. Stepping through Haskell. [Doctoral Dissertation]. Universiteit Utrecht; 2005. Available from: http://dspace.library.uu.nl:8080/handle/1874/7352


Universiteit Utrecht

13. Heeren, B.J. Top quality type error Messages.

Degree: 2005, Universiteit Utrecht

 Flaws in computer software are a fact of life, both in small and large-scale applications. Compilers for modern programming languages accommodate many program analyses for… (more)

Subjects/Keywords: Wiskunde en Informatica; constraints; type inference; type error messages; type systems; directives; domain-specific programming; functional programming; heuristics; compiler construction

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Heeren, B. J. (2005). Top quality type error Messages. (Doctoral Dissertation). Universiteit Utrecht. Retrieved from http://dspace.library.uu.nl:8080/handle/1874/7297

Chicago Manual of Style (16th Edition):

Heeren, B J. “Top quality type error Messages.” 2005. Doctoral Dissertation, Universiteit Utrecht. Accessed August 07, 2020. http://dspace.library.uu.nl:8080/handle/1874/7297.

MLA Handbook (7th Edition):

Heeren, B J. “Top quality type error Messages.” 2005. Web. 07 Aug 2020.

Vancouver:

Heeren BJ. Top quality type error Messages. [Internet] [Doctoral dissertation]. Universiteit Utrecht; 2005. [cited 2020 Aug 07]. Available from: http://dspace.library.uu.nl:8080/handle/1874/7297.

Council of Science Editors:

Heeren BJ. Top quality type error Messages. [Doctoral Dissertation]. Universiteit Utrecht; 2005. Available from: http://dspace.library.uu.nl:8080/handle/1874/7297

14. Heeren, B.J. Top quality type error Messages.

Degree: 2005, University Utrecht

 Flaws in computer software are a fact of life, both in small and large-scale applications. Compilers for modern programming languages accommodate many program analyses for… (more)

Subjects/Keywords: constraints; type inference; type error messages; type systems; directives; domain-specific programming; functional programming; heuristics; compiler construction

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Heeren, B. J. (2005). Top quality type error Messages. (Doctoral Dissertation). University Utrecht. Retrieved from https://dspace.library.uu.nl/handle/1874/7297 ; URN:NBN:NL:UI:10-1874-7297 ; urn:isbn:90-393-4005-6 ; URN:NBN:NL:UI:10-1874-7297 ; https://dspace.library.uu.nl/handle/1874/7297

Chicago Manual of Style (16th Edition):

Heeren, B J. “Top quality type error Messages.” 2005. Doctoral Dissertation, University Utrecht. Accessed August 07, 2020. https://dspace.library.uu.nl/handle/1874/7297 ; URN:NBN:NL:UI:10-1874-7297 ; urn:isbn:90-393-4005-6 ; URN:NBN:NL:UI:10-1874-7297 ; https://dspace.library.uu.nl/handle/1874/7297.

MLA Handbook (7th Edition):

Heeren, B J. “Top quality type error Messages.” 2005. Web. 07 Aug 2020.

Vancouver:

Heeren BJ. Top quality type error Messages. [Internet] [Doctoral dissertation]. University Utrecht; 2005. [cited 2020 Aug 07]. Available from: https://dspace.library.uu.nl/handle/1874/7297 ; URN:NBN:NL:UI:10-1874-7297 ; urn:isbn:90-393-4005-6 ; URN:NBN:NL:UI:10-1874-7297 ; https://dspace.library.uu.nl/handle/1874/7297.

Council of Science Editors:

Heeren BJ. Top quality type error Messages. [Doctoral Dissertation]. University Utrecht; 2005. Available from: https://dspace.library.uu.nl/handle/1874/7297 ; URN:NBN:NL:UI:10-1874-7297 ; urn:isbn:90-393-4005-6 ; URN:NBN:NL:UI:10-1874-7297 ; https://dspace.library.uu.nl/handle/1874/7297

15. Dijkstra, A. Stepping through Haskell.

Degree: 2005, University Utrecht

 This thesis contains a description of an implementation of an extended subset of the programming language Haskell. At the same time it is an experiment… (more)

Subjects/Keywords: programming language design; functional programming; Haskell programming language; compiler construction; type systems; attribute grammar

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dijkstra, A. (2005). Stepping through Haskell. (Doctoral Dissertation). University Utrecht. Retrieved from https://dspace.library.uu.nl/handle/1874/7352 ; URN:NBN:NL:UI:10-1874-7352 ; urn:isbn:90-393-4070-6 ; URN:NBN:NL:UI:10-1874-7352 ; https://dspace.library.uu.nl/handle/1874/7352

Chicago Manual of Style (16th Edition):

Dijkstra, A. “Stepping through Haskell.” 2005. Doctoral Dissertation, University Utrecht. Accessed August 07, 2020. https://dspace.library.uu.nl/handle/1874/7352 ; URN:NBN:NL:UI:10-1874-7352 ; urn:isbn:90-393-4070-6 ; URN:NBN:NL:UI:10-1874-7352 ; https://dspace.library.uu.nl/handle/1874/7352.

MLA Handbook (7th Edition):

Dijkstra, A. “Stepping through Haskell.” 2005. Web. 07 Aug 2020.

Vancouver:

Dijkstra A. Stepping through Haskell. [Internet] [Doctoral dissertation]. University Utrecht; 2005. [cited 2020 Aug 07]. Available from: https://dspace.library.uu.nl/handle/1874/7352 ; URN:NBN:NL:UI:10-1874-7352 ; urn:isbn:90-393-4070-6 ; URN:NBN:NL:UI:10-1874-7352 ; https://dspace.library.uu.nl/handle/1874/7352.

Council of Science Editors:

Dijkstra A. Stepping through Haskell. [Doctoral Dissertation]. University Utrecht; 2005. Available from: https://dspace.library.uu.nl/handle/1874/7352 ; URN:NBN:NL:UI:10-1874-7352 ; urn:isbn:90-393-4070-6 ; URN:NBN:NL:UI:10-1874-7352 ; https://dspace.library.uu.nl/handle/1874/7352


University of Lund

16. Åkesson, Johan. Languages and Tools for Optimization of Large-Scale Systems.

Degree: 2007, University of Lund

 Modeling and simulation are established techniques for solving design problems in a wide range of engineering disciplines today. Dedicated computer languages, such as Modelica, and… (more)

Subjects/Keywords: Control Engineering; Paper Machine Modeling; Plate Reactor; Languages for Physical Modeling; Compiler Construction; Dynamic Optimization; Modelica; Optimica; Manual Control; Automation; robotics; control engineering; Automatiska system; robotteknik; reglerteknik

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Åkesson, J. (2007). Languages and Tools for Optimization of Large-Scale Systems. (Doctoral Dissertation). University of Lund. Retrieved from https://lup.lub.lu.se/record/599261 ; https://portal.research.lu.se/ws/files/4533240/599262.pdf

Chicago Manual of Style (16th Edition):

Åkesson, Johan. “Languages and Tools for Optimization of Large-Scale Systems.” 2007. Doctoral Dissertation, University of Lund. Accessed August 07, 2020. https://lup.lub.lu.se/record/599261 ; https://portal.research.lu.se/ws/files/4533240/599262.pdf.

MLA Handbook (7th Edition):

Åkesson, Johan. “Languages and Tools for Optimization of Large-Scale Systems.” 2007. Web. 07 Aug 2020.

Vancouver:

Åkesson J. Languages and Tools for Optimization of Large-Scale Systems. [Internet] [Doctoral dissertation]. University of Lund; 2007. [cited 2020 Aug 07]. Available from: https://lup.lub.lu.se/record/599261 ; https://portal.research.lu.se/ws/files/4533240/599262.pdf.

Council of Science Editors:

Åkesson J. Languages and Tools for Optimization of Large-Scale Systems. [Doctoral Dissertation]. University of Lund; 2007. Available from: https://lup.lub.lu.se/record/599261 ; https://portal.research.lu.se/ws/files/4533240/599262.pdf

.