Zoltan Somogyi - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Estimating the overlap between dependent computations for automatic parallelizationPaul Bone, Zoltan Somogyi, Peter Schachte. tplp, 11(4-5):575-591, 2011. [doi]

Minimizing the overheads of dependent {AND}-parallelismPeter Wang, Zoltan Somogyi. ICLP 2011: 128-138 [doi]

2008

DCGs + Memoing = Packrat Parsing but Is It Worth It?Ralph Becket, Zoltan Somogyi. padl 2008: 182-196 [doi]

Runtime support for region-based memory management in MercuryQuan Phan, Zoltan Somogyi, Gerda Janssens. iwmm 2008: 61-70 [doi]

2006

Adding Constraint Solving to MercuryRalph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace. padl 2006: 118-133 [doi]

Controlling Search Space Materialization in a Practical Declarative DebuggerIan MacLarty, Zoltan Somogyi. padl 2006: 31-44 [doi]

Tabling in Mercury: Design and ImplementationZoltan Somogyi, Konstantinos F. Sagonas. padl 2006: 150-167 [doi]

2005

2002

Compiling Mercury to High-Level C CodeFergus Henderson, Zoltan Somogyi. CC 2002: 197-212 [doi]

Constraint-based mode analysis of mercuryDavid Overton, Zoltan Somogyi, Peter J. Stuckey. ppdp 2002: 109-120 [doi]

Using the heap to eliminate stack accessesZoltan Somogyi, Peter J. Stuckey. ppdp 2002: 121-132 [doi]

2000

Type Classes in MercuryDavid Jeffery, Fergus Henderson, Zoltan Somogyi. acsc 2000: 128-135 [doi]

1999

1997

Database Transactions in a Purely Declarative Logic Programming LanguageDavid B. Kemp, Thomas Conway, Evan P. Harris, Fergus Henderson, Kotagiri Ramamohanarao, Zoltan Somogyi. dasfaa 1997: 283-292 [doi]

Termination Analysis for MercuryChris Speirs, Zoltan Somogyi, Harald Søndergaard. SAS 1997: 160-171

1996

The Execution Algorithm of Mercury, an Efficient Purely Declarative Logic Programming LanguageZoltan Somogyi, Fergus Henderson, Thomas Conway. jlp, 29(1-3):17-64, 1996.

1995

Code Generation for MercuryThomas Conway, Fergus Henderson, Zoltan Somogyi. slp 1995: 242-256

1994

1993

The Aditi Deductive Datebase SystemJayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland. deductive 1993: 161

Status of the Aditi Deductive Database SystemJayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland. ICLP 1993: 851

1991

Design Overview of the Aditi Deductive Database SystemJayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey. icde 1991: 240-247 [doi]

1990

Right-, left- and multi-linear rule transformations that maintain context informationDavid B. Kemp, Kotagiri Ramamohanarao, Zoltan Somogyi. VLDB 1990: 380-391 [doi]

Design Overview of the Aditi Deductive Database SystemJayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey. deductive 1990:

1988

A Stream AND-Parallel Execution Algorithm with BacktrackingZoltan Somogyi, Kotagiri Ramamohanarao, Jayen Vaghani. ICLP 1988: 1142-1159

1987

A System of Precise Models for Logic ProgramsZoltan Somogyi. ICLP 1987: 769-787