Results 181 to 190 of about 592,413 (214)

Database Transactions in a Purely Declarative Logic Programming Language

International Conference on Database Systems for Advanced Applications, 1997
We demonstrate how a purely declarative language, with the help of strict typing, precise moding, and determinism declarations, can be used to concisely and declaratively express database transactions, including updates.
D. Kemp, T. Conway, Evan P. Harris, F. Henderson, K. Ramamohanarao, Z. Somogyi   +5 more
semanticscholar   +1 more source

Code Generation for Mercury

ILPS, 1995
We describe a compiler for Mercury, a new purely declarative logic programming language designed to provide the support that groups of application programmers need when building large programs.
T. Conway, F. Henderson, Z. Somogyi
semanticscholar   +1 more source

Mercury: An Efficiency Benchmark for LLM Code Synthesis

arXiv.org
Despite advancements in evaluating Large Language Models (LLMs) for code synthesis, benchmarks have predominantly focused on functional correctness, overlooking the importance of code efficiency.
Mingzhe Du, A. Luu, Bin Ji, See-Kiong Ng
semanticscholar   +1 more source

Mercury use in the artisanal and small-scale gold mining from 2001 to 2021: a review

Toxicological & Environmental Chemistry
This study is based on the need for information on the development of research related to efforts to eliminate mercury in the artisanal and small-scale gold mining sector during 2001–2022. In this study, methods are designed in the R programming language
C. Nuryanty, Etty Riani, Z. Abidin, S. Sutjahjo, Agung Riyadi   +4 more
semanticscholar   +1 more source

Inductive Mercury Programming

International Conference on Inductive Logic Programming, 2007
B. Fisher, J. Cussens
semanticscholar   +1 more source

Advanced Stochastic Petri Net Modeling with the Mercury Scripting Language

ValueTools, 2017
Danilo Oliveira, Rúbens de Souza Matos Júnior, J. Dantas, João Ferreira, B. Silva, G. Callou, P. Maciel, A. Brinkmann   +7 more
semanticscholar   +1 more source

Mercury: Performance and Dependability Evaluation of Systems with Exponential, Expolynomial, and General Distributions

Pacific Rim International Symposium on Dependable Computing, 2017
P. Maciel, Rúbens de Souza Matos Júnior, B. Silva, J. Figueiredo, Danilo Oliveira, Iure Fé, Ronierison Maciel, J. Dantas   +7 more
semanticscholar   +1 more source

Porting the parallel array programming language ZPL to an embedded multicomputing system

APL Conference, 2002
D. Rey, J. Stubblefield, J. Canning
semanticscholar   +1 more source

Termination Analysis for Mercury

Sensors Applications Symposium, 1997
Chris Speirs, Z. Somogyi, H. Søndergaard   +2 more
semanticscholar   +1 more source

Type classes in Mercury

Proceedings 23rd Australasian Computer Science Conference. ACSC 2000 (Cat. No.PR00518), 2000
D. Jeffery, F. Henderson, Z. Somogyi
semanticscholar   +1 more source