Amanote Research

Amanote Research

    RegisterSign In

A Framework for Testing Safety and Effective Computability of Extended Datalog

doi 10.1145/50202.50219
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 1988

Authors
Ravi KrishnamurthyRaghu RamakrishnanOded Shmueli
Publisher

ACM Press


Related search

Automatic Reordering for Dataflow Safety of Datalog

2018English

A General Datalog-Based Framework for Tractable Query Answering Over Ontologies

SSRN Electronic Journal
2012English

A Datalog Framework for Modeling Relationship-Based Access Control Policies

2017English

Extended Preclinical Safety, Efficacy and Stability Testing of a Live-Attenuated Chikungunya Vaccine Candidate

PLoS Neglected Tropical Diseases
PharmacologyPublic HealthEnvironmentalToxicologyInfectious DiseasesPharmaceuticsOccupational Health
2015English

A General Datalog-Based Framework for Tractable Query Answering Over Ontologies

2009English

A Framework for ATM Testing

1997English

A Framework for Testing and Comparing Binaural Models

Hearing Research
Sensory Systems
2018English

Spring Framework for Testing

2020English

The Extended Likeability Framework: A Theoretical Framework for and a Practical Case of Designing Likeable Media Applications for Preschoolers

Advances in Human-Computer Interaction
Human-Computer Interaction
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy