See this document in CiteSeerX!

DF a Feature Constraint System and its Extension to a Logic Concurrent Language  (Make Corrections)  
Liviu-Virgil Ciortuz



  Home/Search   Context   Related

 
View or download:
users.aber.ac.uk/vvc/PA...nantes.new.ps
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  users.aber.ac.uk/vvc/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: This paper presents a feature constraint system that, compared with the well-known systems OSF[1] and CFT[5], incorporates several interesting characteristics. The new system, called DF, is naturally extended through the CLP scheme (in combination with a dynamic completion technique) to a logic language equally called DF. (Update)

Active bibliography (related documents):   More   All
0.7:   DF Constraint System - Ciortuz (1995)   (Correct)
0.3:   Set-Based Failure Analysis for Logic Programs and.. - Podelski, Charatonik, .. (1999)   (Correct)
0.3:   Learning attribute values in typed-unification grammars: On.. - Ciortuz   (Correct)

Similar documents based on text:   More   All
0.5:   Scaling up the machine for unification of OSF-terms to do.. - Ciortuz   (Correct)
0.4:   Towards English into Romanian Translation via Oz - Ciortuz   (Correct)
0.4:   Towards HPSG-based Concurrent Machine Translation via Oz - Ciortuz (1995)   (Correct)

BibTeX entry:   (Update)

@misc{ ciortuz-df,
  author = "Liviu-Virgil Ciortuz",
  title = "DF - a Feature Constraint System and its Extension to a Logic Concurrent
    Language",
  url = "citeseer.ist.psu.edu/574130.html" }
Citations (may not include all citations):
413   A logical foundation of object-oriented and framebased langu.. - Kifer, Lausen et al. - 1995
271   The Oz programming model - Smolka - 1995  ACM   DBLP
105   Records for logic programming - Smolka, Treinen - 1994  DBLP
20   Towards a meaning of LIFE (context) - Ait-Kaci, Podelski - 1993  DBLP
16   Feature constraints with first-class features - Treinen - 1993  ACM   DBLP
4   Order-sorted feature theory unification (context) - Ait-Kaci, Podelski et al. - 1993  ACM   DBLP
3   Functions as passive constraints in LIFE (context) - Ait-Kaci, Podelski - 1994  ACM   DBLP

Documents on the same site (http://users.aber.ac.uk/vvc/):   More
Learning attribute values in typed-unification grammars: On.. - Ciortuz   (Correct)
Object-Oriented Inferences in a Logical Framework . . . - Ciortuz (1994)   (Correct)
Towards HPSG-based Concurrent Machine Translation via Oz - Ciortuz (1995)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC