List of Accepted Papers

  • Flavio Cruz and Ricardo Rocha: Single Time-Stamped Tries for Retroactive Call Subsumption
  • João Raimundo and Ricardo Rocha: Global Trie for Subterms
  • Paul Tarau: Computing with Hereditarily Finite Sequences
  • Paulo Moura and Artur Miguel Dias: L-FLAT: Logtalk Toolkit for Formal Languages and Automata Theory
  • János Csorba: Zsolt Zombori and Péter Szeredi: Using Constraint Handling Rules to Provide Static Type Analysis for the Q Functional Language
  • Theofrastos Mantadelis and Gerda Janssens: Nesting Probabilistic Inference
  • Timon Van Overveldt and Bart Demoen: High-Level Multi-Threading in hProlog
  • Dario Campagna, Beata Sarna-Starosta and Tom Schrijvers: Approximating Constraint Propagation in Datalog
  • Paul Tarau: Bijective Term Encodings
  • Abdulla Alqaddoumi and Enrico Pontelli: An Implementation of Bubbling