„Declarative Programming“

Suchergebnisse

1.000+ Treffer

• BXtendDSL at Work: Combining Declarative and Imperative Programming of Bidirectional Model Transformations
  Buchmann, Thomas ; Bank, Matthias ; Westfechtel, Bernhard
• Declarative Reasoning about Space and Motion with Video
  Suchan, Jakob
• Applications of declarative programming and knowledge management – 18th international conference ; revised selected papers
  Abreu, Salvador ; Seipel, Dietmar 2011 Springer
• User-centered performance engineering of declarative model transformations
  Groner, Raffaela Gloria 2024 Universität Ulm
• Declarative Programming Techniques for Hardware Synthesis of Image Processing Applications
  Özkan, M. Akif ; Teich,  Jürgen ; Koch, Dirk 2024 Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU)
• Solving Higher-Order Equations – From Logic to Programming
  Prehofer, Christian 1998 Birkhäuser Boston
• Declarative Logic-Programming Components for Information Agents
  Fink, Michael 2002 Diplom.de
• A unified analytical foundation for constraint handling rules
  Betz, Hariolf 2014 Universität Ulm. Fakultät für Ingenieurwissenschaften und Informatik
• Implementing Functional Logic Programs – by Translation into Purely Functional Programs
  Braßel, Bernd 2012 Südwestdeutscher Verlag für Hochschulschriften
• 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
• Declarative Programming, Sasbachwalden 1991 – PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18–22 November 1991
  Darlington, John 1992 Springer London
• Practical Aspects of Declarative Languages – 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings
  2013 Springer Berlin Heidelberg
• Applications of Declarative Programming and Knowledge Management – 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers
  2013 Springer Berlin Heidelberg
• Logic-Based Program Synthesis and Transformation – 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
  Albert, Elvira 2013 Springer Berlin Heidelberg
• Declarative Agent Languages and Technologies X – 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
  Baldoni, Matteo ; Dennis, Louise ; Mascardi, Viviana ; Vasconcelos, Wamberto 2013 Springer Berlin Heidelberg
• Practical Aspects of Declarative Languages – 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings
  2012 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
• Applications of Declarative Programming and Knowledge Management – 18th International Conference, INAP 2009, Évora, Portugal, November 3-5, 2009, Revised Selected Papers
  Abreu, Salvador ; Seipel, Dietmar 2011 Springer Berlin Heidelberg
• Declarative Agent Languages and Technologies VIII – 8th International Workshop, DALT 2010, Toronto, Canada, May 10, 2010, Revised, Selected and Invited Papers
  Omicini, Andrea ; Sardina, Sebastian ; Vasconcelos, Wamberto 2011 Springer Berlin Heidelberg
• Practical Aspects of Declarative Languages – 13th International Symposium, PADL 2011, Austin, TX, USA, January 24-25, 2011. Proceedings
  Russo, Claudio ; Zhou, Neng-Fa 2011 Springer Berlin Heidelberg