Author of the publication

Conditional Term Rewriting as a Deductive Database Language.

, and . Workshop on Deductive Databases, JICSLP, volume CITRI/TR-92-65 of Technical Report, page 126-135. Department of Computer Science, University of Melbourne, (1992)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Application of Metamodel Inference with Large-Scale Metamodels., , , and . Int. J. Software and Informatics, 6 (2): 201-231 (2012)Service Security Analysis Based on i*: An Approach from the Attacker Viewpoint., , , , and . COMPSAC Workshops, page 127-133. IEEE Computer Society, (2010)An Intermediate Language to Define Dynamic Semantics., and . Comput. Lang., 9 (3/4): 149-159 (1984)An Efficient Parsing Model for Unification Categorial Grammar with Object-Oriented Knowledge Representation and selection Sets., and . International Journal on Artificial Intelligence Tools, 7 (2): 143-162 (1998)DCAPS - Architecture for Distributed Computer Aided Prototyping System., , , , , , and . IEEE International Workshop on Rapid System Prototyping, page 103-109. IEEE Computer Society, (2001)Conditional Term Rewriting as a Deductive Database Language., and . Workshop on Deductive Databases, JICSLP, volume CITRI/TR-92-65 of Technical Report, page 126-135. Department of Computer Science, University of Melbourne, (1992)A translation approach to component specification., , , , , , and . OOPSLA Companion, page 54-55. ACM, (2002)Incrementally Inferring Context-Free Grammars for Domain-Specific Languages., , , and . SEKE, page 363-368. (2006)A two-dimensional separation of concerns for compiler construction., , , , and . SAC, page 1365-1369. ACM, (2005)Two-level assurance of QoS requirements for distributed real-time and embedded systems., , , , , and . SAC, page 903-904. ACM, (2005)