This paper presents an experiment in the use of a deductive database system for computer network maintenance. There are relatively few practical applications of deductive databases. Takagi et.al. applied deductive databases to a practical problem. They utilized an indirect connectivity search capability of a deductive database system for a retrieval of complex con gurations in petrochemical pip...

the necessity and importance of teaching pragmatics has come to light by many researchers (e.g. rose & kasper, 2001). due to the consensus over the need to teach pragmatic competence, the main issue now centers on the question of how we should teach this competence in the most effective way. consistent with this line of research, the present study aimed to investigate the effectiveness of d...

Deductive program synthesis systems based on automated theorem proving o er the promise of \correct by construction" software. However, the diÆculty encountered in constructing usable deductive synthesis systems has pr evente d their widespr ead use. A mphion is a realworld, domain-independent programsynthesis system. It is specialized to speci c applications through the creation of an operatio...

We present KeY-C: a tool for deductive verification of C programs. KeY-C allows verification of C programs w.r.t. operation contracts and invariants. It is based on an earlier version of KeY that supports Java Card. In this paper we outline syntax, semantics, and calculus of C Dynamic Logic (CDL) that were adapted from their Java Card counterparts. Currently, the tool is in an early development...

This study aims to examine the approaches of people involved in mathematics education and logic to the role played by learning mathematics in the development of general deductive reasoning. The data source includes 21 individual semistructured interviews. Analysis based on the Grounded Theory method identified three distinct groups of interviewees with relation to views of (a) the meaning of de...