„functional logic programming“

Suchergebnisse

1.000+ Treffer

• Foundations of Programming Languages
  Lee, Kent D. 2017 Springer International Publishing
• FLIP – functional plus logic programming on an integrated platform
  Sintek, Michael 1995 DFKI
• 3rd Workshop on Functional Logic Programming – Schwarzenberg, Januar 1994
  Lock, Hendrik C. R. 1995 Univ., Fak. für Informatik
• Solving Higher-Order Equations – From Logic to Programming
  Prehofer, Christian 1998 Birkhäuser Boston
• Counterexample Generation for Higher-Order Logic Using Functional and Logic Programming
  Bulwahn, Lukas ; Nipkow, Tobias ; Runciman, Colin 2013 Universitätsbibliothek der TU München
• Implementing Functional Logic Programs – by Translation into Purely Functional Programs
  Braßel, Bernd 2012 Südwestdeutscher Verlag für Hochschulschriften
• On functional logic programming and its application to testing
  Fischer, Sebastian
• Implementing Functional Logic Programs by Translation into Purely Functional Programs
  Braßel, Bernd 2011 Universitätsbibliothek Kiel
• Higher-Order Specifications for Deductive Synthesis of Programs with Pointers (Artifact)
  Young, David ; Yang, Ziyi ; Sergey, Ilya ; Potanin, Alex
• Higher-Order Specifications for Deductive Synthesis of Programs with Pointers
  Young, David ; Yang, Ziyi ; Sergey, Ilya ; Potanin, Alex 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Functional and Constraint Logic Programming – 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
  Escobar, Santiago 2010 Springer International Publishing
• Functional and Logic Programming – 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
  Garrigue, Jacques 2008 Springer International Publishing
• Practical Aspects of Declarative Languages – 17th International Symposium, PADL 2015, Portland, OR, USA, June 18-19, 2015. Proceedings
  Pontelli, Enrico ; Son, Tran Cao 2015 Springer International Publishing
• Software Engineering and Formal Methods – SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers
  Counsell, Steve ; Núñez, Manuel 2014 Springer International Publishing
• Practical Aspects of Declarative Languages – 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
  2013 Springer Berlin Heidelberg
• Functional and Logic Programming – 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
  Schrijvers, Tom ; Thiemann, Peter 2012 Springer Berlin Heidelberg
• Automated Deduction in Geometry – 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers
  Schreck, Pascal ; Narboux, Julien ; Richter-Gebert, Jürgen 2011 Springer Berlin Heidelberg
• Functional and Constraint Logic Programming – 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
  Kuchen, Herbert 2011 Springer Berlin Heidelberg
• Functional and Constraint Logic Programming – 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers
  Mariño, Julio 2011 Springer Berlin Heidelberg
• Reconfigurable Computing: Architectures, Tools and Applications – 7th International Symposium, ARC 2011, Belfast, UK, March 23-25, 2011. Proceedings
  Koch, Andreas ; Krishnamurthy, Ram ; McAllister, John ; Woods, Roger ; El-Ghazawi, Tarek 2011 Springer Berlin Heidelberg