Now showing items 1-2 of 2
Modelling of immiscible WAG with emphasis on the effect of capillary pressure
(The University of Bergen, 2008-04-30)
Formulas as programs
Alma-0 is a programming language supporting declarative programming, which combines the advantages of imperative and logic programming paradigms. This work explores declarative programming by extending the interpretation ...