„Logic Programming“

Suchergebnisse

2.836 Treffer

• Lower bounds for sorting on mesh-connected architectures
  Kunde, Manfred
• Deriving very efficient algorithms for evaluating linear recurrence relations using the program transformation technique
  Pettorossi, A. ; Burstall, R. M.
• A longest common subsequence algorithm suitable for similar text strings
  Nakatsu, Narao ; Kambayashi, Yahiko ; Yajima, Shuzo
• Verification of programs with procedure-type parameters
  Ernst, George W. ; Navlakha, Jainendra K. ; Ogden, William F.
• Further analysis of code generation for a single register machine
  Carter, Lynn Robert
• Context free derivations on word monoids
  Meduna, Alexander
• Proof rules for gotos
  Arbib, Michael A. ; Alagić, Suad
• Constructing a theory of a data structure as an aid to program development
  Jones, C. B.
• An experimentally validated model of the paging drum
  Adams, C. ; Gelenbe, E. ; Vicard, J.
• General predicate transformer and the semantics of a programming language with go to statement
  He, Jifeng
• A characterization of attribute evaluation in passes
  Alblas, Henk
• Problematic features of programming languages: a situational-calculus approach
  Manna, Zohar ; Waldinger, Richard
• The (n, k)-bounded emptiness-problem for probabilistic acceptors and related problems
  Claus, Volker
• Parsing regular grammars with finite lookahead
  Ostrand, Thomas J. ; Paull, Marvin C. ; Weyuker, Elaine J.
• An axiomatic definition of synchronization primitives
  Martin, Alain J.
• The clean termination of iterative programs
  Blikle, Andrzej
• Sound and complete Hoare-like calculi based on copy rules
  Olderog, Ernst-Rüdiger
• Combinator-based compilation of recursive functions with different parameter passing modes
  Lao, Marek J.
• The derivation of systolic implementations of programs
  Huang, Chua-Huang ; Lengauer, Christian
• The complexity of reachability in distributed communicating processes
  Reif, John H. ; Smolka, Scott A.