„Logic Programming“

Suchergebnisse

2.836 Treffer

• Programming by predicates: a formal model for interactive synthesis
  Peleg, Hila ; Itzhaky, Shachar ; Shoham, Sharon ; Yahav, Eran
• Inherently nonplanar automata
  Book, Ronald V. ; Chandra, Ashok K.
• Hierarchies of complete problems
  Galil, Zvi
• Axiomatics for memory allocation
  Ershov, A. P.
• A system which automatically improves programs
  Darlington, J. ; Burstall, R. M.
• Recording the use of memory in right-boundary grammars and push-down automata
  Ehrenfeucht, A. ; Hoogeboom, H. J. ; Rozenberg, G.
• On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes
  Bougé, L.
• Incremental evaluation for attribute grammars with unrestricted movement between tree modifications
  Reps, Thomas
• Amounts of nondeterminism in finite automata
  Kintala, Chandra M. R. ; Wotschke, Detlef
• Proving correctness of coroutines without history variables
  Clarke, Edmund Melson
• Efficient worst-case data structures for range searching
  Bentley, J. L. ; Maurer, H. A.
• Efficient LL(1) error correction and recovery using only insertions
  Fischer, C. N. ; Milton, D. R. ; Quiring, S. B.
• Methods for the automatic construction of error correcting parsers
  Röhrich, Johannes
• A new lower bound on the monotone network complexity of Boolean sums
  Wegener, Ingo
• Improving time and space efficiency in generalized binary search trees
  Cunto, Walter ; Gascon, Jose Luis
• Some techniques for geometric searching with implicit set representations
  Chazelle, Bernard
• Worst case performance of weighted buddy systems
  Chowdhury, Shyamal K. ; Srimani, Pradip K.
• Performance evaluation of fork and join synchronization primitives
  Duda, Andrzej ; Czachórski, Tadeusz
• Minimizing mean flow-time with parallel processors and resource constraints
  Błażewicz, J. ; Kubiak, W. ; Röck, H. ; Szwarcfiter, J.
• Order and metric in the stream semantics of elemental concurrency
  Bakker, J. W. de ; Meyer, J. -J. Ch