Old Web
English
Sign In
Acemap
>
authorDetail
>
Chris Speirs
Chris Speirs
University of Melbourne
Programming language
Computer science
Mercury (element)
Termination analysis
Hash function
3
Papers
102
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (3)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
The Mercury Language Reference Manual
2016
Version
Fergus Henderson
Thomas C. Conway
Zoltan Somogyi
David Jeffery
Peter Schachte
Simon Taylor
Chris Speirs
Tyson Dowd
Ralph Becket
Mark Brown
Peter Wang
Show All
Source
Cite
Save
Citations (51)
Termination analysis for mercury
1997
Chris Speirs
Zoltan Somogyi
Harald Søndergaard
Show All
Source
Cite
Save
Citations (3)
Termination Analysis for Mercury
1997
SAS | Static Analysis Symposium
Chris Speirs
Zoltan Somogyi
Harald Søndergaard
Show All
Source
Cite
Save
Citations (48)
1