LAWS OF PROGRAMMING.

LAWS OF PROGRAMMING.

Veure altres versions (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...

Descripció completa

Dades bibliogràfiques
Autor principal:	Sufrin, B
Format:	Journal article
Publicat:	1987

Ítems similars

The Laws of Programming
per: Hoare, C, et al.
Publicat: (1987)

Laws of programming
per: Roscoe, A, et al.
Publicat: (1987)

Formal specification and design of a simple assembler
per: Sørensen, I, et al.
Publicat: (1987)

MA SEBAGAI HURUF DAN PERUBAHAN MAKNANYA DALAM BAHASA ARAB
per: Sufrin Efendi Lubis
Publicat: (2020-09-01)

مستقبل التعليم في إندونيسية بين الرجاء والتمني
per: Sufrin Efendi Lubis
Publicat: (2019-10-01)

مهارة الاستماع وضوابطها في اللغة العربية
per: Sufrin Efendi Lubis
Publicat: (2020-06-01)

NILAI-NILAI PENDIDIKAN ISLAM DALAM KISAH NABI NUH AS
per: SUFRIN EFENDI LUBIS
Publicat: (2017-06-01)

State Laws on Substance Use Treatment for Incarcerated Pregnant and Postpartum People
per: Mollee K Steely Smith, et al.
Publicat: (2023-09-01)

Laws of Occam Programming
per: Roscoe, A, et al.
Publicat: (1986)

The Laws of Occam Programming
per: Roscoe, A, et al.
Publicat: (1988)

The laws of occam programming
per: Roscoe, A, et al.
Publicat: (1988)

Generic Models of the Laws of Programming
per: Hoare, T
Publicat: (2013)

Chinese law and development: implications for US rule of law programs
per: Erie, M
Publicat: (2023)

Chinese law and development: implications for US rule of law program
per: Erie, MS
Publicat: (2023)

Law Students’ Experiences in an Experiential Law and Research Program in Australia
per: Nicky McWilliam, et al.
Publicat: (2018-11-01)

Business Strategy Developmentwith 360° Business Model Innovation Perspective in PT NEC Indonesia
per: Widhi Rachayu, et al.
Publicat: (2023-05-01)

Object-oriented Programming Laws for Annotated Java Programs
per: Gabriel Falconieri Freitas, et al.
Publicat: (2010-03-01)

Pandemic detention: life with COVID-19 behind bars in Maryland
per: Joyell Arscott, et al.
Publicat: (2023-07-01)

Laws of programming with concurrency (Invited Talk)
per: Hoare, T
Publicat: (2013)

The Laws of Programming Unify Process Calculi
per: Hoare, T, et al.
Publicat: (2012)

The Relationship between Program Laws and the Constitution
per: Ayet Mulaee
Publicat: (2024-06-01)

Logic + probabilistic programming + causal laws
per: Vaishak Belle
Publicat: (2023-09-01)

The Decision to Choose Elderly Residence Based on the Implementation of Servicescape and Elderly Lifestyle Through Brand Image
per: Emir Fachry, et al.
Publicat: (2024-12-01)

Probing the anharmonicity of vibrational polaritons with double-quantum two-dimensional infrared spectroscopy
per: Sufrin Shmuel, et al.
Publicat: (2024-01-01)

Formulasi Strategi Pengembangan Usaha Cafe
per: Fina Windayani, et al.
Publicat: (2024-05-01)

KARAKTERISTIK PENGGUNA DAN APLIKASI PADA TINGKAT PENGGUNAAN (STICKINESS) APLIKASI VIDEO PENDEK XYZ
per: Gagan Gandara, et al.
Publicat: (2021-02-01)

Digital Marketing Strategy of Small and Medium Enterprises for Snack in Bogor City
per: Aulia Ratnadianti, et al.
Publicat: (2020-05-01)

Reading Through ESP in an Undergraduate Law Program
per: Gladis Leonor Arias Rodríguez
Publicat: (2014-04-01)

Basic economics : analysis of contemporary problems and policies /
per: 178266 Levy, Fred D., et al.
Publicat: (1973)

The Effect of Innovation and Marketing Mix Toward Brand Image and Usage Decision in Online Food Delivery Services Industry
per: Putri Dhika Savitri, et al.
Publicat: (2020-12-01)

California enacts law to strengthen conservation bank program
per: Janet White
Publicat: (2013-04-01)

Contextualising Program Outcomes for Pacific Island Law Graduates
per: Carolyn Penfold
Publicat: (2012-01-01)

ABA Sponsors Program on Law and Emerging Infectious Diseases
per: David P. Fidler
Publicat: (1996-10-01)

Laws on Approval of Program-goal Documents: Genre Approach
per: Batyushkina , Marina Vladimirovna
Publicat: (2020-11-01)

A DIGITAL MARKETING STRATEGY USING SOCIAL MEDIA MARKETING TO INCREASE CONSUMER PURCHASE DECISIONS MEDIATED BY BRAND PERCEPTION
per: Sufrin Hannan, et al.
Publicat: (2023-09-01)

Arsitektur Strategi Bisnis Dokumentasi Pernikahan Pada Iphotobride Wedding
per: Mohammad Irfan Rachman, et al.
Publicat: (2022-09-01)

Marine-Derived Metabolites of S-Adenosylmethionine as Templates for New Anti-Infectives
per: Janice R. Sufrin, et al.
Publicat: (2009-08-01)

Optimising the First Year Experience in Law: The Law Peer Tutor Program at the University of New South Wales
per: Dominic Fitzsimmons, et al.
Publicat: (2006-01-01)

Impacts of the COVID-19 pandemic on the experiences of incarcerated pregnant people
per: L. Noël Marsh, et al.
Publicat: (2024-10-01)

Corporate Social Responsibility Programs In the Principles of Sharia Economic Law
per: Fauziah Fauziah, et al.
Publicat: (2022-12-01)