„Declarative Programming“

Suchergebnisse

104 Treffer

• Set Theory for Computing – From Decision Procedures to Declarative Programming with Sets
  Cantone, Domenico ; Omodeo, Eugenio ; Policriti, Alberto 2001 Springer New York
• GDL as a unifying domain description language for declarative automated negotiation
  Jonge, Dave de ; Zhang, Dongmo
• Building orchestrated microservice systems using declarative business processes
  Monteiro, Davi ; Maia, Paulo Henrique M. ; Rocha, Lincoln S. ; Mendonça, Nabor C.
• Imperative versus declarative constraint specification languages: a controlled experiment
  Maraee, Azzam ; Sturm, Arnon
• Declarative Graph Algorithms via Knuth-Bendix Completion
  Struth, Georg 2006 Universität Augsburg
• Declarative Web services composition using proofs
  Baccar, Sana ; Rouached, Mohsen ; Verborgh, Ruben ; Abid, Mohamed
• Practical aspects of declarative languages – 15th international symposium ; proceedings
  Sagonas, Kostis 2013 Springer
• Joint proceedings of the Workshops on Multiparadigm Programming with Object Oriented Languages (MPOOL '03), Declarative Programming in the Context of Object Oriented Languages (DP COOL '03)
  Striegnitz, Jörg 2005 NIC
• Logic-based program synthesis and transformation – 22nd international symposium ; revised selected papers
  Albert, Elvira 2013 Springer
• Declarative agent languages and technologies X – 10th international workshop ; revised selected papers
  Baldoni, Matteo ; Dennis, Louise ; Mascardi, Viviana ; Vasconcelos, Wamberto 2013 Springer
• Principles and practice of declarative programming – proceedings
  Nadathur, Gopalan 1999 Springer
• Principles of declarative programming – 10th international symposium ; proceedings
  Palamidessi, Catuscia 1998 Springer
• A declarative framework for stateful analysis of execution traces
  Wininger, Florian ; Ezzati-Jivan, Naser ; Dagenais, Michel R.
• Cybersecurity policy verification with declarative programming
  Hewett, Rattikorn ; Kijsanayothin, Phongphun ; Bak, Stephanie ; Galbrei, Marry
• FIT: Declarative programming as transformer- and adapter fitting
  Boley, Harold
• Functional and constraint logic programming – 19th international workshop ; revised selected papers
  Mariño, Julio 2011 Springer
• Declarative agent languages and technologies VIII – 8th international workshop ; revised selected and invited papers
  Omicini, Andrea ; Sardina, Sebastian ; Vasconcelos, Wamberto 2011 Springer
• Applications of Declarative Programming and Knowledge Management – 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers
  Seipel, Dietmar 2005 Springer Berlin Heidelberg
• Practical aspects of declarative languages – 13th international symposium ; proceedings
  Rocha, Ricardo ; Launchbury, John 2011 Springer
• Versatile and declarative dynamic programming using pair algebras
  Steffen, Peter ; Giegerich, Robert