Results 91 to 100 of about 400,378 (126)

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

Database Transactions in a Purely Declarative Logic Programming Language

International Conference on Database Systems for Advanced Applications, 1997
D. Kemp, T. Conway, Evan P. Harris, F. Henderson, K. Ramamohanarao, Z. Somogyi   +5 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

Large language models in medicine

Nature Medicine, 2023
Arun James Thirunavukarasu
exaly  

Mercury: An Efficiency Benchmark for LLM Code Synthesis

arXiv.org
Mingzhe Du, A. Luu, Bin Ji, See-Kiong Ng
semanticscholar   +1 more source

Code Generation for Mercury

ILPS, 1995
T. Conway, F. Henderson, Z. Somogyi
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