Functional Test Generation Using Constraint Logic Programming

IFIP Advances in Information and Communication Technology - United States
doi 10.1007/978-0-387-35597-9_32
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer US

Related search

Tree Drawing Using Constraint Logic Programming

1997English

Integrating Answer Set Programming and Constraint Logic Programming

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2008English

Reconciliation of Concurrently Applied Clinical Practice Guidelines Using Constraint Logic Programming

2011English

An Active-Constraint Logic for Non-Linear Programming

Optimal Control Applications and Methods
ControlSystems EngineeringApplied MathematicsOptimizationSoftware
1984English

Functional Fault Equivalence and Diagnostic Test Generation in Combinational Logic Circuits Using Conventional ATPG

Journal of Electronic Testing: Theory and Applications (JETTA)
Electronic EngineeringElectrical
2005English

Implementing Type Theory in Higher Order Constraint Logic Programming

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2019English

Closures and Modules Within Linear Logic Concurrent Constraint Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

CLP(Flex): Constraint Logic Programming Applied to XML Processing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Integrative Functional Statistics in Logic Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy