نتایج جستجو برای: algol

تعداد نتایج: 711  

Journal: :Monthly Notices of the Royal Astronomical Society 2015

Journal: :International Astronomical Union Colloquium 1995

Journal: :British journal of anaesthesia 1968
D W Hill R I Bodman

The use of an Algol computer program is described for sorting the anaesthesia records of prostatectomy patients in different hospitals. As an index of patient performance the length of stay in hospital was compared with pre-operative assessment, age, blood loss, duration of anaesthesia and category of surgeon. All the clinical assessments were made by one anaesthetist. An analysis of morbidity ...

Journal: :Ann. Pure Appl. Logic 2004
Dan R. Ghica Andrzej S. Murawski

We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplified version of Hyland-Ong-style games and it emphasizes the intuitive connection between the concurrent nature of games and that of computation. The model is fully abstract for may-equivalence.

1995
Caspar Derksen

During the sixties two level van Wijngaarden grammars (2vwg) were introduced for the formal definition of Algol 68. Two level van Wijngaarden grammars provide a formalism suited for writing rigorous formal definitions which read like human prose. Both the context free and context sensitive syntax of Algol 68 are defined in 2vwg. However, the specification is not executable. The Extended Affix G...

1985
Stephen D. Brookes

Stephen D. Brookes Computer Science Department Carnegie-Mellon University Pi t tsburgh Pennsylvania 15213

Journal: :Astronomische Nachrichten 1905

Journal: :Astronomische Nachrichten 1905

Journal: :Astronomy & Astrophysics 2004

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید