Searching for authors named "Peter Schachte" – sorted by Relevance.
15 documents found, showing 1 through 10.
Next 10 →
-
Global Variables in Logic Programming
- …Global Variables in Logic Programming Peter Schachte The University of Melbourne Parkville…
- Cited by 1 (0 self) – Add To MetaCart
-
Efficient ROBDD operations for program analysis
- …Efficient ROBDD Operations for Program Analysis Peter Schachte Department of Computer Science…
- Cited by 4 (1 self) – Add To MetaCart
-
Efficient Object-Oriented Programming in Prolog
- …Efficient Object-Oriented Programming in Prolog Peter Schachte Georges Saab Technical Report 93…
- Cited by 2 (0 self) – Add To MetaCart
-
Factorizing equivalent variable pairs in ROBDD-based implementations of Pos
- …;? and Peter Schachte2 1 Dipartimento di Matematica, Universit`a di Parma, Via M. D'Azeglio 85/A, Parma, Italy…
- Cited by 19 (6 self) – Add To MetaCart
-
Efficient Object-Oriented Programming in Prolog
- …Efficient Object-Oriented Programming in Prolog Peter Schachte pets@(email omitted); Department…
- Add To MetaCart
-
Using impurity to create declarative interfaces in Mercury
- …Using impurity to create declarative interfaces in Mercury Tyson Dowd, Peter Schachte, Fergus…
- Cited by 5 (2 self) – Add To MetaCart
-
Two Classes of Boolean Functions for Dependency Analysis
- …Two Classes of Boolean Functions for Dependency Analysis Tania Armstrong, Kim Marriott, Peter…
- Cited by 50 (4 self) – Add To MetaCart
-
Boolean Equation Solving as Graph Traversal
- …Abstract Boolean equation solving as graph traversal Brian Herlihy Peter Schachte ∗ Harald…
- Add To MetaCart
-
Size-change termination analysis in k-bits
- …Size-Change Termination Analysis in k-Bits Michael Codish 1⋆ , Vitaly Lagoon 2 , Peter Schachte 2…
- Cited by 4 (2 self) – Add To MetaCart
-
The Mercury Language Reference Manual
- … Peter Schachte Simon Taylor Chris Speirs Copyright c 1995-1999 The University of Melbourne…
- Cited by 27 (13 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
