From logic design to logic programming

Book · Thu Jan 01 00:00:00 EST 1987

OSTI ID:5113623

Snyers, D; Thayse, A

The main purpose of the present book is to show that in the same way as P-functions can lead to algorithmic or imperative implementations via the algorithmic state machine model or via the parallel program schema, they can also lead to a declarative type of implementation via the theorem proving model. As P-functions are used for synthesizing algorithms, the result of the synthesis can be interpreted in terms of implementation tools. To the hardware, microprogrammed and programmed (in an algorithmic or imperative programming environment using fortran-like or pascal-like languages) implementations the authors can thus add logic programmed implementation as a possible result of the P-function calculus.

• OSTI ID: 5113623
• Country of Publication: United States
• Language: English

Related Subjects

99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
MATHEMATICAL LOGIC
ALGORITHMS
PARALLEL PROCESSING
MATHEMATICAL MODELS
PROGRAMMING LANGUAGES
COMPUTER CODES
FORTRAN
IMPLEMENTATION
MICROPROCESSORS
PARTITION FUNCTIONS
PASCAL
COMPUTERS
ELECTRONIC CIRCUITS
FUNCTIONS
MICROELECTRONIC CIRCUITS
PROGRAMMING
990210* - Supercomputers- (1987-1989)
990230 - Mathematics & Mathematical Models- (1987-1989)