An Alphard Specification of a Correct and Efficient Transformation on Data Structures

IEEE Transactions on Software Engineering - United States
doi 10.1109/tse.1980.234506
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Related search

Developing Correct and Efficient Logic Programs by Transformation*

Knowledge Engineering Review
Artificial IntelligenceSoftware
1996English

A Temporal Approach to Specification and Verification of Pointer Data-Structures

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Efficient Data Structures for Masks on 2D Grids

Astronomy and Astrophysics
AstrophysicsAstronomyPlanetary ScienceSpace
2015English

Construction of Bayesian Network Structures From Data: A Brief Survey and an Efficient Algorithm

International Journal of Approximate Reasoning
Applied MathematicsTheoretical Computer ScienceArtificial IntelligenceSoftware
1995English

A Test for the Correct Specification of Marginal Structural Models

Statistics in Medicine
EpidemiologyStatisticsProbability
2019English

A Correct, Private, and Efficient Mix Network

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Algebraic Specification of a Model Transformation Engine

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Lessons in Econometric Methodology: The Axiom of Correct Specification

International Econometric Review
2017English

Techniques and Data Structures for Efficient Multimedia Retrieval Based on Similarity

IEEE Transactions on Multimedia
Electronic EngineeringMedia TechnologyComputer Science ApplicationsElectricalSignal Processing
2002English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy