„Functional programming“

Suchergebnisse

608 Treffer

• Distributed functional and load tests for Web services
  Schieferdecker, Ina ; Din, George ; Apostolidis, Dimitrios
• System-level functional testing from UML specifications in end-of-production industrial environments
  Baldini, Andrea ; Benso, Alfredo ; Prinetto, Paolo
• Functional programming languages for verification tools: a comparison of Standard ML and Haskell
  Leucker, Martin ; Noll, Thomas ; Stevens, Perdita ; Weber, Michael
• Functional and constraint logic programming – 19th international workshop ; revised selected papers
  Mariño, Julio 2011 Springer
• Formal concept analysis – 9th international conference ; proceedings
  Valtchev, Petko ; Jäschke, Robert 2011 Springer
• Reconfigurable computing: architectures, tools and applications – 7th international symposium ; proceedings
  Koch, Andreas ; Krishnamurthy, Ram ; McAllister, John ; Woods, Roger ; El-Ghazawi, Tarek 2011 Springer
• AutoProof: auto-active functional verification of object-oriented programs
  Furia, Carlo A. ; Nordio, Martin ; Polikarpova, Nadia ; Tschannen, Julian
• Functional Models of Hadoop MapReduce with Application to Scan
  Matsuzaki, Kiminori
• Practical aspects of declarative languages – 13th international symposium ; proceedings
  Rocha, Ricardo ; Launchbury, John 2011 Springer
• Central European functional programming school – third summer school ; revised selected lectures
  Horváth, Zoltán ; Plasmeijer, Rinus ; Zsók, Viktoria 2010 Springer
• Solvability and Algorithms for Functional Equations Originating from Dynamic Programming
  Jiang, Guojing ; Kang, ShinMin ; Kwun, YoungChel
• On Properties of Solutions for Two Functional Equations Arising in Dynamic Programming
  Liu, Zeqing ; Ume, JeongSheok ; Kang, ShinMin
• Compiler design
  Seidl, Helmut 2012 Springer
• Compiler design
  Seidl, Helmut 2013 Springer
• Programming languages and systems – 8th Asian symposium ; proceedings
  Ueda, Kazunori 2010 Springer
• Algebraic Methodology and Software Technology – 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings
  Johnson, Michael ; Pavlović, Dus̆ko 2004 Springer Berlin Heidelberg
• Integration of functional and logic programming – 18. - 22.3.1991 (9112)
  Apt, Krzysztof R. 1991 Geschäftsstelle Schloss Dagstuhl
• Functional Architecture – An Approach for Effective Execution of Functional Programming Languages
  Shen, Hong 2010 VDM Verlag Dr. Müller
• Functional programming – proceedings of the 1989 Glasgow Workshop, 21 - 23 August 1989, Fraserburgh, Scotland
  Davis, Kei 1990 Springer
• A denotational semantics for Backus' functional programming language with infinite objects
  Nickl, Friederike 1985 Dekanat d. Fak. für Mathematik u. Informatik, Univ.