The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Zoltan Somogyi" ( http://dblp.L3S.de/Authors/Zoltan_Somogyi )

URL (Homepage):  http://www.cs.mu.oz.au/~zs/  Author page on DBLP  Author page in RDF  Community of Zoltan Somogyi in ASPL-2

Publication years (Num. hits)
1987-1997 (15) 1999-2006 (15) 2008-2013 (12)
Publication types (Num. hits)
article(10) inproceedings(32)
Venues (Conferences, Journals, ...)
PADL(5) CoRR(4) ICLP(3) PPDP(3) CP(2) TPLP(2) AADEBUG(1) ACSC(1) CC(1) DAMP(1) DASFAA(1) EDBT(1) Electr. Notes Theor. Comput. S...(1) ICDE(1) ICLP (Technical Communications...(1) ICLP/SLP(1) More (+10 of total 29)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 14 occurrences of 11 keywords

Results
Found 43 publication records. Showing 42 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Quan Phan, Gerda Janssens, Zoltan Somogyi Region-based memory management for Mercury programs. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Matthew Davis 0001, Peter Schachte, Zoltan Somogyi, Harald Søndergaard A low overhead method for recovering unused memory inside regions. Search on Bibsonomy MSPC@PLDI The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Quan Phan, Gerda Janssens, Zoltan Somogyi Region-based memory management for Mercury programs Search on Bibsonomy CoRR The full citation details ... 2012 DBLP  BibTeX  RDF
1Paul Bone, Zoltan Somogyi, Peter Schachte Controlling loops in parallel mercury code. Search on Bibsonomy DAMP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Matthew Davis 0001, Peter Schachte, Zoltan Somogyi, Harald Søndergaard Towards region-based memory management for Go. Search on Bibsonomy MSPC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Paul Bone, Zoltan Somogyi Profiling parallel Mercury programs with ThreadScope Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Paul Bone, Zoltan Somogyi, Peter Schachte Estimating the overlap between dependent computations for automatic parallelization Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Paul Bone, Zoltan Somogyi, Peter Schachte Estimating the overlap between dependent computations for automatic parallelization. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Peter Wang, Zoltan Somogyi Minimizing the overheads of dependent {AND}-parallelism. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Thibaut Feydy, Zoltan Somogyi, Peter J. Stuckey Half Reification and Flattening. Search on Bibsonomy CP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ralph Becket, Zoltan Somogyi DCGs + Memoing = Packrat Parsing but Is It Worth It? Search on Bibsonomy PADL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF packrat, recursive descent, DCG, memoing, parsing, tabling, Mercury
1Quan Phan, Zoltan Somogyi, Gerda Janssens Runtime support for region-based memory management in Mercury. Search on Bibsonomy ISMM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF logic programming, region-based memory management, mercury
1Zoltan Somogyi, Konstantinos Sagonas Tabling in Mercury: Design and Implementation. Search on Bibsonomy PADL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ralph Becket, Maria J. García de la Banda, Kim Marriott, Zoltan Somogyi, Peter J. Stuckey, Mark Wallace 0001 Adding Constraint Solving to Mercury. Search on Bibsonomy PADL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ian MacLarty, Zoltan Somogyi Controlling Search Space Materialization in a Practical Declarative Debugger. Search on Bibsonomy PADL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace 0001, Toby Walsh The G12 Project: Mapping Solver Independent Models to Efficient Solutions. Search on Bibsonomy ICLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Ian MacLarty, Zoltan Somogyi, Mark Brown Divide-and-query and subterm dependency tracking in the mercury declarative debugger. Search on Bibsonomy AADEBUG The full citation details ... 2005 DBLP  DOI  BibTeX  RDF algorithmic debugging, divide-and-query, program slicing, declarative debugging
1Peter J. Stuckey, Maria J. García de la Banda, Michael J. Maher, Kim Marriott, John K. Slaney, Zoltan Somogyi, Mark Wallace 0001, Toby Walsh The G12 Project: Mapping Solver Independent Models to Efficient Solutions. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Zoltan Somogyi Idempotent I/O for safe time travel Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Fergus Henderson, Zoltan Somogyi Compiling Mercury to High-Level C Code. Search on Bibsonomy CC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF programming language implementation, GNU C, logic programming, C, compilation techniques, Mercury
1Zoltan Somogyi, Peter J. Stuckey Using the heap to eliminate stack accesses. Search on Bibsonomy PPDP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF heap cells, stack accesses, stack frames, maximal matching
1David Overton, Zoltan Somogyi, Peter J. Stuckey Constraint-based mode analysis of mercury. Search on Bibsonomy PPDP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Boolean constraints, mode analysis, modes
1David Jeffery, Fergus Henderson, Zoltan Somogyi Type Classes in Mercury. Search on Bibsonomy ACSC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Zoltan Somogyi, Fergus Henderson The Implementation Technology of the Mercury Debugger. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1David Jeffery, Tyson Dowd, Zoltan Somogyi MCORBA: A CORBA Binding for Mercury. Search on Bibsonomy PADL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Tyson Dowd, Zoltan Somogyi, Fergus Henderson, Thomas C. Conway, David Jeffery Run Time Type Information in Mercury. Search on Bibsonomy PPDP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Peter Ross, David Overton, Zoltan Somogyi Making Mercury Programs Tail Recursive. Search on Bibsonomy LOPSTR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1David B. Kemp, Thomas C. Conway, Evan P. Harris, Fergus Henderson, Kotagiri Ramamohanarao, Zoltan Somogyi Database Transactions in a Purely Declarative Logic Programming Language. Search on Bibsonomy DASFAA The full citation details ... 1997 DBLP  BibTeX  RDF
1Chris Speirs, Zoltan Somogyi, Harald Søndergaard Termination Analysis for Mercury. Search on Bibsonomy SAS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Zoltan Somogyi, Fergus Henderson, Thomas C. Conway The Execution Algorithm of Mercury, an Efficient Purely Declarative Logic Programming Language. Search on Bibsonomy J. Log. Program. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Thomas C. Conway, Fergus Henderson, Zoltan Somogyi Code Generation for Mercury. Search on Bibsonomy ILPS The full citation details ... 1995 DBLP  BibTeX  RDF
1Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland The Aditi Deductive Database System Search on Bibsonomy VLDB J. The full citation details ... 1994 DBLP  BibTeX  RDF
1Zoltan Somogyi, Fergus Henderson, Thomas C. Conway The Implementation of Mercury, an Efficient Purely Declarative Logic Programming Language. Search on Bibsonomy ILPS Workshop: Implementation Techniques for Logic Programming Languages The full citation details ... 1994 DBLP  BibTeX  RDF
1Zoltan Somogyi, David B. Kemp, James Harland, Kotagiri Ramamohanarao Subsumption-Free Bottom-up Evaluation of Logic Programs with Partially Instantiated Data Structures. Search on Bibsonomy EDBT The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland The Aditi Deductive Datebase System. Search on Bibsonomy Workshop on Programming with Logic Databases (Informal Proceedings), ILPS The full citation details ... 1993 DBLP  BibTeX  RDF
1Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland Status of the Aditi Deductive Database System. Search on Bibsonomy ICLP The full citation details ... 1993 DBLP  BibTeX  RDF
1Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey Design Overview of the Aditi Deductive Database System. Search on Bibsonomy ICDE The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey Design Overview of the Aditi Deductive Database System. Search on Bibsonomy Workshop on Deductive Databases The full citation details ... 1990 DBLP  BibTeX  RDF
1David B. Kemp, Kotagiri Ramamohanarao, Zoltan Somogyi Right-, left- and multi-linear rule transformations that maintain context information. Search on Bibsonomy VLDB The full citation details ... 1990 DBLP  BibTeX  RDF
1Zoltan Somogyi, Kotagiri Ramamohanarao, Jayen Vaghani A backtracking algorithm for the stream AND-parallel execution of logic programs. Search on Bibsonomy International Journal of Parallel Programming The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Zoltan Somogyi, Kotagiri Ramamohanarao, Jayen Vaghani A Stream AND-Parallel Execution Algorithm with Backtracking. Search on Bibsonomy ICLP/SLP The full citation details ... 1988 DBLP  BibTeX  RDF
1Zoltan Somogyi A System of Precise Models for Logic Programs. Search on Bibsonomy ICLP The full citation details ... 1987 DBLP  BibTeX  RDF
Displaying result #1 - #42 of 42 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license