3 research outputs found

    A contribution to the Semantics of Xcerpt, a Web Query and Transformation Language

    Get PDF
    Xcerpt [1] is a declarative and pattern-based query and transformation languag

    Abstract State Machines 1988-1998: Commented ASM Bibliography

    Get PDF
    An annotated bibliography of papers which deal with or use Abstract State Machines (ASMs), as of January 1998.Comment: Also maintained as a BibTeX file at http://www.eecs.umich.edu/gasm

    The Mathematics of Set Predicates in Prolog

    No full text
    corecore