LAWS OF PROGRAMMING.

LAWS OF PROGRAMMING.

Toon andere (2) versies

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...

Volledige beschrijving

Bibliografische gegevens
Hoofdauteur:	Sufrin, B
Formaat:	Journal article
Gepubliceerd in:	1987

Gelijkaardige items

The Laws of Programming
door: Hoare, C, et al.
Gepubliceerd in: (1987)

Laws of programming
door: Roscoe, A, et al.
Gepubliceerd in: (1987)

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

MA SEBAGAI HURUF DAN PERUBAHAN MAKNANYA DALAM BAHASA ARAB
door: Sufrin Efendi Lubis
Gepubliceerd in: (2020-09-01)

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

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

NILAI-NILAI PENDIDIKAN ISLAM DALAM KISAH NABI NUH AS
door: SUFRIN EFENDI LUBIS
Gepubliceerd in: (2017-06-01)

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

Laws of Occam Programming
door: Roscoe, A, et al.
Gepubliceerd in: (1986)

The Laws of Occam Programming
door: Roscoe, A, et al.
Gepubliceerd in: (1988)

The laws of occam programming
door: Roscoe, A, et al.
Gepubliceerd in: (1988)

Generic Models of the Laws of Programming
door: Hoare, T
Gepubliceerd in: (2013)

Chinese law and development: implications for US rule of law programs
door: Erie, M
Gepubliceerd in: (2023)

Chinese law and development: implications for US rule of law program
door: Erie, MS
Gepubliceerd in: (2023)

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

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

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

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

Laws of programming with concurrency (Invited Talk)
door: Hoare, T
Gepubliceerd in: (2013)

The Laws of Programming Unify Process Calculi
door: Hoare, T, et al.
Gepubliceerd in: (2012)

The Relationship between Program Laws and the Constitution
door: Ayet Mulaee
Gepubliceerd in: (2024-06-01)

Logic + probabilistic programming + causal laws
door: Vaishak Belle
Gepubliceerd in: (2023-09-01)

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

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

Formulasi Strategi Pengembangan Usaha Cafe
door: Fina Windayani, et al.
Gepubliceerd in: (2024-05-01)

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

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

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

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

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

California enacts law to strengthen conservation bank program
door: Janet White
Gepubliceerd in: (2013-04-01)

Contextualising Program Outcomes for Pacific Island Law Graduates
door: Carolyn Penfold
Gepubliceerd in: (2012-01-01)

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

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

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

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

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

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

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

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