Open Access Theses and Dissertations

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 · date | New search

University: ETH Zürich ❌

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

◁ [1] [2] [3] ▶

Search Limiters

Last 2 Years | English Only

▼ Search Limiters


ETH Zürich

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

Degree: 2005, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/149021 

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 Details  Similar Records    Google 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 11, 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. 11 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 11]. 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

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

Degree: 2010, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/152938 

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 Details  Similar Records    Google 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 11, 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. 11 Dec 2019.

Vancouver:

Friedli A. Fine-grained aspects of automatic refactoring in C2Eiffel. [Internet] [Thesis]. ETH Zürich; 2010. [cited 2019 Dec 11]. 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

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

Degree: 2010, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/152396 

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 Details  Similar Records    Google 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 11, 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. 11 Dec 2019.

Vancouver:

Cortonesi M. Objective-C frameworks to Eiffel converter. [Internet] [Thesis]. ETH Zürich; 2010. [cited 2019 Dec 11]. 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

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

Degree: 2008, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/70805 

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 Details  Similar Records    Google 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 11, 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. 11 Dec 2019.

Vancouver:

Trudel M. Java sourcecode to Eiffel sourcecode compiler. [Internet] [Thesis]. ETH Zürich; 2008. [cited 2019 Dec 11]. 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

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

Degree: 2012, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/153457 

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 Details  Similar Records    Google 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 11, 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. 11 Dec 2019.

Vancouver:

Egli F. Translating Spec# Programs to C# with CodeContracts. [Internet] [Thesis]. ETH Zürich; 2012. [cited 2019 Dec 11]. 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


ETH Zürich

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

Degree: 2003, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/72831 

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 Details  Similar Records    Google 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 11, 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. 11 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 11]. 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

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

Degree: 2008, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/150633 

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

Record Details  Similar Records    Google 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 11, 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. 11 Dec 2019.

Vancouver:

Hess M. Integrating proof-transforming compilation into EiffelStudio. [Internet] [Thesis]. ETH Zürich; 2008. [cited 2019 Dec 11]. 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

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

Degree: 2013, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/154020 

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

Record Details  Similar Records    Google 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 11, 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. 11 Dec 2019.

Vancouver:

Brodowsky BF. Translating Scala to SIL. [Internet] [Thesis]. ETH Zürich; 2013. [cited 2019 Dec 11]. 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

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

Degree: 1994, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/141604 

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 Details  Similar Records    Google 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 11, 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. 11 Dec 2019.

Vancouver:

Crelier RBJ. Separate compilation and module extension. [Internet] [Doctoral dissertation]. ETH Zürich; 1994. [cited 2019 Dec 11]. 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

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

Degree: 2001, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/145260 

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 Details  Similar Records    Google 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 11, 2019. http://hdl.handle.net/20.500.11850/145260.

MLA Handbook (7th Edition):

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

Vancouver:

Denzler C. Modular language specification and composition. [Internet] [Doctoral dissertation]. ETH Zürich; 2001. [cited 2019 Dec 11]. 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

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

Degree: 2004, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/149029 

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 Details  Similar Records    Google 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 11, 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. 11 Dec 2019.

Vancouver:

Bietenhader T. Formal semantic specification of a core object-oriented language. [Internet] [Thesis]. ETH Zürich; 2004. [cited 2019 Dec 11]. 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

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

Degree: 1983, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/137906 

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

Record Details  Similar Records    Google 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 11, 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. 11 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 11]. 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

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

Degree: 2003, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/149015 

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 Details  Similar Records    Google 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 11, 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. 11 Dec 2019.

Vancouver:

Gisel D. Eiffel library to generate Java bytecodes. [Internet] [Thesis]. ETH Zürich; 2003. [cited 2019 Dec 11]. 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

14. Schwerhoff, Malte. Symbolic execution for chalice.

Degree: 2011, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/152629 

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 Details  Similar Records    Google 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 11, 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. 11 Dec 2019.

Vancouver:

Schwerhoff M. Symbolic execution for chalice. [Internet] [Thesis]. ETH Zürich; 2011. [cited 2019 Dec 11]. 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

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

Degree: 2016, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/155855 

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 Details  Similar Records    Google 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 11, 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. 11 Dec 2019.

Vancouver:

Staub J. xLogo online - a web-based programming IDE for Logo. [Internet] [Thesis]. ETH Zürich; 2016. [cited 2019 Dec 11]. 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

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

Degree: 2013, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/72784 

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 Details  Similar Records    Google 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 11, 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. 11 Dec 2019.

Vancouver:

Noll A. Online Feedback-Directed Optimizations for Parallel Java Code. [Internet] [Doctoral dissertation]. ETH Zürich; 2013. [cited 2019 Dec 11]. 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


ETH Zürich

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

Degree: 2009, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/151217 

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 Details  Similar Records    Google 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 11, 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. 11 Dec 2019.

Vancouver:

Hansen L. Multi-format, EiffelStudio-integrated object browser and writer. [Internet] [Thesis]. ETH Zürich; 2009. [cited 2019 Dec 11]. 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

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

Degree: 2012, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/153409 

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

Record Details  Similar Records    Google 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 11, 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. 11 Dec 2019.

Vancouver:

Tawil R. Eliminating Insecure Uses of C Library Functions. [Internet] [Thesis]. ETH Zürich; 2012. [cited 2019 Dec 11]. 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

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

Degree: 2014, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/154569 

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 Details  Similar Records    Google 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 11, 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. 11 Dec 2019.

Vancouver:

Rudel E. A constraint-based layout manager for Eiffel. [Internet] [Thesis]. ETH Zürich; 2014. [cited 2019 Dec 11]. 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

20. Foellmi, Claudio. OS Development in Rust.

Degree: 2016, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/155725 

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

Record Details  Similar Records    Google 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 11, 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. 11 Dec 2019.

Vancouver:

Foellmi C. OS Development in Rust. [Internet] [Thesis]. ETH Zürich; 2016. [cited 2019 Dec 11]. 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

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

Degree: 2009, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/151411 

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 Details  Similar Records    Google 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 11, 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. 11 Dec 2019.

Vancouver:

Leu F. Implementation of frozen objects into Spec#. [Internet] [Thesis]. ETH Zürich; 2009. [cited 2019 Dec 11]. 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

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

Degree: 2004, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/148136 

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 Details  Similar Records    Google 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 11, 2019. http://hdl.handle.net/20.500.11850/148136.

MLA Handbook (7th Edition):

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

Vancouver:

Kutter PW. Montages: engineering of computer languages. [Internet] [Doctoral dissertation]. ETH Zürich; 2004. [cited 2019 Dec 11]. 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

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

Degree: 2015, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/155096 

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 Details  Similar Records    Google 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 11, 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. 11 Dec 2019.

Vancouver:

Corrodi C. Modelling and Verifying an Object-Oriented Concurrency Model in GROOVE. [Internet] [Thesis]. ETH Zürich; 2015. [cited 2019 Dec 11]. 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

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

Degree: 2009, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/151558 

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 Details  Similar Records    Google 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 11, 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. 11 Dec 2019.

Vancouver:

Wüstholz V. Encoding scala programs for the Boogie verifier. [Internet] [Thesis]. ETH Zürich; 2009. [cited 2019 Dec 11]. 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


ETH Zürich

25. Otth, Martin. Fine-grained software version control based on a program's abstract syntax tree.

Degree: 2014, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/154732 

Subjects/Keywords: KONFIGURATIONSMANAGEMENT + VERSIONENVERWALTUNG (SOFTWARE ENGINEERING); SEMANTIK VON PROGRAMMIERSPRACHEN + SYNTAX VON PROGRAMMIERSPRACHEN; CONFIGURATION MANAGEMENT + VERSION CONTROL (SOFTWARE ENGINEERING); SEMANTICS OF PROGRAMMING LANGUAGES + SYNTAX OF PROGRAMMING LANGUAGES; info:eu-repo/classification/ddc/004; Data processing, computer science

Record Details  Similar Records    Google PlusoneFacebookTwitterCiteULikeMendeleyreddit

❌

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

APA (6th Edition):

Otth, M. (2014). Fine-grained software version control based on a program's abstract syntax tree. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/154732

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

Otth, Martin. “Fine-grained software version control based on a program's abstract syntax tree.” 2014. Thesis, ETH Zürich. Accessed December 11, 2019. http://hdl.handle.net/20.500.11850/154732.

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

MLA Handbook (7th Edition):

Otth, Martin. “Fine-grained software version control based on a program's abstract syntax tree.” 2014. Web. 11 Dec 2019.

Vancouver:

Otth M. Fine-grained software version control based on a program's abstract syntax tree. [Internet] [Thesis]. ETH Zürich; 2014. [cited 2019 Dec 11]. Available from: http://hdl.handle.net/20.500.11850/154732.

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

Council of Science Editors:

Otth M. Fine-grained software version control based on a program's abstract syntax tree. [Thesis]. ETH Zürich; 2014. Available from: http://hdl.handle.net/20.500.11850/154732

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


ETH Zürich

26. Darvas, Ádám Péter. Reasoning about data abstraction in contract languages.

Degree: 2009, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/19787 

Subjects/Keywords: SPEZIFIKATIONSSPRACHEN (SOFTWARE ENGINEERING); SPECIFICATION LANGUAGES (SOFTWARE ENGINEERING); OBJECT-ORIENTED PROGRAMMING (PROGRAMMING METHODS); OBJEKTORIENTIERTE PROGRAMMIERUNG (PROGRAMMIERMETHODEN); info:eu-repo/classification/ddc/004; Data processing, computer science

Record Details  Similar Records    Google PlusoneFacebookTwitterCiteULikeMendeleyreddit

❌

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

APA (6th Edition):

Darvas, . P. (2009). Reasoning about data abstraction in contract languages. (Doctoral Dissertation). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/19787

Chicago Manual of Style (16th Edition):

Darvas, Ádám Péter. “Reasoning about data abstraction in contract languages.” 2009. Doctoral Dissertation, ETH Zürich. Accessed December 11, 2019. http://hdl.handle.net/20.500.11850/19787.

MLA Handbook (7th Edition):

Darvas, Ádám Péter. “Reasoning about data abstraction in contract languages.” 2009. Web. 11 Dec 2019.

Vancouver:

Darvas P. Reasoning about data abstraction in contract languages. [Internet] [Doctoral dissertation]. ETH Zürich; 2009. [cited 2019 Dec 11]. Available from: http://hdl.handle.net/20.500.11850/19787.

Council of Science Editors:

Darvas P. Reasoning about data abstraction in contract languages. [Doctoral Dissertation]. ETH Zürich; 2009. Available from: http://hdl.handle.net/20.500.11850/19787


ETH Zürich

27. Frey, Gianni. Indexing AJAX Web Applications.

Degree: 2007, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/150271 

Subjects/Keywords: WEB PUBLISHING (ELECTRONIC PUBLISHING); SPEZIELLE PROGRAMMIERSPRACHEN; JAVASCRIPT (PROGRAMMIERSPRACHE); WEB PUBLISHING (ELECTRONIC PUBLISHING); SPECIAL PROGRAMMING LANGUAGES; JAVASCRIPT (PROGRAMMING LANGUAGE); info:eu-repo/classification/ddc/004; Data processing, computer science

Record Details  Similar Records    Google PlusoneFacebookTwitterCiteULikeMendeleyreddit

❌

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

APA (6th Edition):

Frey, G. (2007). Indexing AJAX Web Applications. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/150271

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

Frey, Gianni. “Indexing AJAX Web Applications.” 2007. Thesis, ETH Zürich. Accessed December 11, 2019. http://hdl.handle.net/20.500.11850/150271.

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

MLA Handbook (7th Edition):

Frey, Gianni. “Indexing AJAX Web Applications.” 2007. Web. 11 Dec 2019.

Vancouver:

Frey G. Indexing AJAX Web Applications. [Internet] [Thesis]. ETH Zürich; 2007. [cited 2019 Dec 11]. Available from: http://hdl.handle.net/20.500.11850/150271.

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

Council of Science Editors:

Frey G. Indexing AJAX Web Applications. [Thesis]. ETH Zürich; 2007. Available from: http://hdl.handle.net/20.500.11850/150271

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


ETH Zürich

28. Granat, Jérémie. Trinity: The OSGi module development server.

Degree: 2008, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/150563 

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

Record Details  Similar Records    Google PlusoneFacebookTwitterCiteULikeMendeleyreddit

❌

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

APA (6th Edition):

Granat, J. (2008). Trinity: The OSGi module development server. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/150563

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

Granat, Jérémie. “Trinity: The OSGi module development server.” 2008. Thesis, ETH Zürich. Accessed December 11, 2019. http://hdl.handle.net/20.500.11850/150563.

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

MLA Handbook (7th Edition):

Granat, Jérémie. “Trinity: The OSGi module development server.” 2008. Web. 11 Dec 2019.

Vancouver:

Granat J. Trinity: The OSGi module development server. [Internet] [Thesis]. ETH Zürich; 2008. [cited 2019 Dec 11]. Available from: http://hdl.handle.net/20.500.11850/150563.

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

Council of Science Editors:

Granat J. Trinity: The OSGi module development server. [Thesis]. ETH Zürich; 2008. Available from: http://hdl.handle.net/20.500.11850/150563

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


ETH Zürich

29. Kälin, Ruben. Advanced Features for an Integrated Verification Environment.

Degree: 2016, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/156118 

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

Record Details  Similar Records    Google PlusoneFacebookTwitterCiteULikeMendeleyreddit

❌

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

APA (6th Edition):

Kälin, R. (2016). Advanced Features for an Integrated Verification Environment. (Thesis). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/156118

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

Kälin, Ruben. “Advanced Features for an Integrated Verification Environment.” 2016. Thesis, ETH Zürich. Accessed December 11, 2019. http://hdl.handle.net/20.500.11850/156118.

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

MLA Handbook (7th Edition):

Kälin, Ruben. “Advanced Features for an Integrated Verification Environment.” 2016. Web. 11 Dec 2019.

Vancouver:

Kälin R. Advanced Features for an Integrated Verification Environment. [Internet] [Thesis]. ETH Zürich; 2016. [cited 2019 Dec 11]. Available from: http://hdl.handle.net/20.500.11850/156118.

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

Council of Science Editors:

Kälin R. Advanced Features for an Integrated Verification Environment. [Thesis]. ETH Zürich; 2016. Available from: http://hdl.handle.net/20.500.11850/156118

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


ETH Zürich

30. Fruja, Nicu Georgian. Type safety of C# and .Net CLR.

Degree: 2007, ETH Zürich

URL: http://hdl.handle.net/20.500.11850/72699 

Subjects/Keywords: C++ (PROGRAMMIERSPRACHEN); C++ (PROGRAMMING LANGUAGES); KORREKTHEIT (THEORIE DER PROGRAMMIERUNG); CORRECTNESS (THEORY OF PROGRAMMING); info:eu-repo/classification/ddc/004; Data processing, computer science

Record Details  Similar Records    Google PlusoneFacebookTwitterCiteULikeMendeleyreddit

❌

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

APA (6th Edition):

Fruja, N. G. (2007). Type safety of C# and .Net CLR. (Doctoral Dissertation). ETH Zürich. Retrieved from http://hdl.handle.net/20.500.11850/72699

Chicago Manual of Style (16th Edition):

Fruja, Nicu Georgian. “Type safety of C# and .Net CLR.” 2007. Doctoral Dissertation, ETH Zürich. Accessed December 11, 2019. http://hdl.handle.net/20.500.11850/72699.

MLA Handbook (7th Edition):

Fruja, Nicu Georgian. “Type safety of C# and .Net CLR.” 2007. Web. 11 Dec 2019.

Vancouver:

Fruja NG. Type safety of C# and .Net CLR. [Internet] [Doctoral dissertation]. ETH Zürich; 2007. [cited 2019 Dec 11]. Available from: http://hdl.handle.net/20.500.11850/72699.

Council of Science Editors:

Fruja NG. Type safety of C# and .Net CLR. [Doctoral Dissertation]. ETH Zürich; 2007. Available from: http://hdl.handle.net/20.500.11850/72699

◁ [1] [2] [3] ▶

.