Stem deduct$ (all stems)

311 papers:

POPL-2015-DelawarePGC #data type #deduction #named #proving #synthesis

Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant (BD, CPC, JG, AC), pp. 689–700.

CADE-2015-DinBH #concurrent #deduction #modelling #named #verification

KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS (CCD, RB, RH), pp. 517–526.

CADE-2015-DSilvaU #abstract interpretation #automation #deduction

Abstract Interpretation as Automated Deduction (VD, CU), pp. 450–464.

CADE-2015-Ji #deduction #model checking

CTL Model Checking in Deduction Modulo (KJ), pp. 295–310.

CADE-2015-Plaisted #automation #deduction #first-order

History and Prospects for First-Order Automated Deduction (DAP), pp. 3–28.

CAV-2015-KneussKK #deduction #program repair

Deductive Program Repair (EK, MK, VK), pp. 217–233.

CAV-2015-VijayaraghavanC #composition #deduction #design #hardware #multi #verification

Modular Deductive Verification of Multiprocessor Hardware Designs (MV, AC, A, ND), pp. 109–127.

ICLP-2015-Nys #deduction #roadmap

Advances in Analyzing Coroutines by Abstract Conjunctive Partial Deduction (VN).

LICS-2015-BeckmannP #deduction

Hyper Natural Deduction (AB, NP), pp. 547–558.

TAP-2015-GenestierGP #array #deduction #generative #verification

Sequential Generation of Structured Arrays and Its Deductive Verification (RG, AG, GP), pp. 109–128.

LCT-NLE-2014-PaisT #deduction #first-order #logic #novel #proving

Novel Didactic Proof Assistant for First-Order Logic Natural Deduction (JP, AT), pp. 441–451.

LOPSTR-2014-SchreyeNN #compilation #deduction

Analysing and Compiling Coroutines with Abstract Conjunctive Partial Deduction (DDS, VN, CJN), pp. 21–38.

SAC-2014-PereiraS #complexity #deduction #source code

Complexity checking of ARM programs, by deduction (MP, SMdS), pp. 1309–1314.

TAP-2014-PetiotKGJ #deduction #generative #how #specification #testing #verification

How Test Generation Helps Software Specification and Deductive Verification in Frama-C (GP, NK, AG, JJ), pp. 204–211.

IFM-2013-GavaFG #algorithm #deduction #verification

Deductive Verification of State-Space Algorithms (FG, JF, MG), pp. 124–138.

SEFM-2013-JiHB #deduction #execution #program transformation #symbolic computation

Program Transformation Based on Symbolic Execution and Deduction (RJ, RH, RB), pp. 289–304.

SEFM-2013-Klimek #logic #modelling #requirements #specification #verification

From Extraction of Logical Specifications to Deduction-Based Formal Verification of Requirements Models (RK), pp. 61–75.

DAC-2012-Seshia #deduction #induction #named #synthesis #verification

Sciduction: combining induction, deduction, and structure for verification and synthesis (SAS), pp. 356–365.

GPCE-2012-ThumSHA #deduction #product line #verification

Family-based deductive verification of software product lines (TT, IS, MH, SA), pp. 11–20.

LICS-2012-BaeldeN #deduction #fixpoint #logic

Combining Deduction Modulo and Logics of Fixed-Point Definitions (DB, GN), pp. 105–114.

CADE-2011-Burel #deduction

Experimenting with Deduction Modulo (GB), pp. 162–176.

RTA-2011-ConchinhaBC #deduction #equivalence #named #performance

FAST: An Efficient Decision Procedure for Deduction and Static Equivalence (BC, DAB, CC), pp. 11–20.

TLCA-2011-BrunelHH #algebra #deduction #orthogonal

Orthogonality and Boolean Algebras for Deduction Modulo (AB, OH, CH), pp. 76–90.

CSL-2010-Burel #deduction #proving

Embedding Deduction Modulo into a Prover (GB), pp. 155–169.

CSL-2010-OHearn #abduction #deduction #induction #reasoning

Abductive, Inductive and Deductive Reasoning about Resources (PWO), pp. 49–50.

CSL-2010-Santo #canonical #deduction #towards

Towards a Canonical Classical Natural Deduction System (JES), pp. 290–304.

IJCAR-2010-PientkaD #deduction #framework #named #programming #reasoning

Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description) (BP, JD), pp. 15–21.

SEKE-2009-LudwigTA #analysis #concept #database #deduction #performance #reasoning #semantics #web

Performance Analysis of a Deductive Database with a Semantic Web Reasoning Engine: ConceptBase and Racer (SAL, CT, KA), pp. 688–693.

PPDP-2009-Aranda-LopezNSS #constraints #database #deduction #fixpoint #implementation #semantics

Implementing a fixed point semantics for a constraint deductive database based on hereditary harrop formulas (GAL, SN, FSP, JSH), pp. 117–128.

TLCA-2009-FioreH #deduction #equation #synthesis

Mathematical Synthesis of Equational Deduction Systems (MPF, CKH), pp. 1–2.

TLCA-2009-HerbelinZ #call-by #deduction #λ-calculus

An Operational Account of Call-by-Value Minimal and Classical λ-Calculus in “Natural Deduction” Form (HH, SZ), pp. 142–156.

FLOPS-2008-NievaSS #constraints #database #deduction #formal method

Formalizing a Constraint Deductive Database Language Based on Hereditary Harrop Formulas with Negation (SN, JSH, FSP), pp. 289–304.

KR-2008-MagnussonD #deduction #induction

Deductive Planning with Inductive Loops (MM, PD), pp. 528–534.

IJCAR-2008-FurbachGHP #named

LogAnswer — A Deduction-Based Question Answering System (System Description) (UF, IG, HH, BP), pp. 139–146.

IJCAR-2008-Schack-NielsenS #concurrent #deduction #framework #logic #named

Celf — A Logical Framework for Deductive and Concurrent Systems (System Description) (ASN, CS), pp. 320–326.

LATA-2007-Komendantskaya #deduction #first-order #network

First-order deduction in neural networks (EK), pp. 307–318.

SEFM-2007-BeckertK #concurrent #deduction #logic #source code #verification

A Dynamic Logic for Deductive Verification of Concurrent Programs (BB, VK), pp. 141–150.

SEKE-2007-CostantiniMTT #deduction #named

DALICA: Intelligent Agents for User Profile Deduction (SC, LM, AT, PT), p. 660–?.

CADE-2007-BeckertGHKRSS #component #deduction

The KeY system 1.0 (Deduction Component) (BB, MG, RH, VK, PR, SS, PHS), pp. 379–384.

CADE-2007-CouchotL #automation #deduction #morphism #polymorphism

Handling Polymorphism in Automated Deduction (JFC, SL), pp. 263–278.

CADE-2007-VerchinineLP #automation #deduction #proving #verification

System for Automated Deduction (SAD): A Tool for Proof Verification (KV, AVL, AP), pp. 398–403.

CAV-2007-FilliatreM #deduction #framework #verification #why

The Why/Krakatoa/Caduceus Platform for Deductive Program Verification (JCF, CM), pp. 173–177.

CSL-2007-Burel #bound #deduction

Unbounded Proof-Length Speed-Up in Deduction Modulo (GB), pp. 496–511.

TAP-2007-BeckertG #black box #specification #testing

White-Box Testing by Combining Deduction-Based Specification Extraction and Black-Box Testing (BB, CG), pp. 207–216.

DAC-2006-WangGG #deduction #difference #learning #logic

Predicate learning and selective theory deduction for a difference logic solver (CW, AG, MKG), pp. 235–240.

SEFM-2006-BeckertHS #deduction #design #object-oriented #verification

Integrating Object-Oriented Design and Deductive Verification of Software (BB, RH, PHS), p. 260.

CAV-2006-SethiB #c #deduction #named

cascade: C Assertion Checker and Deductive Engine (NS, CB), pp. 166–169.

ICLP-2006-RamakrishnanRW #deduction #logic programming #spreadsheet #using

Deductive Spreadsheets Using Tabled Logic Programming (CRR, IVR, DSW), pp. 391–405.

ICLP-2006-Soares #database #deduction #implementation #parallel

Deductive Databases: Implementation, Parallelism and Applications (TS), pp. 467–468.

ASE-2005-CouchotGK #approach #deduction #protocol #safety

A uniform deductive approach for parameterized protocol safety (JFC, AG, NK), pp. 364–367.

ASE-2005-Grov #algorithm #approach #correctness #deduction #reasoning #source code #verification

Verifying the correctness of hume programs: an approach combining deductive and algorithmic reasoning (GG), pp. 444–447.

ESOP-2005-LeuschelV #deduction #slicing

Forward Slicing by Conjunctive Partial Deduction and Argument Filtering (ML, GV), pp. 61–76.

SAC-2005-Behrend #database #deduction #optimisation #query

Optimizing existential queries in stratifiable deductive databases (AB), pp. 623–628.

CADE-2005-Steel #api #constraints #deduction #modelling #security

Deduction with XOR Constraints in Security API Modelling (GS), pp. 322–336.

ICLP-2005-Ferreira #database #deduction #using

The MYDDAS Project: Using a Deductive Database for Traffic Characterization (MF), pp. 424–426.

ICLP-2005-Mallya #deduction #model checking #multi

Deductive Multi-valued Model Checking (AM), pp. 297–310.

RTA-2005-LafourcadeLT #deduction #equation #morphism

Intruder Deduction for AC-Like Equational Theories with Homomorphisms (PL, DL, RT), pp. 308–322.

SEFM-2004-BeckertK #deduction #proving #reuse #verification

Proof Reuse for Deductive Program Verification (BB, VK), pp. 77–86.

UML-2004-AronsHKPZ #deduction #modelling #uml #verification

Deductive Verification of UML Models in TLPVS (TA, JH, HK, AP, MvdZ), pp. 335–349.

PDCL-2004-LeuschelCBV #deduction #using

Specialising Interpreters Using Offline Partial Deduction (ML, SJC, MB, WV), pp. 340–375.

CAV-2004-RayH #deduction #first-order #pipes and filters #quantifier #using #verification

Deductive Verification of Pipelined Machines Using First-Order Quantification (SR, WAHJ), pp. 31–43.

ICLP-2004-RuedaV #deduction

Non-viability Deductions in Arc-Consistency Computation (CR, FDV), pp. 343–355.

IJCAR-2004-Bonichon #deduction #named

TaMeD: A Tableau Method for Deduction Modulo (RB), pp. 445–459.

IJCAR-2004-MouraORRS #deduction #embedded

The ICS Decision Procedures for Embedded Deduction (LMdM, SO, HR, JMR, NS), pp. 218–222.

RTA-2004-GeuversN #deduction

Rewriting for Fitch Style Natural Deductions (HG, RN), pp. 134–154.

PODS-2003-Behrend #database #deduction #evaluation #query #set

Soft stratification for magic set based query evaluation in deductive databases (AB), pp. 102–110.

CADE-2003-BaumgartnerFGS #deduction #interactive #quote #slicing

“Living Book” :- “Deduction”, “Slicing”, “Interaction” (PB, UF, MGH, AS), pp. 284–288.

CAV-2003-LahiriB #deduction #verification

Deductive Verification of Advanced Out-of-Order Microprocessors (SKL, REB), pp. 341–353.

LICS-2003-Comon-LundhS #constraints #deduction #theorem proving

Intruder Deductions, Constraint Solving and Insecurity Decision in Presence of Exclusive or (HCL, VS), p. 271–?.

RTA-2003-Blanqui #deduction

Rewriting Modulo in Deduction Modulo (FB), pp. 395–409.

ASE-2002-RoachB #automation #case study #deduction #experience #synthesis

Experience Report on Automated Procedure Construction for Deductive Synthesis (SR, JVB), p. 69–?.

SEKE-2002-LoiaSS #deduction #named #web

LearnMiner: deductive, tolerant agents for discovering didactic resources on the web (VL, SS, MIS), pp. 109–115.

LOPSTR-2002-Gruner #deduction

Abstract Partial Deduction Challenged (SG), pp. 258–259.

CADE-2002-Ahrendt #data type #deduction #fault #generative #specification #using

Deductive Search for Errors in Free Data Type Specifications Using Model Generation (WA), pp. 211–225.

ICLP-2002-Barker #data access #database #deduction #logic programming

Access Control for Deductive Databases by Logic Programming (SB), pp. 54–69.

ICLP-2002-JamilD #database #deduction #multi #semantics

A Model Theoretic Semantics for Multi-level Secure Deductive Databases (HMJ, GD), pp. 130–147.

ICLP-2002-LoyerS #database #deduction #nondeterminism

Non-uniform Hypothesis in Deductive Databases with Uncertainty (YL, US), pp. 473–474.

ASE-2001-WhittleBSRPPOLB #deduction #estimation #named #synthesis

Amphion/NAV: Deductive Synthesis of State Estimation Software (JW, JVB, JS, PR, TP, JP, PO, MRL, GPB), pp. 395–399.

TACAS-2001-PnueliRZ #automation #deduction #invariant #verification

Automatic Deductive Verification with Invisible Invariants (AP, SR, LDZ), pp. 82–97.

LOPSTR-2001-LeuschelG #deduction #model checking #using

Abstract Conjunctive Partial Deduction Using Regular Types and Its Application to Model Checking (ML, SG), pp. 91–110.

PADL-2001-Barker #database #deduction

Secure Deductive Databases (SB), pp. 123–137.

POPL-2001-Ganzinger #deduction #performance #program analysis

Efficient deductive methods for program analysis (HG), pp. 102–103.

CSL-2001-Rasmussen #deduction #logic

Labelled Natural Deduction for Interval Logics (TMR), pp. 308–323.

CSL-2001-Rosu #category theory #deduction #equation

Complete Categorical Equational Deduction (GR), pp. 528–538.

ICLP-2001-Almendros-JimenezBS #database #deduction #functional #logic

A Computational Model for Functional Logic Deductive Databases (JMAJ, ABT, JSH), pp. 331–347.

IJCAR-2001-Pastre #deduction #knowledge-based #proving #theorem proving

MUSCADET 2.3: A Knowledge-Based Theorem Prover Based on Natural Deduction (DP), pp. 685–689.

IJCAR-2001-Peltier #automation #deduction #using

A General Method for Using Schematizations in Automated Deduction (NP), pp. 578–592.

IJCAR-2001-Pliuskevicius

Deduction-Based Decision Procedure for a Clausal Miniscoped Fragment of FTL (RP), pp. 107–120.

IJCAR-2001-Voronkov #algorithm #automation #deduction #performance

Algorithms, Datastructures, and other Issues in Efficient Automated Deduction (AV), pp. 13–28.

LICS-2001-GodoyN #constraints #deduction #monad #on the

On Ordering Constraints for Deduction with Built-In Abelian Semigroups, Monoids and Groups (GG, RN), pp. 38–47.

RTA-2001-Rusinowitch #deduction #verification

Rewriting for Deduction and Verification (MR), p. 2.

TLCA-2001-Groote #deduction #normalisation

Strong Normalization of Classical Natural Deduction with Disjunction (PdG), pp. 182–196.

KR-2000-MontanariPS #automation #deduction #first-order #logic

Supporting automated deduction in first-order modal logics (AM, AP, MS), pp. 547–556.

PPDP-2000-LeuschelL #deduction #petri net #problem

Solving coverability problems of petri nets by partial deduction (ML, HL), pp. 268–279.

CADE-2000-Pulman #automation #comprehension #deduction #named #natural language #tutorial

Tutorial: Automated Deduction and Natural Language Understanding (SGP), pp. 509–510.

CAV-2000-Pnueli #abstraction #composition #deduction #explosion #symmetry

Keynote Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion (AP), p. 1.

CL-2000-LeuschelL #deduction #petri net

Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction (ML, HL), pp. 101–115.

CL-2000-Pliuskevicius #deduction #on the #strict

On an ω-Decidable Deductive Procedure for Non-Horn Sequents of a Restricted FTL (RP), pp. 523–537.

ASE-1999-FischerW #deduction #integration #retrieval #synthesis

An Integration of Deductive Retrieval into Deductive Synthesis (BF, JW), p. 52–?.

ASE-1999-Penix99a #architecture #deduction #synthesis

Deductive Synthesis of Event-Based Software Architectures (JP), pp. 311–314.

SIGMOD-1999-Jamil #database #deduction #reasoning

Belief Reasoning in MLS Deductive Databases (HMJ), pp. 109–120.

FM-v1-1999-KestenKPR #analysis #deduction #model checking #verification

A Perfect Verification: Combining Model Checking with Deductive Analysis to Verify Real-Life Software (YK, AK, AP, GR), pp. 173–194.

IFM-1999-ReedSG #deduction #development #formal method #model checking #reasoning

Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development (JNR, JES, FG), pp. 375–394.

TOOLS-USA-1999-Liu #bibliography #database #deduction #object-oriented

Overview of the ROL2 Deductive Object-Oriented Database System (ML), p. 63–?.

PADL-1999-SiddabathuniDU #deduction #object-oriented

An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language (BS, SWD, SDU), pp. 164–178.

CADE-1999-Groote #approach #deduction #programming

A dynamic programming approach to categorial deduction (PdG), pp. 1–15.

CADE-1999-Nieuwenhuis #constraints #deduction

Invited Talk: Rewrite-based Deduction and Symbolic Constraints (RN), pp. 302–313.

CADE-1999-PfenningS #deduction #framework #logic

System Description: Twelf — A Meta-Logical Framework for Deductive Systems (FP, CS), pp. 202–206.

ICLP-1999-MalletD #database #deduction #generative

Generating Deductive Database Explanations (SM, MD), pp. 154–168.

RTA-1999-Groote #deduction #normalisation #on the

On the Strong Normalisation of Natural Deduction with Permutation-Conversions (PdG), pp. 45–59.

TLCA-1999-PolakowP #deduction #linear #logic

Natural Deduction for Intuitionistic Non-communicative Linear Logic (JP, FP), pp. 295–309.

ESOP-1998-BruynoogheLS #analysis #deduction

A Polyvariant Binding-Time Analysis for Off-line Partial Deduction (MB, ML, KFS), pp. 27–41.

CIKM-1998-BellatrecheKL #approach #database #deduction #distributed

An Iterative Approach for Rules and Data Allocation in Distributed Deductive Database Systems (LB, KK, QL), pp. 356–363.

CIKM-1998-ChunC #database #deduction #semantics

Providing Semantics for Indefinite Deductive Databases (SC, JC), pp. 441–448.

ICML-1998-AlerBI #approach #learning #multi #programming #search-based

Genetic Programming and Deductive-Inductive Learning: A Multi-Strategy Approach (RA, DB, PI), pp. 10–18.

KR-1998-Lukasiewicz #constraints #deduction #probability

Probabilistic Deduction with Conditional Constraints over Basic Events (TL), pp. 380–393.

LOPSTR-1998-BaalenR #deduction #synthesis #using

Using Decision Procedures to Accelerate Domain-Specific Deductive Synthesis Systems (JVB, SR), pp. 61–70.

LOPSTR-1998-MalletD #database #debugging #deduction #named #relational

Myrtle: A Set-Oriented Meta-Interpreter Driven by a “Relational” Trace for Deductive Databases Debugging (SM, MD), pp. 328–330.

CADE-1998-Malik #automation #deduction #finite #source code

Automated Deduction of Finite-State Control Programs for Reactive Systems (RM), pp. 302–316.

CADE-1998-Pfenning #deduction #linear #logic #reasoning

Reasoning About Deductions in Linear Logic (Abstract of Invited Talk) (FP), pp. 1–2.

CADE-1998-Pnueli #deduction #verification

Deductive vs. Model-Theoretic Approaches to Formal Verification (Abstract of Invited Talk) (AP), p. 301.

ASE-1997-SchumannF #component #named #retrieval

NORA/HAMMR: Making Deduction-Based Software Component Retrieval Practical (JS, BF), pp. 246–254.

CIKM-1997-Lukasiewicz #deduction #knowledge base #performance #probability #taxonomy

Efficient Global Probabilistic Deduction from Taxonomic and Probabilistic Knowledge-Bases over Conjunctive Events (TL), pp. 75–82.

SAC-1997-NeumannM #database #deduction #distributed #mobile

Mobile computing within a distributed deductive database (KN, MM), pp. 318–322.

ESEC-FSE-1997-AlborghettiGM #analysis #automation #deduction

Providing Automated Support to Deductive Analysis of Time Critical Systems (AA, AG, AM), pp. 211–226.

CADE-1997-NieuwenhuisRV #algorithm #automation #data type #deduction #kernel #named #similarity

Dedan: A Kernel of Data Structures and Algorithms for Automated Deduction with Equality Clauses (RN, JMR, MÁV), pp. 49–52.

CAV-1997-Saidi #automation #deduction #invariant #verification

The Invariant Checker: Automated Deductive Verification of Reactive Systems (HS), pp. 436–439.

ICLP-1997-Liu #database #deduction #set #tuple

Supporting Partial and Complete Sets and Tuples in Deductive Databases (ML), p. 415.

KBSE-1996-EllmanM #algebra #deduction #difference #equation #network #simulation #source code #synthesis

Deductive Synthesis of Numerical Simulation Programs from Networks of Algebraic and Ordinary Differential Equations (TE, TM), p. 5.

VLDB-1996-LeeL #constraints #database #deduction

Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases (SYL, TWL), pp. 495–505.

TACAS-1996-AyariB #deduction #development

Generic System Support for Deductive Program Development (AA, DAB), pp. 313–328.

FME-1996-HutterLSSSW #deduction #verification

Deduction in the Verification Support Environment (VSE) (DH, BL, CS, JHS, WS, AW), pp. 268–286.

AKDDM-1996-SimoudisLK #data mining #deduction #induction #mining #reasoning

Integrating Inductive and Deductive Reasoning for Data Mining (ES, BL, RK), pp. 353–373.

SIGIR-1996-JarvelinKNSK #deduction #query

A Deductive Data Model for Query Expansion (KJ, JK, TN, ES, HK), pp. 235–243.

LOPSTR-1996-JorgensenLM #deduction

Conjunctive Partial Deduction in Practice (JJ, ML, BM), pp. 59–82.

LOPSTR-1996-MatskinKK #deduction #framework #source code #synthesis

Partial Deduction in the Framework of Structural Synthesis of Programs (MM, HJK, JK), pp. 239–255.

LOPSTR-1996-PettorossiPR #deduction

Enhancing Partial Deduction via Unfold/Fold Rules (AP, MP, SR), pp. 146–168.

PLILP-1996-GluckJMS #deduction

Controlling Conjunctive Partial Deduction (RG, JJ, BM, MHS), pp. 152–166.

PLILP-1996-Liu #database #deduction #programming language

The LOL Deductive Database Programming Language (Extended Abstract) (ML), pp. 454–468.

CADE-1996-LintonMPS #algebra #automation #deduction

Algebra and Automated Deduction (SL, UM, PP, DS), pp. 448–462.

CADE-1996-Ruess #deduction #framework

Reflection of Formal Tactics in a Deductive Reflection Framework (HR), pp. 628–642.

CADE-1996-Scott #automation #deduction #what

What Can We Hope to Achieve From Automated Deduction? (Abstract) (DSS), p. 245.

CAV-1996-BjornerBCCKMSU #named #realtime #verification

STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems (NB, AB, EYC, MC, AK, ZM, HS, TEU), pp. 415–418.

CAV-1996-PnueliS #algorithm #deduction #framework #verification

A Platform for Combining Deductive with Algorithmic Verification (AP, ES), pp. 184–195.

CAV-1996-Rushby #automation #deduction #formal method

Automated Deduction and Formal Methods (JMR), pp. 169–183.

CAV-1996-SipmaUM #deduction #model checking

Deductive Model Checking (HS, TEU, ZM), pp. 208–219.

JICSLP-1996-Bry #composition #database #deduction #logic programming #semantics #source code

A Compositional Semantics for Logic Programs and Deductive Databases (FB), pp. 453–467.

JICSLP-1996-Decker #abduction #database #deduction #maintenance

An Extension of SLD by Abduction and Integrity Maintenance for View Updating in Deductive Databases (HD), pp. 157–169.

JICSLP-1996-LeuschelSW #concept #deduction #integration #towards

A Conceptual Embedding of Folding into Partial Deduction: Towards a Maximal Integration (ML, DDS, DAdW), pp. 319–332.

JICSLP-1996-Ngo #database #deduction #probability

Probabilistic Disjunctive Deductive Databases (Poster Abstract) (LN), p. 541.

JICSLP-1996-PettorossiPR #algorithm #deduction #how #specification #string

How to Extend Partial Deduction to Derive the KMP String-Matching Algorithm from a Naive Specification (Poster Abstract) (AP, MP, SR), p. 539.

KBSE-1995-Reuss #deduction #synthesis #towards #type system

Towards High-Level Deductive Program Synthesis Based on Type Theory (HR), pp. 174–183.

TACAS-1995-MullerN #deduction #model checking

Combining Model Checking and Deduction for I/O-Automata (OM, TN), pp. 1–16.

CIKM-1995-YoonSP #approach #database #deduction #object-oriented #query #semantics #using

Semantic Query Processing in Object-Oriented Databases Using Deductive Approach (SCY, IYS, EKP), pp. 150–157.

SEKE-1995-YoonK #database #deduction #object-oriented #query #semantics

Semantic Query Processing in Deductive Object-Oriented Databases (SCY, CSK), pp. 358–365.

LOPSTR-1995-LauO #deduction #logic programming #object-oriented #source code #synthesis #towards

Towards an Object-Oriented Methodology for Deductive Synthesis of Logic Programs (KKL, MO), pp. 152–169.

LOPSTR-1995-Leuschel #constraints #deduction

Ecological Partial Deduction: Preserving Characteristic Trees Without Constraints (ML), pp. 1–16.

LOPSTR-1995-WaalT #deduction #problem #program analysis #program transformation #using

Solving Deductive Planning Problems Using Program Analysis and Transformation (DAdW, MT), pp. 189–203.

ICLP-1995-DekhtyarD #behaviour #database #deduction

Dynamic Deductive Data Bases With Steady Behaviour (MID, AJD), pp. 183–197.

ICLP-1995-MartensG #deduction #flexibility #termination

Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance (BM, JPG), pp. 597–611.

ICLP-1995-NilssonTW #deduction #distributed #memory management #named #query #realtime

Amnesia — A Distributed Real-Time Primary Memory DBMS with a Deductive Query Language (HN, TT, CW), p. 821.

ICLP-1995-SakamaI #abduction #deduction #reasoning

The Effect of Partial Deduction in Abductive Reasoning (CS, KI), pp. 383–397.

ILPS-1995-LauO #approach #constraints #deduction #formal method #logic programming #source code #synthesis

A Formal Approach to Deductive Synthesis of Constraint Logic Programs (KKL, MO), pp. 543–557.

ILPS-1995-LeuschelM #deduction #representation

Partial Deduction of the Ground Representation and its Application to Integrity Checking (ML, BM), pp. 495–509.

RTA-1995-AvenhausDF #deduction #distributed #equation #named

DISCOUNT: A SYstem for Distributed Equational Deduction (JA, JD, MF), pp. 397–402.

SIGMOD-1994-SagonasSW #database #deduction #performance

XSB as an Efficient Deductive Database Engine (KFS, TS, DSW), pp. 442–453.

SIGMOD-1994-SagonasSW94a #database #deduction

XSB as a Deductive Database (KFS, TS, DSW), p. 512.

VLDB-1994-BarjaPFWD #database #deduction #effectiveness #integration #object-oriented

An Effective Deductive Object-Oriented Database Through Language Integration (MLB, NWP, AAAF, MHW, AD), pp. 463–474.

VLDB-1994-MohaniaS #database #deduction #design #distributed

Some Issues in Design of Distributed Deductive Databases (MKM, NLS), pp. 60–71.

CAiSE-1994-SanchoO #concept #deduction #information management #modelling #specification #transaction

Deriving Transaction Specifications from Deductive Conceptual Models of Information Systems (MRS, AO), pp. 311–324.

CIKM-1994-HanLX #database #deduction #named #prototype

LogicBase: A Deductive Database System Prototype (JH, LL, ZX), pp. 226–233.

CIKM-1994-YoonSP #database #deduction #object-oriented #query

Intelligent Query Answering in Deductive and Object-Oriented Databases (SCY, IYS, EKP), pp. 244–251.

KDD-1994-ShenMOZ #database #deduction #induction #learning #using

Using Metagueries to Integrate Inductive Learning and Deductive Database Technology (WMS, BGM, KO, CZ), pp. 335–346.

KDD-1994-SimoudisLK #database #deduction #induction #mining #reasoning

Integrating Inductive and Deductive Reasoning for Database Mining (ES, BL, RK), pp. 37–48.

SEKE-1994-BreretonS #deduction #evolution #framework

A deductive infrastructure for exploratory software evolution (PB, PS), pp. 62–69.

SEKE-1994-Pliuskevicius #deduction #specification

Saturated deductive systems for temporal specifications (RP), pp. 267–273.

SEKE-1994-SheuY #deduction #program transformation

A deductive program transformation system (PCYS, SBY), pp. 524–531.

ECOOP-1994-BertinoGM #database #deduction

Deductive Object Databases (EB, GG, DM), pp. 213–235.

LOPSTR-1994-LauO #deduction #framework #logic programming #on the #source code #specification #synthesis

On Specification Frameworks and Deductive Synthesis of Logic Programs (KKL, MO), pp. 104–121.

LOPSTR-1994-SakamaS #approach #declarative #deduction #logic programming #source code

Partial Deduction of Disjunctive Logic Programs: A Declarative Approach (CS, HS), pp. 170–182.

PLILP-1994-GluckS #deduction

Partial Deduction and Driving are Equivalent (RG, MHS), pp. 165–181.

CADE-1994-Baker #automation #deduction

A New Application for Explanation-Based Generalisation within Automated Deduction (SB), pp. 177–191.

CADE-1994-HuangKKMNRS94a #automation #deduction #named #tool support

KEIM: A Toolkit for Automated Deduction (XH, MK, MK, EM, DN, JR, JHS), pp. 807–810.

CADE-1994-Pfenning #deduction #metalanguage #named

Elf: A Meta-Language for Deductive Systems (System Descrition) (FP), pp. 811–815.

CADE-1994-StickelWLPU #composition #deduction #library

Deductive Composition of Astronomical Software from Subroutine Libraries (MES, RJW, MRL, TP, IU), pp. 341–355.

CADE-1994-Vigneron #commutative #constraints #deduction

Associative-Commutative Deduction with Constraints (LV), pp. 530–544.

ICLP-1994-DeckerC #database #deduction

A Slick Procedure for Integrity Checking in Deductive Databases (HD, MC), pp. 456–469.

ICLP-1994-LauOT #deduction #logic programming #problem #source code #synthesis

The Halting Problem for Deductive Synthesis of Logic Programs (KKL, MO, SÅT), pp. 665–683.

ILPS-1994-DekhtyarD #behaviour #database #deduction #on the

On Stable Behaviour of Dynamic Deductive Data Bases (MID, AJD), p. 677.

ILPS-1994-LakshmananS #database #deduction #probability

Probabilistic Deductive Databases (LVSL, FS), pp. 254–268.

SIGMOD-1993-RamakrishnanRSSS #database #deduction

The CORAL Deductive Database System (RR, WGR, PS, DS, SS), pp. 544–545.

SIGMOD-1993-RamakrishnanSSS #database #deduction #implementation

Implementation of the CORAL Deductive Database System (RR, DS, SS, PS), pp. 167–176.

SIGMOD-1993-Vieille #database #deduction #how #object-oriented #question #why

A Deductive and Object-Oriented Database System: Why and How? (LV), p. 438.

VLDB-1993-Plexousakis #constraints #deduction #knowledge base #maintenance

Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases (DP), pp. 146–157.

PEPM-1993-Prestwich #deduction #online #scalability #source code

Online Partial Deduction of Large Programs (SDP), pp. 111–118.

CAiSE-1993-QuerO #concept #deduction #interactive #modelling #object-oriented

Object Interaction in Object-Oriented Deductive Conceptual Models (CQ, AO), pp. 374–396.

CIKM-1993-Anderson #approach #database #deduction #knowledge base #multi #problem #statistics

A Dynamic Knowledge Based Approach to the Problem of Deduction in a Non-Statistical Multilevel Secure Database (MA), pp. 154–163.

CIKM-1993-Derr #adaptation #database #deduction #optimisation #query

Adaptive Query Optimization in a Deductive Database System (MAD), pp. 206–215.

CIKM-1993-Harrison #database #deduction

Active Rules in Deductive Databases (JVH), pp. 174–183.

CIKM-1993-PetrouniasL #deduction #development #evaluation

Development and Evaluation of an Application in a Deductive Environment (IP, PL), pp. 184–193.

CIKM-1993-WuS #deduction #logic #validation

Rule Validation Based on Logical Deduction (PW, SYWS), pp. 164–173.

SEKE-1993-PirriP #datalog #deduction #design #taxonomy #using

Using Datalog as a Language for Data Dictionary Design: A Deductive Support (FP, CP), pp. 304–308.

LOPSTR-1993-LauO #deduction #logic programming #source code #specification #synthesis

A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs (KKL, MO), pp. 10–31.

ICLP-1993-LauO #deduction #logic programming #source code #synthesis

An Incompleteness Result for Deductive Synthesis of Logic Programs (KKL, MO), pp. 456–477.

ICLP-1993-VaghaniRKSSLH #database #deduction

Status of the Aditi Deductive Database System (JV, KR, DBK, ZS, PJS, TSL, JH), p. 851.

ILPS-1993-BruningHSTS #deduction

Disjunction In Resource-Oriented Deductive Planning (SB, SH, UCS, MT, JS), p. 670.

ILPS-1993-DongL #approach #deduction #query

A Deductive Approach to Hypothetical Query Answering (FD, LVSL), pp. 609–628.

ILPS-1993-WassermanYS #deduction #logic programming

The Essential Inadequacy of Deductions in Logic Programming (HCW, KY, ZS), p. 644.

PODS-1992-BellNNS #database #deduction #implementation #linear #programming

Implementing Deductive Databases by Linear Programming (CB, AN, RTN, VSS), pp. 283–292.

PODS-1992-RossS #database #deduction

Monotonic Aggregation in Deductive Databases (KAR, YS), pp. 114–126.

VLDB-1992-UrpiO #database #deduction

A Method for Change Computation in Deductive Databases (TU, AO), pp. 225–237.

LFP-1992-NeubergerM #analysis #deduction #power of #precise #strict

A Precise Relationship Between the Deductive Power of Forward and Backward Strictness Analysis (MN, PM), pp. 127–138.

CAiSE-1992-CostalO #concept #deduction #information management #modelling #reasoning

A Method for Reasoning About Deductive Conceptual Models of Information Systems (DC, AO), pp. 612–631.

CAiSE-1992-GhoshW #concept #database #deduction #framework #graph #object-oriented

Conceptual Graphs as a Framework for Deductive Object-Oriented Databases (BCG, VW), pp. 147–163.

KR-1992-Dalal #deduction #information management #representation

Tractable Deduction in Knowledge Representation Systems (MD), pp. 393–402.

SEKE-1992-KimH #database #deduction #evaluation #parallel #recursion

Network-Based Simple Recursive Answer Evaluation for Deductive Databases in Parallel Environment (KK, LJH), pp. 63–70.

ALP-1992-AravindanD #deduction #logic programming #semantics #source code

Partial Deduction of Logic Programs wrt Well-Founded Semantics (CA, PMD), pp. 384–402.

LOPSTR-1992-NardiR #deduction #query #source code #synthesis

Deductive Synthesis of Programs for Query Answering (DN, RR), pp. 15–29.

CADE-1992-Baker-PlummerBM #automation #deduction

&: Automated Natural Deduction (DBP, SCB, ASM), pp. 716–720.

CADE-1992-Dafa #automation #deduction #proving #theorem proving

A Natural Deduction Automated Theorem Proving System (LD), pp. 668–672.

CADE-1992-McCuneW #automation #deduction

Experiments in Automated Deduction with Condensed Detachment (WM, LW), pp. 209–223.

CADE-1992-PfenningR #deduction #implementation

Implementing the Meta-Theory of Deductive Systems (FP, ER), pp. 537–551.

CADE-1992-Sutcliffe92a #deduction #linear #semantics

The Semantically Guided Linear Deduction System (GS), pp. 677–680.

JICSLP-1992-Abiteboul #database #deduction #object-oriented

Deductive and Object-Oriented Databases (SA), pp. 26–29.

JICSLP-1992-DongL #database #deduction

Deductive Databases with Incomplete Information (FD, LVSL), pp. 303–317.

KBSE-1991-MeggendorferM #deduction #retrieval

A Knowledge and Deduction Based Software Retrieval Tool (SM, PM), pp. 127–133.

PODS-1991-LakshmananH #database #deduction #framework #optimisation #query #semantics

Structural Query Optimization — A uniform Framework for Semantic Query Optimization in Deductive Databases (LVSL, HJH), pp. 102–114.

PODS-1991-Tsur #database #deduction

Deductive Databases in Action (ST), pp. 142–153.

SIGMOD-1991-GuntzerKT #database #deduction #nondeterminism #reasoning

New Directions For Uncertainty Reasoning In Deductive Databases (UG, WK, HT), pp. 178–187.

SIGMOD-1991-LouO #deduction #inheritance #named #object-oriented

LLO: An Object-Oriented Deductive Language with Methods and Method Inheritance (YL, ZMÖ), pp. 198–207.

SIGMOD-1991-PhippsDR #database #deduction #named

Glue-Nail: A Deductive Database System (GP, MAD, KAR), pp. 308–317.

SIGMOD-1991-Sheng #database #deduction #nondeterminism

A Non-deterministic Deductive Database Language (YHS), pp. 188–197.

KR-1991-FrischS #deduction #framework

A General Framework for Modal Deduction (AMF, RBS), pp. 196–207.

SIGIR-1991-JarvelinN #database #deduction #integration #retrieval

Advanced Retrieval From Heterogeneous Fact Databases: Integration of Data Retrieval, Conversion, Aggregation and Deductive Techniques (KJ, TN), pp. 173–182.

ICLP-1991-FernandezM #bottom-up #database #deduction #evaluation

Bottom-Up Evaluation of Hierarchical Disjunctive Deductive Databases (JAF, JM), pp. 660–675.

ICLP-1991-NgS #database #deduction #framework #semantics

A Semantical Framework for Supporting Subjective and Conditional Probabilities in Deductive Databases (RTN, VSS), pp. 565–580.

ISLP-1991-BruynoogheSM #deduction #infinity #logic programming #source code

A General Criterion for Avoiding Infinite Unfolding During Partial Deduction of Logic Programs (MB, DDS, BM), pp. 117–131.

LICS-1991-BonetB #deduction #on the #proving

On the Deduction Rule and the Number of Proof Lines (MLB, SRB), pp. 286–297.

PODS-1990-Chomicki #database #deduction #polynomial #query

Polynomial Time Query Processing in Temporal Deductive Databases (JC), pp. 379–391.

PODS-1990-Saraiya #database #deduction #polynomial #program transformation

Polynomial-Time Program Transformations in Deductive Databases (YPS), pp. 132–144.

SIGMOD-1990-KiernanMS #database #deduction

Making Deductive Databases a Practical Technology: A Step Forward (GK, CdM, ES), pp. 237–246.

SIGMOD-1990-Sheng #database #deduction #named #power of

IDLOG: Extending the Expressive Power of Deductive Database Languages (YHS), pp. 54–63.

SEKE-1990-Bottcher #database #deduction #development #programming

Development and Programming of Deductive Databases with PROTOS-L (SB), pp. 171–176.

CADE-1990-Bibel #automation #deduction

Perspectives on Automated Deduction (Abstract) (WB), p. 426.

CADE-1990-LeeH #compilation #database #deduction

Substitution-based Compilation of Extended Rules in Deductive Databases (SHL, LJH), pp. 57–71.

CADE-1990-PfenningN #deduction #symmetry

Presenting Intuitive Deductions via Symmetric Simplification (FP, DN), pp. 336–350.

CADE-1990-SlaneyL #automation #deduction

Parallelizing the Closure Computation in Automated Deduction (JKS, ELL), pp. 28–39.

CADE-1990-Waldinger #deduction #tutorial

Tutorial on Program-Synthetic Deduction (RJW), p. 684.

CLP-1990-Bry90 #abduction #deduction

Intensional Updates: Abduction via Deduction (FB), pp. 561–575.

CLP-1990-GriefahnL90 #constraints #database #deduction #top-down

Top-Down Integrity Constraint Checking for Deductive Databases (UG, SL), pp. 130–144.

CSL-1990-Szabo #automation #deduction #on the

On the Tracking of Loops in Automated Deductions (MES), pp. 366–388.

NACLP-1990-Przymusinski #database #deduction #logic programming #semantics #source code

Stationary Semantics for Disjunctive Logic Programs and Deductive Databases (TCP), pp. 40–59.

NACLP-1990-Zaniolo #database #deduction #programming

Deductive Database Systems: Applications and Programming (CZ), pp. 842–845.

PODS-1989-Manchanda #database #declarative #deduction

Declarative Expression of Deductive Database Updates (SM), pp. 93–100.

VLDB-1989-BattistaL #deduction #modelling

A Deductive Method for Entity-Relationship Modeling (GDB, ML), pp. 13–21.

VLDB-1989-Olive #concept #deduction #design #implementation #information management #modelling #on the

On the design and implementation of information systems from deductive conceptual models (AO), pp. 3–11.

KR-1989-Frisch #deduction #framework #hybrid #reasoning

A General Framework for Sorted Deduction: Fundamental Results on Hybrid Reasoning (AMF), pp. 126–136.

ML-1989-BergadanoGP #deduction #induction #learning #top-down

Deduction in Top-Down Inductive Learning (FB, AG, SP), pp. 23–25.

ML-1989-Widmer #deduction #integration #learning

A Tight Integration of Deductive Learning (GW), pp. 11–13.

CSL-1989-Vogler #database #deduction #semantics

The Semantics of Disjunctive Deductive Databases (HV), pp. 409–421.

NACLP-1989-KempRBM #constraints #database #deduction

Propagating Constraints in Recusive Deduction Databases (DBK, KR, IB, KM), pp. 981–998.

PODS-1988-ChomickiI #database #deduction #infinity

Temporal Deductive Databases and Infinite Objects (JC, TI), pp. 61–73.

PODS-1988-KiferRS #approach #axiom #database #deduction #query #safety

An Axiomatic Approach to Deciding Query Safety in Deductive Databases (MK, RR, AS), pp. 52–60.

SIGMOD-1988-Vardi #database #deduction #logic programming

Database Logic Programming, Deductive Databases, and Expert Database Systems (MYV), p. 7.

SIGMOD-1988-YounHH #classification #database #deduction #recursion

Classification of Recursive Formulas in Deductive Databases (CY, LJH, JH), pp. 320–328.

VLDB-1988-Lozinskii #deduction

Computing Facts in Non-Horn Deductive Systems (ELL), pp. 273–279.

VLDB-1988-MaindrevilleS #database #deduction #modelling #query

Modelling Non Deterministic Queries and Updates in Deductive Databases (CdM, ES), pp. 395–406.

VLDB-1988-Sripada #database #deduction #framework #logic

A logical framework for temporal deductive databases (SMS), pp. 171–182.

SIGIR-1988-Gonzalez-RubioC #database #deduction #parallel #relational

A Parallel Multiprocessor Machine Dedicated to Relational and Deductive Databases (RGR, MC), pp. 417–431.

CADE-1988-ButlerK #deduction #parallel #problem #prototype

Exploitation of Parallelism in Prototypical Deduction Problems (RB, NTK), pp. 333–343.

CADE-1988-CerroH #deduction #linear

Linear Modal Deductions (LFdC, AH), pp. 487–499.

CADE-1988-Stickel #automation #deduction

The KLAUS Automated Deduction System (MES), pp. 750–751.

DAC-1987-Subrahmanyam #deduction #named

LCS — A Leaf Cell Synthesizer Employing Formal Deduction Techniques (PAS), pp. 459–465.

PODS-1987-Minker #database #deduction

Perspectives in Deductive Databases (Abstract) (JM), p. 135.

SIGMOD-1987-AlyO #database #deduction #logic #modelling #nondeterminism #query

Non-deterministic Modelling of Logical Queries in Deductive Databases (HA, ZMÖ), pp. 60–72.

VLDB-1987-KowalskiSS #database #deduction

Integrity Checking in Deductive Databases (RAK, FS, PS), pp. 61–69.

CSL-1987-BryM #database #deduction #finite #proving #satisfiability

Proving Finite Satisfiability of Deductive Databases (FB, RM), pp. 44–55.

CSL-1987-Volger #database #deduction

Model Theory of Deductive Databases (HV), pp. 322–334.

ICLP-1987-Helm87 #deduction #induction #logic programming #source code

Inductive and Deductive Control of Logic Programs (RH), pp. 488–512.

ICLP-1987-RamamohanaraoS87 #database #deduction #query

Answering Queries in Deductive Database Systems (KR, JS), pp. 1014–1033.

SLP-1987-DershowitzL87 #debugging #deduction

Deductive Debugging (ND, YJL), pp. 298–306.

SLP-1987-Mozes87 #database #deduction #logic

A Deductive Database Based on Aristotelian Logic (EM), pp. 244–252.

SLP-1987-SchmidtKGB87 #compilation #deduction

Compiling Exploratory and Goal-Directed Deduction into Sloppy Delta-Iteration (HS, WK, UG, RB), pp. 234–243.

SLP-1987-Wallace87 #constraints #database #deduction #implementation #performance

Negation by Constraints: A Sound and Efficient Implementation of Negation in Deductive Databases (MW), pp. 253–263.

PODS-1986-BidoitH #database #deduction

Positivism vs. Minimalism in Deductive Databases (NB, RH), pp. 123–132.

PODS-1986-Naughton #database #deduction #independence #recursion

Data Independent Recursion in Deductive Databases (JFN), pp. 267–279.

SIGMOD-1986-Imielinski #database #deduction #query

Query Processing in Deductive Databases with Incomplete Information (TI), pp. 268–280.

VLDB-1986-ChakravarthyM #database #deduction #graph #multi #query #using

Multiple Query Processing in Deductive Databases using Query Graphs (USC, JM), pp. 384–391.

VLDB-1986-ThomRN #algorithm #database #deduction

A Superjoin Algorithm for Deductive Databases (JAT, KR, LN), pp. 189–196.

CADE-1986-OppacherS #deduction #heuristic #proving

Controlling Deduction with Proof Condensation and Heuristics (FO, ES), pp. 384–393.

CADE-1986-Schneider #deduction

An Improvement of Deduction Plans: Refutation Plans (HAS), pp. 377–383.

CADE-1986-Stickel86a #automation #deduction

The KLAUS Automated Deduction System (MES), pp. 703–704.

CADE-1986-Traugott86a #deduction #sorting #source code #synthesis

Deductive Synthesis of Sorting Programs (JT), pp. 641–660.

LICS-1986-JonssonMW #data flow #deduction #network #synthesis #towards

Towards Deductive Synthesis of Dataflow Networks (BJ, ZM, RJW), pp. 26–37.

SLP-1986-BoscoG86 #deduction #named

IDEAL: An Ideal Deductive Applicative Language (PGB, EG), pp. 89–94.

VLDB-1985-Zaniolo #deduction #representation #retrieval

The Representation and Deductive Retrieval of Complex Objects (CZ), pp. 458–469.

ICALP-1985-MannaW #automation #deduction

Special Relations in Automated Deduction (ZM, RJW), pp. 413–423.

SLP-1985-CoxP85 #deduction #logic programming

Surface Deduction: A Uniform Mechanism for Logic Programming (PTC, TP), pp. 220–227.

LFP-1984-MalachiMW #named #programming language

TABLOG: The Deductive-Tableau Programming Language (YM, ZM, RJW), pp. 323–330.

CADE-1984-ForsytheM #deduction #implementation

Implementation Strategies for Plan-Based Deduction (KF, SM), pp. 426–444.

CADE-1984-Miller #deduction #proving

Expansion Tree Proofs and Their Conversion to Natural Deduction Proofs (DM), pp. 375–393.

CADE-1982-GreenbaumNOP #comparison #deduction #implementation

Comparison of Natural Deduction and Locking Resolution Implementations (SG, AN, PO, DAP), pp. 159–171.

CADE-1982-PietrzykowskiM #backtracking #deduction #exponential #performance

Exponential Improvement of Efficient Backtracking: A Strategy for Plan-Based Deduction (TP, SM), pp. 223–239.

DAC-1980-GiambiasiMM #deduction #fault #simulation

Methods for generalized deductive fault simulation (NG, AM, DM), pp. 386–392.

CADE-1980-Andrews #deduction #proving

Transforming Matings into Natural Deduction Proofs (PBA), pp. 281–292.

DAC-1979-KjelkerudT #deduction #fault #generative #logic #simulation #testing #using

Generation of hazard free tests using the D-algorithm in a timing accurate system for logic and deductive fault simulation (EK, OT), pp. 180–184.

VLDB-1979-Dahl #database #deduction #design #logic #natural language

Logical Design of Deductive Natural Language Consultable Data Bases (VD), pp. 24–31.

DAC-1978-MiaraG #deduction #fault #simulation

Dynamic and deductive fault simulation (AM, NG), pp. 439–443.

STOC-1977-HarelPS #axiom #deduction #proving #recursion #source code

A Complete Axiomatic System for Proving Deductions about Recursive Programs (DH, AP, JS), pp. 249–260.

VLDB-1976-KelloggKT #data transformation #deduction

A Deductive Capability for Data Management (CK, PK, LT), pp. 181–196.

STOC-1976-Owicki #consistency #deduction #parallel #source code #verification

A Consistent and Complete Deductive System for the Verification of Parallel Programs (SSO), pp. 73–86.