„Declarative Programming“

Suchergebnisse

104 Treffer

• Applications of declarative programming and knowledge management – 17th international conference ; revised selected papers
  Seipel, Dietmar 2009 Springer
• A causal model and a declarative programming language for concurrent systems
  Bohlmann, Karsten 1996 Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4
• Declarative programming, Sasbachwalden 1991
  Darlington, John 1992 Springer
• A classification scheme for declarative programming languages – syntax, semantics and operational models
  Guo, Yike ; Lock, Hendrik C. R. 1990 GMD
• Programming languages – implementations, logics and programs ; 9th international symposium ; proceedings
  Glaser, Hugh 1997 Springer
• Effectful Programming in Declarative Languages with an Emphasis on Non-Determinism: Applications and Formal Reasoning
  Dylus, Sandra ; Hanus, Michael ; Voigtländer, Janis 2020 Universitätsbibliothek Kiel
• Declarative and Preferential Bias in GP-based Scientific Discovery
  Keijzer, Maarten ; Babovic, Vladan
• DisCoveR: accurate and efficient discovery of declarative process models
  Back, Christoffer Olling ; Slaats, Tijs ; Hildebrandt, Thomas ; Marquard, Morten
• Applications of declarative programming and knowledge management – 19th international conference ; revised selected papers
  Tompits, Hans ; Abreu, Salvador ; Oetsch, Johannes ; Pührer, Jörg ; Seipel, Dietmar ; Umeda, Masanobu ; Wolf, Armin 2013 Springer
• A common intermediate language and its use in partitioning concurrent declarative programs
  Ariola, Z. M. ; Massey, B. C. ; Sami, M. ; Tick, E.
• Logic Programming with Prolog
  2005 Springer London
• Declarative Data Flow in a Graph-Based Distributed Memory Runtime System
  Knorr, Fabian ; Thoman, Peter ; Fahringer, Thomas
• Declarative Learning-Based Programming as an Interface to AI Systems
  Kordjamshidi, Parisa ; Roth, Dan ; Kersting, Kristian 2022 Universitäts- und Landesbibliothek
• A Model and Declarative Language for Specifying Binary Data Formats
  Evgin, A. A. ; Solovev, M. A. ; Padaryan, V. A.
• Declarative programming for knowledge management – revised selected papers
  Umeda, Masanobu 2006 Springer
• Dash: declarative behavioural modelling in Alloy with control state hierarchy
  Serna, Jose ; Day, Nancy A. ; Esmaeilsabzali, Shahram
• Session-based concurrency, declaratively
  Cano, Mauricio ; López, Hugo A. ; Pérez, Jorge A. ; Rueda, Camilo
• Applications of declarative programming and knowledge management – revised selected papers
  Seipel, Dietmar 2005 Springer
• Set theory for computing – from decision procedures to declarative programming with sets
  Cantone, Domenico ; Omodeo, Eugenio ; Policriti, Alberto 2001 Springer
• Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework
  Calimeri, Francesco ; Fuscà, Davide ; Germano, Stefano ; Perri, Simona ; Zangari, Jessica