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

Country:

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

[1] [2] [3]

Search Limiters

Last 2 Years | English Only

▼ Search Limiters


EPFL

1. 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 15, 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. 15 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 15]. 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


EPFL

2. Mayer, Mikaël. Interactive Programming by Example.

Degree: 2017, EPFL

 As of today, programming has never been so accessible. Yet, it remains a challenge for end-users: students, non-technical employees, experts in their domains outside of… (more)

Subjects/Keywords: Programming by example; programming by demonstration; program synthesis; accessibility; domain-specific languages; active learning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mayer, M. (2017). Interactive Programming by Example. (Thesis). EPFL. Retrieved from http://infoscience.epfl.ch/record/231153

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

Mayer, Mikaël. “Interactive Programming by Example.” 2017. Thesis, EPFL. Accessed December 15, 2019. http://infoscience.epfl.ch/record/231153.

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

MLA Handbook (7th Edition):

Mayer, Mikaël. “Interactive Programming by Example.” 2017. Web. 15 Dec 2019.

Vancouver:

Mayer M. Interactive Programming by Example. [Internet] [Thesis]. EPFL; 2017. [cited 2019 Dec 15]. Available from: http://infoscience.epfl.ch/record/231153.

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

Council of Science Editors:

Mayer M. Interactive Programming by Example. [Thesis]. EPFL; 2017. Available from: http://infoscience.epfl.ch/record/231153

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


EPFL

3. Jovanovic, Vojin. Uniting Language Embeddings for Fast and Friendly DSLs.

Degree: 2016, EPFL

 The holy grail for a domain-specific language (DSL) is to be friendly and fast. A DSL should be friendly in the sense that it is… (more)

Subjects/Keywords: Embedded Domain-Specific Languages; Macros; Deep Embedding; Shallow Embedding; Compile-Time Meta-Programming; Dynamic Compilation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Jovanovic, V. (2016). Uniting Language Embeddings for Fast and Friendly DSLs. (Thesis). EPFL. Retrieved from http://infoscience.epfl.ch/record/218036

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

Jovanovic, Vojin. “Uniting Language Embeddings for Fast and Friendly DSLs.” 2016. Thesis, EPFL. Accessed December 15, 2019. http://infoscience.epfl.ch/record/218036.

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

MLA Handbook (7th Edition):

Jovanovic, Vojin. “Uniting Language Embeddings for Fast and Friendly DSLs.” 2016. Web. 15 Dec 2019.

Vancouver:

Jovanovic V. Uniting Language Embeddings for Fast and Friendly DSLs. [Internet] [Thesis]. EPFL; 2016. [cited 2019 Dec 15]. Available from: http://infoscience.epfl.ch/record/218036.

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

Council of Science Editors:

Jovanovic V. Uniting Language Embeddings for Fast and Friendly DSLs. [Thesis]. EPFL; 2016. Available from: http://infoscience.epfl.ch/record/218036

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


ETH Zürich

4. Baumgartner, Benno. JEiffel - a java bytecode generator backend for the ISE Eiffel Compiler.

Degree: 2005, ETH Zürich

Subjects/Keywords: CODEGENERATOREN (PROGRAMMIERSPRACHEN); JAVA (PROGRAMMIERSPRACHEN); EIFFEL (PROGRAMMIERSPRACHEN); CODE GENERATORS (PROGRAMMING LANGUAGES); JAVA (PROGRAMMING LANGUAGES); EIFFEL (PROGRAMMING LANGUAGES); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Baumgartner, B. (2005). JEiffel - a java bytecode generator backend for the ISE Eiffel Compiler. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/149021

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

Baumgartner, Benno. “JEiffel - a java bytecode generator backend for the ISE Eiffel Compiler.” 2005. Thesis, ETH Zürich. Accessed December 15, 2019. http://hdl.handle.net/20.500.11850/149021.

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

MLA Handbook (7th Edition):

Baumgartner, Benno. “JEiffel - a java bytecode generator backend for the ISE Eiffel Compiler.” 2005. Web. 15 Dec 2019.

Vancouver:

Baumgartner B. JEiffel - a java bytecode generator backend for the ISE Eiffel Compiler. [Internet] [Thesis]. ETH Zürich; 2005. [cited 2019 Dec 15]. Available from: http://hdl.handle.net/20.500.11850/149021.

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

Council of Science Editors:

Baumgartner B. JEiffel - a java bytecode generator backend for the ISE Eiffel Compiler. [Thesis]. ETH Zürich; 2005. Available from: http://hdl.handle.net/20.500.11850/149021

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


ETH Zürich

5. Friedli, Adrian. Fine-grained aspects of automatic refactoring in C2Eiffel.

Degree: 2010, ETH Zürich

Subjects/Keywords: ÜBERSETZER (PROGRAMMIERSPRACHEN); C (PROGRAMMIERSPRACHEN); EIFFEL (PROGRAMMIERSPRACHEN); TRANSLATORS (PROGRAMMING LANGUAGES); C (PROGRAMMING LANGUAGES); EIFFEL (PROGRAMMING LANGUAGES); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Friedli, A. (2010). Fine-grained aspects of automatic refactoring in C2Eiffel. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/152938

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

Friedli, Adrian. “Fine-grained aspects of automatic refactoring in C2Eiffel.” 2010. Thesis, ETH Zürich. Accessed December 15, 2019. http://hdl.handle.net/20.500.11850/152938.

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

MLA Handbook (7th Edition):

Friedli, Adrian. “Fine-grained aspects of automatic refactoring in C2Eiffel.” 2010. Web. 15 Dec 2019.

Vancouver:

Friedli A. Fine-grained aspects of automatic refactoring in C2Eiffel. [Internet] [Thesis]. ETH Zürich; 2010. [cited 2019 Dec 15]. Available from: http://hdl.handle.net/20.500.11850/152938.

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

Council of Science Editors:

Friedli A. Fine-grained aspects of automatic refactoring in C2Eiffel. [Thesis]. ETH Zürich; 2010. Available from: http://hdl.handle.net/20.500.11850/152938

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


ETH Zürich

6. Cortonesi, Matteo. Objective-C frameworks to Eiffel converter.

Degree: 2010, ETH Zürich

Subjects/Keywords: ÜBERSETZER (PROGRAMMIERSPRACHEN); C++ (PROGRAMMIERSPRACHEN); EIFFEL (PROGRAMMIERSPRACHEN); TRANSLATORS (PROGRAMMING LANGUAGES); C++ (PROGRAMMING LANGUAGES); EIFFEL (PROGRAMMING LANGUAGES); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cortonesi, M. (2010). Objective-C frameworks to Eiffel converter. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/152396

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

Cortonesi, Matteo. “Objective-C frameworks to Eiffel converter.” 2010. Thesis, ETH Zürich. Accessed December 15, 2019. http://hdl.handle.net/20.500.11850/152396.

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

MLA Handbook (7th Edition):

Cortonesi, Matteo. “Objective-C frameworks to Eiffel converter.” 2010. Web. 15 Dec 2019.

Vancouver:

Cortonesi M. Objective-C frameworks to Eiffel converter. [Internet] [Thesis]. ETH Zürich; 2010. [cited 2019 Dec 15]. Available from: http://hdl.handle.net/20.500.11850/152396.

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

Council of Science Editors:

Cortonesi M. Objective-C frameworks to Eiffel converter. [Thesis]. ETH Zürich; 2010. Available from: http://hdl.handle.net/20.500.11850/152396

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


ETH Zürich

7. Trudel, Marco. Java sourcecode to Eiffel sourcecode compiler.

Degree: 2008, ETH Zürich

Subjects/Keywords: COMPILER (PROGRAMMIERSPRACHEN); COMPILERS (PROGRAMMING LANGUAGES); EIFFEL (PROGRAMMING LANGUAGES); JAVA (PROGRAMMING LANGUAGES); EIFFEL (PROGRAMMIERSPRACHEN); JAVA (PROGRAMMIERSPRACHEN); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Trudel, M. (2008). Java sourcecode to Eiffel sourcecode compiler. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/70805

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

Trudel, Marco. “Java sourcecode to Eiffel sourcecode compiler.” 2008. Thesis, ETH Zürich. Accessed December 15, 2019. http://hdl.handle.net/20.500.11850/70805.

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

MLA Handbook (7th Edition):

Trudel, Marco. “Java sourcecode to Eiffel sourcecode compiler.” 2008. Web. 15 Dec 2019.

Vancouver:

Trudel M. Java sourcecode to Eiffel sourcecode compiler. [Internet] [Thesis]. ETH Zürich; 2008. [cited 2019 Dec 15]. Available from: http://hdl.handle.net/20.500.11850/70805.

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

Council of Science Editors:

Trudel M. Java sourcecode to Eiffel sourcecode compiler. [Thesis]. ETH Zürich; 2008. Available from: http://hdl.handle.net/20.500.11850/70805

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


ETH Zürich

8. Egli, Florian. Translating Spec# Programs to C# with CodeContracts.

Degree: 2012, ETH Zürich

Subjects/Keywords: ÜBERSETZER (PROGRAMMIERSPRACHEN); SPEZIELLE PROGRAMMIERSPRACHEN; C++ (PROGRAMMIERSPRACHEN); TRANSLATORS (PROGRAMMING LANGUAGES); SPECIAL PROGRAMMING LANGUAGES; C++ (PROGRAMMING LANGUAGES); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Egli, F. (2012). Translating Spec# Programs to C# with CodeContracts. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/153457

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

Egli, Florian. “Translating Spec# Programs to C# with CodeContracts.” 2012. Thesis, ETH Zürich. Accessed December 15, 2019. http://hdl.handle.net/20.500.11850/153457.

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

MLA Handbook (7th Edition):

Egli, Florian. “Translating Spec# Programs to C# with CodeContracts.” 2012. Web. 15 Dec 2019.

Vancouver:

Egli F. Translating Spec# Programs to C# with CodeContracts. [Internet] [Thesis]. ETH Zürich; 2012. [cited 2019 Dec 15]. Available from: http://hdl.handle.net/20.500.11850/153457.

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

Council of Science Editors:

Egli F. Translating Spec# Programs to C# with CodeContracts. [Thesis]. ETH Zürich; 2012. Available from: http://hdl.handle.net/20.500.11850/153457

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

9. Klonatos, Ioannis. Building Efficient Query Engines using High-Level Languages.

Degree: 2017, EPFL

 We are currently witnessing a shift towards the use of high-level programming languages for systems development. These approaches collide with the traditional wisdom which calls… (more)

Subjects/Keywords: High-level programming languages; Out-of-core algorithms; Program synthesis; Memory and storage hierarchies; Query processing; Generative programming; Optimizingcompilers; Abstraction without regret; Database optimization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Klonatos, I. (2017). Building Efficient Query Engines using High-Level Languages. (Thesis). EPFL. Retrieved from http://infoscience.epfl.ch/record/224444

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

Klonatos, Ioannis. “Building Efficient Query Engines using High-Level Languages.” 2017. Thesis, EPFL. Accessed December 15, 2019. http://infoscience.epfl.ch/record/224444.

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

MLA Handbook (7th Edition):

Klonatos, Ioannis. “Building Efficient Query Engines using High-Level Languages.” 2017. Web. 15 Dec 2019.

Vancouver:

Klonatos I. Building Efficient Query Engines using High-Level Languages. [Internet] [Thesis]. EPFL; 2017. [cited 2019 Dec 15]. Available from: http://infoscience.epfl.ch/record/224444.

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

Council of Science Editors:

Klonatos I. Building Efficient Query Engines using High-Level Languages. [Thesis]. EPFL; 2017. Available from: http://infoscience.epfl.ch/record/224444

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

10. Burmako, Eugene. Unification of Compile-Time and Runtime Metaprogramming in Scala.

Degree: 2017, EPFL

 Metaprogramming is a technique that consists in writing programs that treat other programs as data. This paradigm of software development contributes to a multitude of… (more)

Subjects/Keywords: Programming Languages; Compilers; Metaprogramming; Reflection; Macros

programming language enthusiasts and compiler hackers looking to enrich their languages with… …are applicable to other programming languages, but understanding them fully will require… …in programming languages and compilers, so we will be freely using the terminology from… …similar mishaps in other programming languages (chapter 7). • Scala.meta, a unified… …providers . . . 6.2.3 Conclusion . . . . . . . . . . . . 6.3 Type-level programming… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Burmako, E. (2017). Unification of Compile-Time and Runtime Metaprogramming in Scala. (Thesis). EPFL. Retrieved from http://infoscience.epfl.ch/record/226166

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

Burmako, Eugene. “Unification of Compile-Time and Runtime Metaprogramming in Scala.” 2017. Thesis, EPFL. Accessed December 15, 2019. http://infoscience.epfl.ch/record/226166.

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

MLA Handbook (7th Edition):

Burmako, Eugene. “Unification of Compile-Time and Runtime Metaprogramming in Scala.” 2017. Web. 15 Dec 2019.

Vancouver:

Burmako E. Unification of Compile-Time and Runtime Metaprogramming in Scala. [Internet] [Thesis]. EPFL; 2017. [cited 2019 Dec 15]. Available from: http://infoscience.epfl.ch/record/226166.

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

Council of Science Editors:

Burmako E. Unification of Compile-Time and Runtime Metaprogramming in Scala. [Thesis]. EPFL; 2017. Available from: http://infoscience.epfl.ch/record/226166

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


ETH Zürich

11. Reali, Patrik René Celeste. Using Oberon’s active objects for language interoperability and compilation.

Degree: 2003, ETH Zürich

Subjects/Keywords: COMPILER (PROGRAMMIERSPRACHEN); OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS); COMPILERS (PROGRAMMING LANGUAGES); OBERON (PROGRAMMIERSPRACHEN); OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); OBERON (PROGRAMMING LANGUAGES); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Reali, P. R. C. (2003). Using Oberon’s active objects for language interoperability and compilation. (Doctoral Dissertation). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/72831

Chicago Manual of Style (16th Edition):

Reali, Patrik René Celeste. “Using Oberon’s active objects for language interoperability and compilation.” 2003. Doctoral Dissertation, ETH Zürich. Accessed December 15, 2019. http://hdl.handle.net/20.500.11850/72831.

MLA Handbook (7th Edition):

Reali, Patrik René Celeste. “Using Oberon’s active objects for language interoperability and compilation.” 2003. Web. 15 Dec 2019.

Vancouver:

Reali PRC. Using Oberon’s active objects for language interoperability and compilation. [Internet] [Doctoral dissertation]. ETH Zürich; 2003. [cited 2019 Dec 15]. Available from: http://hdl.handle.net/20.500.11850/72831.

Council of Science Editors:

Reali PRC. Using Oberon’s active objects for language interoperability and compilation. [Doctoral Dissertation]. ETH Zürich; 2003. Available from: http://hdl.handle.net/20.500.11850/72831


ETH Zürich

12. Hess, Manuel. Integrating proof-transforming compilation into EiffelStudio.

Degree: 2008, ETH Zürich

Subjects/Keywords: COMPILER (PROGRAMMIERSPRACHEN); EIFFEL (PROGRAMMIERSPRACHEN); COMPILERS (PROGRAMMING LANGUAGES); EIFFEL (PROGRAMMING LANGUAGES); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hess, M. (2008). Integrating proof-transforming compilation into EiffelStudio. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/150633

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

Hess, Manuel. “Integrating proof-transforming compilation into EiffelStudio.” 2008. Thesis, ETH Zürich. Accessed December 15, 2019. http://hdl.handle.net/20.500.11850/150633.

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

MLA Handbook (7th Edition):

Hess, Manuel. “Integrating proof-transforming compilation into EiffelStudio.” 2008. Web. 15 Dec 2019.

Vancouver:

Hess M. Integrating proof-transforming compilation into EiffelStudio. [Internet] [Thesis]. ETH Zürich; 2008. [cited 2019 Dec 15]. Available from: http://hdl.handle.net/20.500.11850/150633.

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

Council of Science Editors:

Hess M. Integrating proof-transforming compilation into EiffelStudio. [Thesis]. ETH Zürich; 2008. Available from: http://hdl.handle.net/20.500.11850/150633

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


ETH Zürich

13. Brodowsky, Bernhard F. Translating Scala to SIL.

Degree: 2013, ETH Zürich

Subjects/Keywords: ÜBERSETZER (PROGRAMMIERSPRACHEN); SPEZIELLE PROGRAMMIERSPRACHEN; TRANSLATORS (PROGRAMMING LANGUAGES); SPECIAL PROGRAMMING LANGUAGES; info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Brodowsky, B. F. (2013). Translating Scala to SIL. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/154020

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

Brodowsky, Bernhard F. “Translating Scala to SIL.” 2013. Thesis, ETH Zürich. Accessed December 15, 2019. http://hdl.handle.net/20.500.11850/154020.

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

MLA Handbook (7th Edition):

Brodowsky, Bernhard F. “Translating Scala to SIL.” 2013. Web. 15 Dec 2019.

Vancouver:

Brodowsky BF. Translating Scala to SIL. [Internet] [Thesis]. ETH Zürich; 2013. [cited 2019 Dec 15]. Available from: http://hdl.handle.net/20.500.11850/154020.

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

Council of Science Editors:

Brodowsky BF. Translating Scala to SIL. [Thesis]. ETH Zürich; 2013. Available from: http://hdl.handle.net/20.500.11850/154020

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


ETH Zürich

14. Crelier, Régis Bernard Joseph. Separate compilation and module extension.

Degree: 1994, ETH Zürich

Subjects/Keywords: COMPILER (PROGRAMMIERSPRACHEN); KONSISTENZ (SOFTWARE ENGINEERING); OBERON (PROGRAMMIERSPRACHEN); STRUKTURIERTE PROGRAMMIERUNG + MODULARE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); COMPILERS (PROGRAMMING LANGUAGES); CONSISTENCY (SOFTWARE ENGINEERING); OBERON (PROGRAMMING LANGUAGES); STRUCTURED PROGRAMMING + MODULAR PROGRAMMING (PROGRAMMING METHODS); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Crelier, R. B. J. (1994). Separate compilation and module extension. (Doctoral Dissertation). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/141604

Chicago Manual of Style (16th Edition):

Crelier, Régis Bernard Joseph. “Separate compilation and module extension.” 1994. Doctoral Dissertation, ETH Zürich. Accessed December 15, 2019. http://hdl.handle.net/20.500.11850/141604.

MLA Handbook (7th Edition):

Crelier, Régis Bernard Joseph. “Separate compilation and module extension.” 1994. Web. 15 Dec 2019.

Vancouver:

Crelier RBJ. Separate compilation and module extension. [Internet] [Doctoral dissertation]. ETH Zürich; 1994. [cited 2019 Dec 15]. Available from: http://hdl.handle.net/20.500.11850/141604.

Council of Science Editors:

Crelier RBJ. Separate compilation and module extension. [Doctoral Dissertation]. ETH Zürich; 1994. Available from: http://hdl.handle.net/20.500.11850/141604


ETH Zürich

15. Denzler, Christoph. Modular language specification and composition.

Degree: 2001, ETH Zürich

Subjects/Keywords: SEMANTIK VON PROGRAMMIERSPRACHEN + SYNTAX VON PROGRAMMIERSPRACHEN; SPEZIFIKATIONEN (SOFTWARE ENGINEERING); JAVA (PROGRAMMIERSPRACHEN); SEMANTICS OF PROGRAMMING LANGUAGES + SYNTAX OF PROGRAMMING LANGUAGES; SPECIFICATIONS (SOFTWARE ENGINEERING); JAVA (PROGRAMMING LANGUAGES); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Denzler, C. (2001). Modular language specification and composition. (Doctoral Dissertation). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/145260

Chicago Manual of Style (16th Edition):

Denzler, Christoph. “Modular language specification and composition.” 2001. Doctoral Dissertation, ETH Zürich. Accessed December 15, 2019. http://hdl.handle.net/20.500.11850/145260.

MLA Handbook (7th Edition):

Denzler, Christoph. “Modular language specification and composition.” 2001. Web. 15 Dec 2019.

Vancouver:

Denzler C. Modular language specification and composition. [Internet] [Doctoral dissertation]. ETH Zürich; 2001. [cited 2019 Dec 15]. Available from: http://hdl.handle.net/20.500.11850/145260.

Council of Science Editors:

Denzler C. Modular language specification and composition. [Doctoral Dissertation]. ETH Zürich; 2001. Available from: http://hdl.handle.net/20.500.11850/145260


ETH Zürich

16. Bietenhader, Thomas. Formal semantic specification of a core object-oriented language.

Degree: 2004, ETH Zürich

Subjects/Keywords: SEMANTIK VON PROGRAMMIERSPRACHEN + SYNTAX VON PROGRAMMIERSPRACHEN; OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); SEMANTICS OF PROGRAMMING LANGUAGES + SYNTAX OF PROGRAMMING LANGUAGES; OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bietenhader, T. (2004). Formal semantic specification of a core object-oriented language. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/149029

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

Bietenhader, Thomas. “Formal semantic specification of a core object-oriented language.” 2004. Thesis, ETH Zürich. Accessed December 15, 2019. http://hdl.handle.net/20.500.11850/149029.

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

MLA Handbook (7th Edition):

Bietenhader, Thomas. “Formal semantic specification of a core object-oriented language.” 2004. Web. 15 Dec 2019.

Vancouver:

Bietenhader T. Formal semantic specification of a core object-oriented language. [Internet] [Thesis]. ETH Zürich; 2004. [cited 2019 Dec 15]. Available from: http://hdl.handle.net/20.500.11850/149029.

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

Council of Science Editors:

Bietenhader T. Formal semantic specification of a core object-oriented language. [Thesis]. ETH Zürich; 2004. Available from: http://hdl.handle.net/20.500.11850/149029

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


ETH Zürich

17. Knudsen, Svend Erik. Medos-2: a Modula-2 oriented operating system for the personal computer Lilith.

Degree: 1983, ETH Zürich

Subjects/Keywords: MODULA (PROGRAMMIERSPRACHEN); PERSONALCOMPUTER (COMPUTERSYSTEME); MODULA (PROGRAMMING LANGUAGES); PERSONAL COMPUTERS (COMPUTER SYSTEMS)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Knudsen, S. E. (1983). Medos-2: a Modula-2 oriented operating system for the personal computer Lilith. (Doctoral Dissertation). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/137906

Chicago Manual of Style (16th Edition):

Knudsen, Svend Erik. “Medos-2: a Modula-2 oriented operating system for the personal computer Lilith.” 1983. Doctoral Dissertation, ETH Zürich. Accessed December 15, 2019. http://hdl.handle.net/20.500.11850/137906.

MLA Handbook (7th Edition):

Knudsen, Svend Erik. “Medos-2: a Modula-2 oriented operating system for the personal computer Lilith.” 1983. Web. 15 Dec 2019.

Vancouver:

Knudsen SE. Medos-2: a Modula-2 oriented operating system for the personal computer Lilith. [Internet] [Doctoral dissertation]. ETH Zürich; 1983. [cited 2019 Dec 15]. Available from: http://hdl.handle.net/20.500.11850/137906.

Council of Science Editors:

Knudsen SE. Medos-2: a Modula-2 oriented operating system for the personal computer Lilith. [Doctoral Dissertation]. ETH Zürich; 1983. Available from: http://hdl.handle.net/20.500.11850/137906


ETH Zürich

18. Gisel, Daniel. Eiffel library to generate Java bytecodes.

Degree: 2003, ETH Zürich

Subjects/Keywords: EIFFEL (PROGRAMMIERSPRACHEN); KODIERUNG (SOFTWARE ENGINEERING); JAVA (PROGRAMMIERSPRACHEN); EIFFEL (PROGRAMMING LANGUAGES); CODING (SOFTWARE ENGINEERING); JAVA (PROGRAMMING LANGUAGES); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gisel, D. (2003). Eiffel library to generate Java bytecodes. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/149015

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

Gisel, Daniel. “Eiffel library to generate Java bytecodes.” 2003. Thesis, ETH Zürich. Accessed December 15, 2019. http://hdl.handle.net/20.500.11850/149015.

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

MLA Handbook (7th Edition):

Gisel, Daniel. “Eiffel library to generate Java bytecodes.” 2003. Web. 15 Dec 2019.

Vancouver:

Gisel D. Eiffel library to generate Java bytecodes. [Internet] [Thesis]. ETH Zürich; 2003. [cited 2019 Dec 15]. Available from: http://hdl.handle.net/20.500.11850/149015.

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

Council of Science Editors:

Gisel D. Eiffel library to generate Java bytecodes. [Thesis]. ETH Zürich; 2003. Available from: http://hdl.handle.net/20.500.11850/149015

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


ETH Zürich

19. Schwerhoff, Malte. Symbolic execution for chalice.

Degree: 2011, ETH Zürich

Subjects/Keywords: SPEZIELLE PROGRAMMIERSPRACHEN; TESTEN + FEHLERSUCHEN (SOFTWARE ENGINEERING); VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); SPECIAL PROGRAMMING LANGUAGES; TESTING + DEBUGGING (SOFTWARE ENGINEERING); CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Schwerhoff, M. (2011). Symbolic execution for chalice. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/152629

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

Schwerhoff, Malte. “Symbolic execution for chalice.” 2011. Thesis, ETH Zürich. Accessed December 15, 2019. http://hdl.handle.net/20.500.11850/152629.

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

MLA Handbook (7th Edition):

Schwerhoff, Malte. “Symbolic execution for chalice.” 2011. Web. 15 Dec 2019.

Vancouver:

Schwerhoff M. Symbolic execution for chalice. [Internet] [Thesis]. ETH Zürich; 2011. [cited 2019 Dec 15]. Available from: http://hdl.handle.net/20.500.11850/152629.

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

Council of Science Editors:

Schwerhoff M. Symbolic execution for chalice. [Thesis]. ETH Zürich; 2011. Available from: http://hdl.handle.net/20.500.11850/152629

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


ETH Zürich

20. Staub, Jacqueline. xLogo online - a web-based programming IDE for Logo.

Degree: 2016, ETH Zürich

Subjects/Keywords: PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING); DEKLARATIVE PROGRAMMIERUNG + LOGISCHE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); LOGO (PROGRAMMIERSPRACHEN); PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING); DECLARATIVE PROGRAMMING + LOGIC PROGRAMMING (PROGRAMMING METHODS); LOGO (PROGRAMMING LANGUAGES); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Staub, J. (2016). xLogo online - a web-based programming IDE for Logo. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/155855

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

Staub, Jacqueline. “xLogo online - a web-based programming IDE for Logo.” 2016. Thesis, ETH Zürich. Accessed December 15, 2019. http://hdl.handle.net/20.500.11850/155855.

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

MLA Handbook (7th Edition):

Staub, Jacqueline. “xLogo online - a web-based programming IDE for Logo.” 2016. Web. 15 Dec 2019.

Vancouver:

Staub J. xLogo online - a web-based programming IDE for Logo. [Internet] [Thesis]. ETH Zürich; 2016. [cited 2019 Dec 15]. Available from: http://hdl.handle.net/20.500.11850/155855.

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

Council of Science Editors:

Staub J. xLogo online - a web-based programming IDE for Logo. [Thesis]. ETH Zürich; 2016. Available from: http://hdl.handle.net/20.500.11850/155855

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


ETH Zürich

21. Noll, Albert. Online Feedback-Directed Optimizations for Parallel Java Code.

Degree: 2013, ETH Zürich

Subjects/Keywords: PARALLELVERARBEITUNG + NEBENLÄUFIGKEIT (BETRIEBSSYSTEME); VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); JAVA (PROGRAMMING LANGUAGES); CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS); PARALLEL PROCESSING + CONCURRENCY (OPERATING SYSTEMS); JAVA (PROGRAMMIERSPRACHEN); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Noll, A. (2013). Online Feedback-Directed Optimizations for Parallel Java Code. (Doctoral Dissertation). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/72784

Chicago Manual of Style (16th Edition):

Noll, Albert. “Online Feedback-Directed Optimizations for Parallel Java Code.” 2013. Doctoral Dissertation, ETH Zürich. Accessed December 15, 2019. http://hdl.handle.net/20.500.11850/72784.

MLA Handbook (7th Edition):

Noll, Albert. “Online Feedback-Directed Optimizations for Parallel Java Code.” 2013. Web. 15 Dec 2019.

Vancouver:

Noll A. Online Feedback-Directed Optimizations for Parallel Java Code. [Internet] [Doctoral dissertation]. ETH Zürich; 2013. [cited 2019 Dec 15]. Available from: http://hdl.handle.net/20.500.11850/72784.

Council of Science Editors:

Noll A. Online Feedback-Directed Optimizations for Parallel Java Code. [Doctoral Dissertation]. ETH Zürich; 2013. Available from: http://hdl.handle.net/20.500.11850/72784


EPFL

22. Dubochet, Gilles. Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming.

Degree: 2011, EPFL

 Domain-specific programming is bound to play a central role in improving the productivity of writing software. This is because modern, intricate, general-purpose abstractions are rarely… (more)

Subjects/Keywords: Software Design Tools and Techniques; Scala; Object-Oriented Programming; Applicative (Functional) Programming; Domain-Specific Languages; Software Libraries; Compilers; Code Generation; Metaprogramming; Techniques et Outils de Conception Logicielle; Scala; Programmation Orientée-Objet; Programmation Applicative (Fonctionnelle); Langages Dédiés (Spécifiques aux Domaine); Bibliothèques Logicielles; Compilateurs; Génération de Code; Métaprogrammation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dubochet, G. (2011). Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming. (Thesis). EPFL. Retrieved from http://infoscience.epfl.ch/record/163536

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

Dubochet, Gilles. “Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming.” 2011. Thesis, EPFL. Accessed December 15, 2019. http://infoscience.epfl.ch/record/163536.

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

MLA Handbook (7th Edition):

Dubochet, Gilles. “Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming.” 2011. Web. 15 Dec 2019.

Vancouver:

Dubochet G. Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming. [Internet] [Thesis]. EPFL; 2011. [cited 2019 Dec 15]. Available from: http://infoscience.epfl.ch/record/163536.

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

Council of Science Editors:

Dubochet G. Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming. [Thesis]. EPFL; 2011. Available from: http://infoscience.epfl.ch/record/163536

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


ETH Zürich

23. Hansen, Lucien. Multi-format, EiffelStudio-integrated object browser and writer.

Degree: 2009, ETH Zürich

Subjects/Keywords: EIFFEL (PROGRAMMIERSPRACHEN); PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING); EIFFEL (PROGRAMMING LANGUAGES); PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hansen, L. (2009). Multi-format, EiffelStudio-integrated object browser and writer. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/151217

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

Hansen, Lucien. “Multi-format, EiffelStudio-integrated object browser and writer.” 2009. Thesis, ETH Zürich. Accessed December 15, 2019. http://hdl.handle.net/20.500.11850/151217.

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

MLA Handbook (7th Edition):

Hansen, Lucien. “Multi-format, EiffelStudio-integrated object browser and writer.” 2009. Web. 15 Dec 2019.

Vancouver:

Hansen L. Multi-format, EiffelStudio-integrated object browser and writer. [Internet] [Thesis]. ETH Zürich; 2009. [cited 2019 Dec 15]. Available from: http://hdl.handle.net/20.500.11850/151217.

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

Council of Science Editors:

Hansen L. Multi-format, EiffelStudio-integrated object browser and writer. [Thesis]. ETH Zürich; 2009. Available from: http://hdl.handle.net/20.500.11850/151217

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


ETH Zürich

24. Tawil, Raphael. Eliminating Insecure Uses of C Library Functions.

Degree: 2012, ETH Zürich

Subjects/Keywords: SPEZIELLE PROGRAMMIERMETHODEN; C (PROGRAMMIERSPRACHEN); SPECIAL PROGRAMMING METHODS; C (PROGRAMMING LANGUAGES); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tawil, R. (2012). Eliminating Insecure Uses of C Library Functions. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/153409

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

Tawil, Raphael. “Eliminating Insecure Uses of C Library Functions.” 2012. Thesis, ETH Zürich. Accessed December 15, 2019. http://hdl.handle.net/20.500.11850/153409.

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

MLA Handbook (7th Edition):

Tawil, Raphael. “Eliminating Insecure Uses of C Library Functions.” 2012. Web. 15 Dec 2019.

Vancouver:

Tawil R. Eliminating Insecure Uses of C Library Functions. [Internet] [Thesis]. ETH Zürich; 2012. [cited 2019 Dec 15]. Available from: http://hdl.handle.net/20.500.11850/153409.

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

Council of Science Editors:

Tawil R. Eliminating Insecure Uses of C Library Functions. [Thesis]. ETH Zürich; 2012. Available from: http://hdl.handle.net/20.500.11850/153409

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


ETH Zürich

25. Rudel, Emanuele. A constraint-based layout manager for Eiffel.

Degree: 2014, ETH Zürich

Subjects/Keywords: PROGRAMMIERUMGEBUNGEN (SOFTWARE ENGINEERING); EIFFEL (PROGRAMMIERSPRACHEN); PROGRAMMING ENVIRONMENTS (SOFTWARE ENGINEERING); EIFFEL (PROGRAMMING LANGUAGES); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rudel, E. (2014). A constraint-based layout manager for Eiffel. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/154569

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

Rudel, Emanuele. “A constraint-based layout manager for Eiffel.” 2014. Thesis, ETH Zürich. Accessed December 15, 2019. http://hdl.handle.net/20.500.11850/154569.

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

MLA Handbook (7th Edition):

Rudel, Emanuele. “A constraint-based layout manager for Eiffel.” 2014. Web. 15 Dec 2019.

Vancouver:

Rudel E. A constraint-based layout manager for Eiffel. [Internet] [Thesis]. ETH Zürich; 2014. [cited 2019 Dec 15]. Available from: http://hdl.handle.net/20.500.11850/154569.

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

Council of Science Editors:

Rudel E. A constraint-based layout manager for Eiffel. [Thesis]. ETH Zürich; 2014. Available from: http://hdl.handle.net/20.500.11850/154569

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


ETH Zürich

26. Foellmi, Claudio. OS Development in Rust.

Degree: 2016, ETH Zürich

Subjects/Keywords: SPEZIELLE PROGRAMMIERSPRACHEN; SYSTEMPROGRAMMIERUNG (BETRIEBSSYSTEME); SPECIAL PROGRAMMING LANGUAGES; SYSTEMS PROGRAMMING (OPERATING SYSTEMS); info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Foellmi, C. (2016). OS Development in Rust. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/155725

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

Foellmi, Claudio. “OS Development in Rust.” 2016. Thesis, ETH Zürich. Accessed December 15, 2019. http://hdl.handle.net/20.500.11850/155725.

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

MLA Handbook (7th Edition):

Foellmi, Claudio. “OS Development in Rust.” 2016. Web. 15 Dec 2019.

Vancouver:

Foellmi C. OS Development in Rust. [Internet] [Thesis]. ETH Zürich; 2016. [cited 2019 Dec 15]. Available from: http://hdl.handle.net/20.500.11850/155725.

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

Council of Science Editors:

Foellmi C. OS Development in Rust. [Thesis]. ETH Zürich; 2016. Available from: http://hdl.handle.net/20.500.11850/155725

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


ETH Zürich

27. Leu, Florian. Implementation of frozen objects into Spec#.

Degree: 2009, ETH Zürich

Subjects/Keywords: OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); SPEZIELLE PROGRAMMIERSPRACHEN; OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS); SPECIAL PROGRAMMING LANGUAGES; info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Leu, F. (2009). Implementation of frozen objects into Spec#. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/151411

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

Leu, Florian. “Implementation of frozen objects into Spec#.” 2009. Thesis, ETH Zürich. Accessed December 15, 2019. http://hdl.handle.net/20.500.11850/151411.

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

MLA Handbook (7th Edition):

Leu, Florian. “Implementation of frozen objects into Spec#.” 2009. Web. 15 Dec 2019.

Vancouver:

Leu F. Implementation of frozen objects into Spec#. [Internet] [Thesis]. ETH Zürich; 2009. [cited 2019 Dec 15]. Available from: http://hdl.handle.net/20.500.11850/151411.

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

Council of Science Editors:

Leu F. Implementation of frozen objects into Spec#. [Thesis]. ETH Zürich; 2009. Available from: http://hdl.handle.net/20.500.11850/151411

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


ETH Zürich

28. Kutter, Philipp W. Montages: engineering of computer languages.

Degree: 2004, ETH Zürich

Subjects/Keywords: SEMANTIK VON PROGRAMMIERSPRACHEN + SYNTAX VON PROGRAMMIERSPRACHEN; THEORIE DER PROGRAMMIERUNG; SEMANTICS OF PROGRAMMING LANGUAGES + SYNTAX OF PROGRAMMING LANGUAGES; THEORY OF PROGRAMMING; info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kutter, P. W. (2004). Montages: engineering of computer languages. (Doctoral Dissertation). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/148136

Chicago Manual of Style (16th Edition):

Kutter, Philipp W. “Montages: engineering of computer languages.” 2004. Doctoral Dissertation, ETH Zürich. Accessed December 15, 2019. http://hdl.handle.net/20.500.11850/148136.

MLA Handbook (7th Edition):

Kutter, Philipp W. “Montages: engineering of computer languages.” 2004. Web. 15 Dec 2019.

Vancouver:

Kutter PW. Montages: engineering of computer languages. [Internet] [Doctoral dissertation]. ETH Zürich; 2004. [cited 2019 Dec 15]. Available from: http://hdl.handle.net/20.500.11850/148136.

Council of Science Editors:

Kutter PW. Montages: engineering of computer languages. [Doctoral Dissertation]. ETH Zürich; 2004. Available from: http://hdl.handle.net/20.500.11850/148136


ETH Zürich

29. Corrodi, Claudio. Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE.

Degree: 2015, ETH Zürich

Subjects/Keywords: VERIFIKATION (SOFTWARE ENGINEERING); OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); VERTEILTE PROGRAMMIERUNG + PARALLELE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); SPEZIELLE PROGRAMMIERSPRACHEN; VERIFICATION (SOFTWARE ENGINEERING); OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS); CONCURRENT PROGRAMMING + DISTRIBUTED PROGRAMMING + PARALLEL PROGRAMMING (PROGRAMMING METHODS); SPECIAL PROGRAMMING LANGUAGES; info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Corrodi, C. (2015). Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/155096

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

Corrodi, Claudio. “Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE.” 2015. Thesis, ETH Zürich. Accessed December 15, 2019. http://hdl.handle.net/20.500.11850/155096.

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

MLA Handbook (7th Edition):

Corrodi, Claudio. “Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE.” 2015. Web. 15 Dec 2019.

Vancouver:

Corrodi C. Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE. [Internet] [Thesis]. ETH Zürich; 2015. [cited 2019 Dec 15]. Available from: http://hdl.handle.net/20.500.11850/155096.

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

Council of Science Editors:

Corrodi C. Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE. [Thesis]. ETH Zürich; 2015. Available from: http://hdl.handle.net/20.500.11850/155096

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


ETH Zürich

30. Wüstholz, Valentin. Encoding scala programs for the Boogie verifier.

Degree: 2009, ETH Zürich

Subjects/Keywords: KORREKTHEIT (THEORIE DER PROGRAMMIERUNG); OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); SPEZIELLE PROGRAMMIERSPRACHEN; CORRECTNESS (THEORY OF PROGRAMMING); OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS); SPECIAL PROGRAMMING LANGUAGES; info:eu-repo/classification/ddc/004; Data processing, computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wüstholz, V. (2009). Encoding scala programs for the Boogie verifier. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/151558

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

Wüstholz, Valentin. “Encoding scala programs for the Boogie verifier.” 2009. Thesis, ETH Zürich. Accessed December 15, 2019. http://hdl.handle.net/20.500.11850/151558.

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

MLA Handbook (7th Edition):

Wüstholz, Valentin. “Encoding scala programs for the Boogie verifier.” 2009. Web. 15 Dec 2019.

Vancouver:

Wüstholz V. Encoding scala programs for the Boogie verifier. [Internet] [Thesis]. ETH Zürich; 2009. [cited 2019 Dec 15]. Available from: http://hdl.handle.net/20.500.11850/151558.

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

Council of Science Editors:

Wüstholz V. Encoding scala programs for the Boogie verifier. [Thesis]. ETH Zürich; 2009. Available from: http://hdl.handle.net/20.500.11850/151558

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

[1] [2] [3]

.