Tesis sobre el tema "Functional programming"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores tesis para su investigación sobre el tema "Functional programming".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Hill, Stephen A. "Functional programming techniques". Thesis, University of Kent, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.236147.
Texto completoLongley, Mark. "Functional programming applications". Thesis, University of Kent, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.303191.
Texto completoPerera, Roland. "Interactive functional programming". Thesis, University of Birmingham, 2013. http://etheses.bham.ac.uk//id/eprint/4209/.
Texto completoClark, Allan. "Abstraction-level functional programming". Thesis, University of Edinburgh, 2008. http://hdl.handle.net/1842/24458.
Texto completoWidera, Manfred. "Testing in functional programming". Aachen Shaker, 2006. http://d-nb.info/988123983/04.
Texto completoWidera, Manfred. "Testing in functional programming /". Aachen : Shaker, 2008. http://d-nb.info/988123983/04.
Texto completoMeehan, Gary. "Aspects of functional programming". Thesis, University of Warwick, 1999. http://wrap.warwick.ac.uk/58566/.
Texto completoMartins, Pedro M. "Context-oriented functional programming". Thesis, Imperial College London, 2013. http://hdl.handle.net/10044/1/24669.
Texto completoYoo, Daniel. "Building Web Based Programming Environments for Functional Programming". Digital WPI, 2012. https://digitalcommons.wpi.edu/etd-dissertations/181.
Texto completoAlam, Abu S. "A programming system for end-user functional programming". Thesis, University of Gloucestershire, 2015. http://eprints.glos.ac.uk/2738/.
Texto completoChristiansen, Jan [Verfasser]. "Investigating Minimally Strict Functions in Functional Programming / Jan Christiansen". Kiel : Universitätsbibliothek Kiel, 2012. http://d-nb.info/1024079805/34.
Texto completoBerg, Klaas Gerrit van den. "Software measurement and functional programming". Enschede : University of Twente [Host], 1995. http://doc.utwente.nl/57883.
Texto completoGordon, Andrew Donald. "Functional programming and input/output". Thesis, University of Cambridge, 1992. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.259479.
Texto completoJosephs, M. B. "Functional programming with side-effects". Thesis, University of Oxford, 1986. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.375263.
Texto completoGrattage, Jonathan James. "A functional quantum programming language". Thesis, University of Nottingham, 2006. http://eprints.nottingham.ac.uk/10250/.
Texto completoKing, David Jonathan. "Functional programming and graph algorithms". Thesis, University of Glasgow, 1996. http://theses.gla.ac.uk/1629/.
Texto completoGrimley, Allan. "Inductive types in functional programming". Thesis, University of Kent, 1990. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.253737.
Texto completoToyn, I. "Exploratory environments for functional programming". Thesis, University of York, 1987. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.377289.
Texto completoSchwendner, Alex (Alex R. ). "Distributed functional programming in Scheme". Thesis, Massachusetts Institute of Technology, 2010. http://hdl.handle.net/1721.1/61515.
Texto completoThis 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/.
Texto completoRoe, Paul. "Parallel programming using functional languages". Thesis, Connect to e-thesis, 1991. http://theses.gla.ac.uk/1052.
Texto completoAbdul, Rauf Rose Hafsah Binti. "Integrating functional programming into C++". Thesis, Swansea University, 2008. https://cronfa.swan.ac.uk/Record/cronfa43069.
Texto completoRyder, Chris. "Software measurement for functional programming". Thesis, University of Kent, 2004. https://kar.kent.ac.uk/14117/.
Texto completoToczé, 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.
Texto completoKing, 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/.
Texto completoBenini, Enrico. "Functional Programming In Modern Software Systems". Master's thesis, Alma Mater Studiorum - Università di Bologna, 2017. http://amslaurea.unibo.it/13264/.
Texto completoSvallfors, 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.
Texto completoBergstrom, Lars. "Parallel functional programming with mutable state". Thesis, The University of Chicago, 2013. http://pqdtopen.proquest.com/#viewpdf?dispub=3568360.
Texto completoImmutability 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.
Texto completoIglesias, Pablo Nogueira. "Polytypic functional programming and data abstraction". Thesis, University of Nottingham, 2005. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.430769.
Texto completoHowells, 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.
Texto completoWidera, Manfred [Verfasser]. "Testing in Functional Programming / Manfred Widera". Aachen : Shaker, 2008. http://d-nb.info/1162790296/34.
Texto completoAl-Khanji, L. (Louai). "Expressing functional reactive programming in C++". Master's thesis, University of Oulu, 2015. http://jultika.oulu.fi/Record/nbnfioulu-201511212160.
Texto completoPitcher, C. S. "Functional programming and erratic non-determinism". Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.393759.
Texto completoPerez, Dominguez Ivan. "Extensible and robust functional reactive programming". Thesis, University of Nottingham, 2018. http://eprints.nottingham.ac.uk/50348/.
Texto completoSeres, Silvija. "The algebra of logic programming". Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.365466.
Texto completoYu, 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.
Texto completoGammon, Shauna C. A. "Notions of category theory in functional programming". Thesis, University of British Columbia, 2007. http://hdl.handle.net/2429/31756.
Texto completoScience, 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.
Texto completoSculthorpe, Neil. "Towards safe and efficient functional reactive programming". Thesis, University of Nottingham, 2011. http://eprints.nottingham.ac.uk/11981/.
Texto completoLoidl, 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.
Texto completoWall, 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.
Texto completoSyftet 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.
Texto completoKelso, 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/.
Texto completoGraham, Gwyneth Clare. "An investigation of nondeterminism in functional programming languages". Thesis, Rhodes University, 1997. http://hdl.handle.net/10962/d1006658.
Texto completoMcNamara, 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.
Texto completoSpencer 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.
Texto completoMaster 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.
Texto completoMountjoy, Jon-Dean. "Static analysis of functional languages". Thesis, Rhodes University, 1994. http://hdl.handle.net/10962/d1006690.
Texto completoKMBT_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.
Texto completo