Zoltan Somogyi
Affiliations:- University of Melbourne, Australia
According to our database1,
Zoltan Somogyi
authored at least 38 papers
between 1987 and 2013.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on cs.mu.oz.au
On csauthors.net:
Bibliography
2013
Theory Pract. Log. Program., 2013
Proceedings of the ACM SIGPLAN Workshop on Memory Systems Performance and Correctness, 2013
2012
Proceedings of the POPL 2012 Workshop on Declarative Aspects of Multicore Programming, 2012
Proceedings of the 2012 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with PLDI '12, 2012
2011
Theory Pract. Log. Program., 2011
Proceedings of the Technical Communications of the 27th International Conference on Logic Programming, 2011
Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011
2008
Proceedings of the Practical Aspects of Declarative Languages, 2008
Proceedings of the 7th International Symposium on Memory Management, 2008
2006
Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006
Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006
Proceedings of the Practical Aspects of Declarative Languages, 8th International Symposium, 2006
2005
Proceedings of the Logic Programming, 21st International Conference, 2005
Divide-and-query and subterm dependency tracking in the mercury declarative debugger.
Proceedings of the Sixth International Workshop on Automated Debugging, 2005
2003
2002
Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002
Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, 2002
Proceedings of the Compiler Construction, 11th International Conference, 2002
2000
Proceedings of the 23rd Australasian Computer Science Conference (ACSC 2000), 31 January, 2000
1999
Proceedings of the Tenth Workshop on Logic Programming Environments, 1999
Proceedings of the Principles and Practice of Declarative Programming, International Conference PPDP'99, Paris, France, September 29, 1999
Proceedings of the Practical Aspects of Declarative Languages, 1999
Proceedings of the Logic Programming Synthesis and Transformation, 1999
1997
Proceedings of the Static Analysis, 4th International Symposium, 1997
Database Transactions in a Purely Declarative Logic Programming Language.
Proceedings of the Database Systems for Advanced Applications '97, 1997
1996
The Execution Algorithm of Mercury, an Efficient Purely Declarative Logic Programming Language.
J. Log. Program., 1996
1995
1994
The Implementation of Mercury, an Efficient Purely Declarative Logic Programming Language.
Proceedings of the ILPS 1994, 1994
Subsumption-Free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures.
Proceedings of the Advances in Database Technology, 1994
1993
Status of the Aditi Deductive Database System.
Proceedings of the Logic Programming, 1993
The Aditi Deductive Datebase System.
Proceedings of the Workshop on Programming with Logic Databases. In Conjunction with ILPS, 1993
1990
Right-, left- and multi-linear rule transformations that maintain context information.
Proceedings of the 16th International Conference on Very Large Data Bases, 1990
Design Overview of the Aditi Deductive Database System.
Proceedings of the Workshop on Deductive Databases held in conjunction with the North American Conference on Logic Programming, 1990
1988
Int. J. Parallel Program., 1988
A Stream AND-Parallel Execution Algorithm with Backtracking.
Proceedings of the Logic Programming, 1988
1987
A System of Precise Models for Logic Programs.
Proceedings of the Logic Programming, 1987