Results 231 to 240 of about 32,374 (267)
Some of the next articles are maybe not open access.

A Debugger for Standard ML

Journal of Functional Programming, 1995
Abstract We have built a portable, instrumentation-based, replay debugger for the Standard ML of New Jersey compiler. Traditional ‘source-level’ debuggers for compiled languages actually operate at machine level, which makes them complex, difficult to port, and intolerant of compiler optimization. For secure languages like ML, however,
Andrew P. Tolmach, Andrew W. Appel
openaire   +2 more sources

A compiler for lazy ML

Proceedings of the 1984 ACM Symposium on LISP and functional programming - LFP '84, 1984
LML is a strongly typed, statically scoped functional Language with Lazy evaluation. It is compiled trough a number of program transformations which makes the code generation easier. Code is generated in two steps, first code for an abstract graph manipulation machine, the G-machine. From this code machine code is generated.
openaire   +2 more sources

Mls and Tolerance

Immunological Reviews, 1989
H, Festenstein, S, Kumura, G, Biasi
openaire   +2 more sources

On the Insider Security of MLS

2022
Joël Alwen   +2 more
openaire   +3 more sources

HOL-ML

1994
Myra Van Inwegen, Elsa L. Gunter
openaire   +1 more source

Adaptive MLS-HDMR metamodeling techniques for high dimensional problems

Expert Systems With Applications, 2011
Hu Wang, G Y Li
exaly  

Assessing consistency between EOS MLS and ECMWF analyzed and forecast estimates of cloud ice

Geophysical Research Letters, 2007
Jonathan Jiang   +2 more
exaly  

Stabilised MLS in MLPG method for heat conduction problem

Engineering Computations, 2019
Rituraj Singh, Krishna Mohan Singh
exaly  

Home - About - Disclaimer - Privacy