LAWS OF PROGRAMMING.

LAWS OF PROGRAMMING.

Afficher d'autres 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...

Description complète

Détails bibliographiques
Auteur principal:	Sufrin, B
Format:	Journal article
Publié:	1987

Documents similaires

The Laws of Programming
par: Hoare, C, et autres
Publié: (1987)

Laws of programming
par: Roscoe, A, et autres
Publié: (1987)

Formal specification and design of a simple assembler
par: Sørensen, I, et autres
Publié: (1987)

MA SEBAGAI HURUF DAN PERUBAHAN MAKNANYA DALAM BAHASA ARAB
par: Sufrin Efendi Lubis
Publié: (2020-09-01)

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

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

NILAI-NILAI PENDIDIKAN ISLAM DALAM KISAH NABI NUH AS
par: SUFRIN EFENDI LUBIS
Publié: (2017-06-01)

State Laws on Substance Use Treatment for Incarcerated Pregnant and Postpartum People
par: Mollee K Steely Smith, et autres
Publié: (2023-09-01)

Laws of Occam Programming
par: Roscoe, A, et autres
Publié: (1986)

The Laws of Occam Programming
par: Roscoe, A, et autres
Publié: (1988)

The laws of occam programming
par: Roscoe, A, et autres
Publié: (1988)

Generic Models of the Laws of Programming
par: Hoare, T
Publié: (2013)

Chinese law and development: implications for US rule of law programs
par: Erie, M
Publié: (2023)

Chinese law and development: implications for US rule of law program
par: Erie, MS
Publié: (2023)

Law Students’ Experiences in an Experiential Law and Research Program in Australia
par: Nicky McWilliam, et autres
Publié: (2018-11-01)

Business Strategy Developmentwith 360° Business Model Innovation Perspective in PT NEC Indonesia
par: Widhi Rachayu, et autres
Publié: (2023-05-01)

Object-oriented Programming Laws for Annotated Java Programs
par: Gabriel Falconieri Freitas, et autres
Publié: (2010-03-01)

Pandemic detention: life with COVID-19 behind bars in Maryland
par: Joyell Arscott, et autres
Publié: (2023-07-01)

Laws of programming with concurrency (Invited Talk)
par: Hoare, T
Publié: (2013)

The Laws of Programming Unify Process Calculi
par: Hoare, T, et autres
Publié: (2012)

The Relationship between Program Laws and the Constitution
par: Ayet Mulaee
Publié: (2024-06-01)

Logic + probabilistic programming + causal laws
par: Vaishak Belle
Publié: (2023-09-01)

The Decision to Choose Elderly Residence Based on the Implementation of Servicescape and Elderly Lifestyle Through Brand Image
par: Emir Fachry, et autres
Publié: (2024-12-01)

Probing the anharmonicity of vibrational polaritons with double-quantum two-dimensional infrared spectroscopy
par: Sufrin Shmuel, et autres
Publié: (2024-01-01)

Formulasi Strategi Pengembangan Usaha Cafe
par: Fina Windayani, et autres
Publié: (2024-05-01)

KARAKTERISTIK PENGGUNA DAN APLIKASI PADA TINGKAT PENGGUNAAN (STICKINESS) APLIKASI VIDEO PENDEK XYZ
par: Gagan Gandara, et autres
Publié: (2021-02-01)

Digital Marketing Strategy of Small and Medium Enterprises for Snack in Bogor City
par: Aulia Ratnadianti, et autres
Publié: (2020-05-01)

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

Basic economics : analysis of contemporary problems and policies /
par: 178266 Levy, Fred D., et autres
Publié: (1973)

The Effect of Innovation and Marketing Mix Toward Brand Image and Usage Decision in Online Food Delivery Services Industry
par: Putri Dhika Savitri, et autres
Publié: (2020-12-01)

California enacts law to strengthen conservation bank program
par: Janet White
Publié: (2013-04-01)

Contextualising Program Outcomes for Pacific Island Law Graduates
par: Carolyn Penfold
Publié: (2012-01-01)

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

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

A DIGITAL MARKETING STRATEGY USING SOCIAL MEDIA MARKETING TO INCREASE CONSUMER PURCHASE DECISIONS MEDIATED BY BRAND PERCEPTION
par: Sufrin Hannan, et autres
Publié: (2023-09-01)

Arsitektur Strategi Bisnis Dokumentasi Pernikahan Pada Iphotobride Wedding
par: Mohammad Irfan Rachman, et autres
Publié: (2022-09-01)

Marine-Derived Metabolites of S-Adenosylmethionine as Templates for New Anti-Infectives
par: Janice R. Sufrin, et autres
Publié: (2009-08-01)

Optimising the First Year Experience in Law: The Law Peer Tutor Program at the University of New South Wales
par: Dominic Fitzsimmons, et autres
Publié: (2006-01-01)

Impacts of the COVID-19 pandemic on the experiences of incarcerated pregnant people
par: L. Noël Marsh, et autres
Publié: (2024-10-01)

Corporate Social Responsibility Programs In the Principles of Sharia Economic Law
par: Fauziah Fauziah, et autres
Publié: (2022-12-01)