Titlebook: Logic from Computer Science; Proceedings of a Wor Yiannis N. Moschovakis Conference proceedings 1992 Springer-Verlag New York, Inc. 1992 co

Introvert

Throttle

excrete

DUST

Gleason-score

調(diào)色板

A Logical Operational Semantics of Full Prolog: Part III. Built-In Predicates for Files, Terms, Ariute in this way to reducing the “mismatch between theory and practice… that much of the theory of logic programming only apply to pure subsets of Prolog, whereas the extra-logical facilities of the language appear essential for it to be practical” (Lloyd 1989). Our specific aim is to provide a mathe

Engulf

使長(zhǎng)胖

Concurrent Programs as Strategies in Games,ayers in the game of computation (“computational game”) played by Programmer against Computer. Unlike existing semantics, these plays explicitly list both Programmer’s and Computer’s previous moves. Positions, that is, sequences of past moves, entirely replace the conventional execution sequences of

Overdose

安慰

Logics for Termination and Correctness of Functional Programs,f type systems in functional programming languages and to set up logics for the termination and correctness of programs relative to such systems. The foundation provided here includes LISP and ML as special cases. I believe this work should be adaptable to other kinds of programming languages, e.g. those of imperative style.