LAWS OF PROGRAMMING.

LAWS OF PROGRAMMING.

Показать другие версии (2)

A complete set of algebraic laws is given for E. W. Dijkstra's nondeterministic sequential programming language. Iteration and recursion are explained in terms of D. S. Scott's domain theory as fixed points of continuous functionals. A calculus analogous to weakest preconditions is suggest...

Полное описание

Библиографические подробности
Главный автор:	Sufrin, B
Формат:	Journal article
Опубликовано:	1987

Схожие документы

The Laws of Programming
по: Hoare, C, и др.
Опубликовано: (1987)

Laws of programming
по: Roscoe, A, и др.
Опубликовано: (1987)

Formal specification and design of a simple assembler
по: Sørensen, I, и др.
Опубликовано: (1987)

MA SEBAGAI HURUF DAN PERUBAHAN MAKNANYA DALAM BAHASA ARAB
по: Sufrin Efendi Lubis
Опубликовано: (2020-09-01)

مستقبل التعليم في إندونيسية بين الرجاء والتمني
по: Sufrin Efendi Lubis
Опубликовано: (2019-10-01)

مهارة الاستماع وضوابطها في اللغة العربية
по: Sufrin Efendi Lubis
Опубликовано: (2020-06-01)

NILAI-NILAI PENDIDIKAN ISLAM DALAM KISAH NABI NUH AS
по: SUFRIN EFENDI LUBIS
Опубликовано: (2017-06-01)

State Laws on Substance Use Treatment for Incarcerated Pregnant and Postpartum People
по: Mollee K Steely Smith, и др.
Опубликовано: (2023-09-01)

Laws of Occam Programming
по: Roscoe, A, и др.
Опубликовано: (1986)

The Laws of Occam Programming
по: Roscoe, A, и др.
Опубликовано: (1988)

The laws of occam programming
по: Roscoe, A, и др.
Опубликовано: (1988)

Generic Models of the Laws of Programming
по: Hoare, T
Опубликовано: (2013)

Chinese law and development: implications for US rule of law programs
по: Erie, M
Опубликовано: (2023)

Chinese law and development: implications for US rule of law program
по: Erie, MS
Опубликовано: (2023)

Law Students’ Experiences in an Experiential Law and Research Program in Australia
по: Nicky McWilliam, и др.
Опубликовано: (2018-11-01)

Business Strategy Developmentwith 360° Business Model Innovation Perspective in PT NEC Indonesia
по: Widhi Rachayu, и др.
Опубликовано: (2023-05-01)

Object-oriented Programming Laws for Annotated Java Programs
по: Gabriel Falconieri Freitas, и др.
Опубликовано: (2010-03-01)

Pandemic detention: life with COVID-19 behind bars in Maryland
по: Joyell Arscott, и др.
Опубликовано: (2023-07-01)

Laws of programming with concurrency (Invited Talk)
по: Hoare, T
Опубликовано: (2013)

The Laws of Programming Unify Process Calculi
по: Hoare, T, и др.
Опубликовано: (2012)

The Relationship between Program Laws and the Constitution
по: Ayet Mulaee
Опубликовано: (2024-06-01)

Logic + probabilistic programming + causal laws
по: Vaishak Belle
Опубликовано: (2023-09-01)

The Decision to Choose Elderly Residence Based on the Implementation of Servicescape and Elderly Lifestyle Through Brand Image
по: Emir Fachry, и др.
Опубликовано: (2024-12-01)

Probing the anharmonicity of vibrational polaritons with double-quantum two-dimensional infrared spectroscopy
по: Sufrin Shmuel, и др.
Опубликовано: (2024-01-01)

Formulasi Strategi Pengembangan Usaha Cafe
по: Fina Windayani, и др.
Опубликовано: (2024-05-01)

KARAKTERISTIK PENGGUNA DAN APLIKASI PADA TINGKAT PENGGUNAAN (STICKINESS) APLIKASI VIDEO PENDEK XYZ
по: Gagan Gandara, и др.
Опубликовано: (2021-02-01)

Digital Marketing Strategy of Small and Medium Enterprises for Snack in Bogor City
по: Aulia Ratnadianti, и др.
Опубликовано: (2020-05-01)

Reading Through ESP in an Undergraduate Law Program
по: Gladis Leonor Arias Rodríguez
Опубликовано: (2014-04-01)

Basic economics : analysis of contemporary problems and policies /
по: 178266 Levy, Fred D., и др.
Опубликовано: (1973)

The Effect of Innovation and Marketing Mix Toward Brand Image and Usage Decision in Online Food Delivery Services Industry
по: Putri Dhika Savitri, и др.
Опубликовано: (2020-12-01)

California enacts law to strengthen conservation bank program
по: Janet White
Опубликовано: (2013-04-01)

Contextualising Program Outcomes for Pacific Island Law Graduates
по: Carolyn Penfold
Опубликовано: (2012-01-01)

ABA Sponsors Program on Law and Emerging Infectious Diseases
по: David P. Fidler
Опубликовано: (1996-10-01)

Laws on Approval of Program-goal Documents: Genre Approach
по: Batyushkina , Marina Vladimirovna
Опубликовано: (2020-11-01)

A DIGITAL MARKETING STRATEGY USING SOCIAL MEDIA MARKETING TO INCREASE CONSUMER PURCHASE DECISIONS MEDIATED BY BRAND PERCEPTION
по: Sufrin Hannan, и др.
Опубликовано: (2023-09-01)

Arsitektur Strategi Bisnis Dokumentasi Pernikahan Pada Iphotobride Wedding
по: Mohammad Irfan Rachman, и др.
Опубликовано: (2022-09-01)

Marine-Derived Metabolites of S-Adenosylmethionine as Templates for New Anti-Infectives
по: Janice R. Sufrin, и др.
Опубликовано: (2009-08-01)

Optimising the First Year Experience in Law: The Law Peer Tutor Program at the University of New South Wales
по: Dominic Fitzsimmons, и др.
Опубликовано: (2006-01-01)

Impacts of the COVID-19 pandemic on the experiences of incarcerated pregnant people
по: L. Noël Marsh, и др.
Опубликовано: (2024-10-01)

Corporate Social Responsibility Programs In the Principles of Sharia Economic Law
по: Fauziah Fauziah, и др.
Опубликовано: (2022-12-01)