Rozprawy doktorskie na temat „Functional programming”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych rozpraw doktorskich naukowych na temat „Functional programming”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj rozprawy doktorskie z różnych dziedzin i twórz odpowiednie bibliografie.
Hill, Stephen A. "Functional programming techniques". Thesis, University of Kent, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.236147.
Pełny tekst źródłaLongley, Mark. "Functional programming applications". Thesis, University of Kent, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.303191.
Pełny tekst źródłaPerera, Roland. "Interactive functional programming". Thesis, University of Birmingham, 2013. http://etheses.bham.ac.uk//id/eprint/4209/.
Pełny tekst źródłaClark, Allan. "Abstraction-level functional programming". Thesis, University of Edinburgh, 2008. http://hdl.handle.net/1842/24458.
Pełny tekst źródłaWidera, Manfred. "Testing in functional programming". Aachen Shaker, 2006. http://d-nb.info/988123983/04.
Pełny tekst źródłaWidera, Manfred. "Testing in functional programming /". Aachen : Shaker, 2008. http://d-nb.info/988123983/04.
Pełny tekst źródłaMeehan, Gary. "Aspects of functional programming". Thesis, University of Warwick, 1999. http://wrap.warwick.ac.uk/58566/.
Pełny tekst źródłaMartins, Pedro M. "Context-oriented functional programming". Thesis, Imperial College London, 2013. http://hdl.handle.net/10044/1/24669.
Pełny tekst źródłaYoo, Daniel. "Building Web Based Programming Environments for Functional Programming". Digital WPI, 2012. https://digitalcommons.wpi.edu/etd-dissertations/181.
Pełny tekst źródłaAlam, Abu S. "A programming system for end-user functional programming". Thesis, University of Gloucestershire, 2015. http://eprints.glos.ac.uk/2738/.
Pełny tekst źródłaChristiansen, Jan [Verfasser]. "Investigating Minimally Strict Functions in Functional Programming / Jan Christiansen". Kiel : Universitätsbibliothek Kiel, 2012. http://d-nb.info/1024079805/34.
Pełny tekst źródłaBerg, Klaas Gerrit van den. "Software measurement and functional programming". Enschede : University of Twente [Host], 1995. http://doc.utwente.nl/57883.
Pełny tekst źródłaGordon, Andrew Donald. "Functional programming and input/output". Thesis, University of Cambridge, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.259479.
Pełny tekst źródłaJosephs, M. B. "Functional programming with side-effects". Thesis, University of Oxford, 1986. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.375263.
Pełny tekst źródłaGrattage, Jonathan James. "A functional quantum programming language". Thesis, University of Nottingham, 2006. http://eprints.nottingham.ac.uk/10250/.
Pełny tekst źródłaKing, David Jonathan. "Functional programming and graph algorithms". Thesis, University of Glasgow, 1996. http://theses.gla.ac.uk/1629/.
Pełny tekst źródłaGrimley, Allan. "Inductive types in functional programming". Thesis, University of Kent, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.253737.
Pełny tekst źródłaToyn, I. "Exploratory environments for functional programming". Thesis, University of York, 1987. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.377289.
Pełny tekst źródłaSchwendner, Alex (Alex R. ). "Distributed functional programming in Scheme". Thesis, Massachusetts Institute of Technology, 2010. http://hdl.handle.net/1721.1/61515.
Pełny tekst źródłaThis electronic version was submitted by the student author. The certified thesis is available in the Institute Archives and Special Collections.
Cataloged from student-submitted PDF version of thesis.
Includes bibliographical references (p. 61-62).
In this thesis, we present a framework for writing distributed computer programs in Scheme using simple "future" semantics. This allows a Scheme program originally written for execution on a single computer to be run in a distributed manner on a cluster of computers with very little modification to the program. The structure of the computation can be extremely general and need not be specified in advance. In order to provide this programming environment, we implemented a system of job execution servers which transparently execute arbitrary Scheme code written in a functional or mostly functional style. The use of a functional, side effect free style of programming simplifies the challenges of data consistency. A number of demonstrations of the system are presented, including a distributed SAT solver. The performance of the system is shown to increase roughly linearly with the number of servers employed.
by Alex Schwendner.
M.Eng.
Wallace, Malcolm. "Functional programming and embedded systems". Thesis, University of York, 1995. http://etheses.whiterose.ac.uk/10807/.
Pełny tekst źródłaRoe, Paul. "Parallel programming using functional languages". Thesis, Connect to e-thesis, 1991. http://theses.gla.ac.uk/1052.
Pełny tekst źródłaAbdul, Rauf Rose Hafsah Binti. "Integrating functional programming into C++". Thesis, Swansea University, 2008. https://cronfa.swan.ac.uk/Record/cronfa43069.
Pełny tekst źródłaRyder, Chris. "Software measurement for functional programming". Thesis, University of Kent, 2004. https://kar.kent.ac.uk/14117/.
Pełny tekst źródłaToczé, Klervie. "Functional Reactive Programming as programming model for telecom server software". Thesis, Linköpings universitet, Programvara och system, 2014. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-113142.
Pełny tekst źródłaKing, Christopher T. "An axiomatic semantics for functional reactive programming". Worcester, Mass. : Worcester Polytechnic Institute, 2008. http://www.wpi.edu/Pubs/ETD/Available/etd-042908-133033/.
Pełny tekst źródłaBenini, Enrico. "Functional Programming In Modern Software Systems". Master's thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amslaurea.unibo.it/13264/.
Pełny tekst źródłaSvallfors, Hugo. "Sard: An Object-Functional Programming Language". Thesis, Umeå universitet, Institutionen för datavetenskap, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:umu:diva-51276.
Pełny tekst źródłaBergstrom, Lars. "Parallel functional programming with mutable state". Thesis, The University of Chicago, 2013. http://pqdtopen.proquest.com/#viewpdf?dispub=3568360.
Pełny tekst źródłaImmutability greatly simplifies the implementation of parallel languages. In the absence of mutable state the language implementation is free to perform parallel operations with fewer locks and fewer restrictions on scheduling and data replication. In the Manticore project, we have achieved nearly perfect speedups across both Intel and AMD manycore machines on a variety of benchmarks using this approach.
There are parallel stateful algorithms, however, that exhibit significantly better performance than the corresponding parallel algorithm without mutable state. For example, in many search problems, the same problem configuration can be reached through multiple execution paths. Parallel stateful algorithms share the results of evaluating the same configuration across threads, but parallel mutation-free algorithms are required to either duplicate work or thread their state through a sequential store. Additionally, in algorithms where each parallel task mutates an independent portion of the data, non-conflicting mutations can be performed in parallel. The parallel state-free algorithm will have to merge each of those changes individually, which is a sequential operation at each step.
In this dissertation, we extend Manticore with two techniques that address these problems while preserving its current scalability. Memoization , also known as function caching, is a technique that stores previously returned values from functions, making them available to parallel threads of executions that call that same function with those same values. We have taken this deterministic technique and combined it with a high-performance implementation of a dynamically sized, parallel hash table to provide scalable performance. We have also added mutable state along with two execution models — one of which is deterministic — that allow the user to share arbitrary results across parallel threads under several execution models, all of which preserve the ability to reason locally about the behavior of code.
For both of these techniques, we present a detailed description of their implementations, examine a set of relevant benchmarks, and specify their semantics.
Taylor, Frank Stephen. "Parallel functional programming by declarative partitioning". Thesis, Imperial College London, 1997. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.264268.
Pełny tekst źródłaIglesias, Pablo Nogueira. "Polytypic functional programming and data abstraction". Thesis, University of Nottingham, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.430769.
Pełny tekst źródłaHowells, William Gareth James. "Data modelling, subtyping and functional programming". Thesis, University of Kent, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.279165.
Pełny tekst źródłaWidera, Manfred [Verfasser]. "Testing in Functional Programming / Manfred Widera". Aachen : Shaker, 2008. http://d-nb.info/1162790296/34.
Pełny tekst źródłaAl-Khanji, L. (Louai). "Expressing functional reactive programming in C++". Master's thesis, University of Oulu, 2015. http://jultika.oulu.fi/Record/nbnfioulu-201511212160.
Pełny tekst źródłaPitcher, C. S. "Functional programming and erratic non-determinism". Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.393759.
Pełny tekst źródłaPerez, Dominguez Ivan. "Extensible and robust functional reactive programming". Thesis, University of Nottingham, 2018. http://eprints.nottingham.ac.uk/50348/.
Pełny tekst źródłaSeres, Silvija. "The algebra of logic programming". Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.365466.
Pełny tekst źródłaYu, Gwoing Tina. "An analysis of the impact of functional programming techniques on genetic programming". Thesis, University College London (University of London), 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.313519.
Pełny tekst źródłaGammon, Shauna C. A. "Notions of category theory in functional programming". Thesis, University of British Columbia, 2007. http://hdl.handle.net/2429/31756.
Pełny tekst źródłaScience, Faculty of
Mathematics, Department of
Graduate
Wray, S. C. "Implementation and programming techniques for functional languages". Thesis, University of Cambridge, 1986. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.373719.
Pełny tekst źródłaSculthorpe, Neil. "Towards safe and efficient functional reactive programming". Thesis, University of Nottingham, 2011. http://eprints.nottingham.ac.uk/11981/.
Pełny tekst źródłaLoidl, Hans Wolfgang. "Granularity in large-scale parallel functional programming". Thesis, University of Glasgow, 1998. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.241782.
Pełny tekst źródłaWall, Karl. "G#, a graphical approach to functional programming". Thesis, Tekniska Högskolan, Högskolan i Jönköping, JTH, Datateknik och informatik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:hj:diva-43359.
Pełny tekst źródłaSyftet med examensarbetet var att med hjälp av inspiration från funktionell programmering, presentera en lösning på hur ett nytt grafiskt programmeringsspråk med ett funktionellt djup och tänk kan konstrueras. Med hjälp av designbaserad forskning har en artefakt tagits fram som genomgått iterationer av utveckling och testning för att uppnå ett resultat som fungerar som tänkt. Det grafiska språket som tagits fram kallas för G# och är ett språk som tillåter programmeraren att programmera på djupet, funktioner skrivs som block inuti block och språket blir kompakt. Tillhörande G# så konstruerades en struktur i ett JSON-format för hur funktioner i G# kan representeras i ett textat dataformat. Syftet med JSON-formatet var att möjliggöra exekvering av G# och transformering till ett textbaserat programmeringsspråk. Av denna studie kan det dras lärdomar kring hur ett programmeringsspråk kan byggas upp från grunden och vilka svårigheter som måste tacklas för att få ett resultat som fungerar. På grund av begränsning av tid så utvecklades endast vanligt förekommande funktioner inom programmering till G#, språkets slutversion kan göra beräkningar, sköta hantering av listor och utföra enklare algoritmer. Vid utvecklingen av G# användes verktyget Draw.io för att konstruera funktioner. Verktyget var begränsat i funktionalitet och presterade inte enligt förväntan. Därför borde en undersökning som svarar på vilket typ av verktyg som är mest lämpligt för utvecklingen av de grafiska funktionerna göras innan utvecklingen börjar.
Ostheimer, Gerald. "Parallel functional programming for message-passing multiprocessors". Thesis, University of St Andrews, 1993. http://hdl.handle.net/10023/13426.
Pełny tekst źródłaKelso, Joel. "A visual programming environment for functional languages". Thesis, Kelso, Joel (2002) A visual programming environment for functional languages. PhD thesis, Murdoch University, 2002. https://researchrepository.murdoch.edu.au/id/eprint/50254/.
Pełny tekst źródłaGraham, Gwyneth Clare. "An investigation of nondeterminism in functional programming languages". Thesis, Rhodes University, 1997. http://hdl.handle.net/10962/d1006658.
Pełny tekst źródłaMcNamara, Brian. "Multiparadigm programming novel devices for implementing functional and logic programming constructs in C++ /". Diss., Available online, Georgia Institute of Technology, 2004:, 2004. http://etd.gatech.edu/theses/available/etd-07122004-121450/unrestricted/mcnamara%5Fbrian%5Fm%5F200407%5Fphd.pdf.
Pełny tekst źródłaSpencer Rugaber, Committee Member ; Olin Shivers, Committee Member ; Mary Jean Harrold, Committee Member ; Yannis Smaragdakis, Committee Chair ; Philip Wadler, Committee Member. Includes bibliographical references.
Mathaikutty, Deepak Abraham. "Functional Programming and Metamodeling frameworks for System Design". Thesis, Virginia Tech, 2005. http://hdl.handle.net/10919/32639.
Pełny tekst źródłaMaster of Science
Penney, Alastair William. "Augmenting trace-based functional debugging". Thesis, University of Bristol, 2000. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.310594.
Pełny tekst źródłaMountjoy, Jon-Dean. "Static analysis of functional languages". Thesis, Rhodes University, 1994. http://hdl.handle.net/10962/d1006690.
Pełny tekst źródłaKMBT_223
Schütz, Marko. "Analyzing demand in non-strict functional programming languages /". Frankfurt a. M, 2000. http://deposit.ddb.de/cgi-bin/dokserv?idn=979469546.
Pełny tekst źródła