LAWS OF PROGRAMMING.

LAWS OF PROGRAMMING.

Pokaži ostale verzije (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...

Bibliografski detalji
Glavni autor:	Sufrin, B
Format:	Journal article
Izdano:	1987

Slični predmeti

The Laws of Programming
od: Hoare, C, i dr.
Izdano: (1987)

Laws of programming
od: Roscoe, A, i dr.
Izdano: (1987)

Formal specification and design of a simple assembler
od: Sørensen, I, i dr.
Izdano: (1987)

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

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

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

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

State Laws on Substance Use Treatment for Incarcerated Pregnant and Postpartum People
od: Mollee K Steely Smith, i dr.
Izdano: (2023-09-01)

Laws of Occam Programming
od: Roscoe, A, i dr.
Izdano: (1986)

The Laws of Occam Programming
od: Roscoe, A, i dr.
Izdano: (1988)

The laws of occam programming
od: Roscoe, A, i dr.
Izdano: (1988)

Generic Models of the Laws of Programming
od: Hoare, T
Izdano: (2013)

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

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

Law Students’ Experiences in an Experiential Law and Research Program in Australia
od: Nicky McWilliam, i dr.
Izdano: (2018-11-01)

Business Strategy Developmentwith 360° Business Model Innovation Perspective in PT NEC Indonesia
od: Widhi Rachayu, i dr.
Izdano: (2023-05-01)

Object-oriented Programming Laws for Annotated Java Programs
od: Gabriel Falconieri Freitas, i dr.
Izdano: (2010-03-01)

Pandemic detention: life with COVID-19 behind bars in Maryland
od: Joyell Arscott, i dr.
Izdano: (2023-07-01)

Laws of programming with concurrency (Invited Talk)
od: Hoare, T
Izdano: (2013)

The Laws of Programming Unify Process Calculi
od: Hoare, T, i dr.
Izdano: (2012)

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

Logic + probabilistic programming + causal laws
od: Vaishak Belle
Izdano: (2023-09-01)

The Decision to Choose Elderly Residence Based on the Implementation of Servicescape and Elderly Lifestyle Through Brand Image
od: Emir Fachry, i dr.
Izdano: (2024-12-01)

Probing the anharmonicity of vibrational polaritons with double-quantum two-dimensional infrared spectroscopy
od: Sufrin Shmuel, i dr.
Izdano: (2024-01-01)

Formulasi Strategi Pengembangan Usaha Cafe
od: Fina Windayani, i dr.
Izdano: (2024-05-01)

KARAKTERISTIK PENGGUNA DAN APLIKASI PADA TINGKAT PENGGUNAAN (STICKINESS) APLIKASI VIDEO PENDEK XYZ
od: Gagan Gandara, i dr.
Izdano: (2021-02-01)

Digital Marketing Strategy of Small and Medium Enterprises for Snack in Bogor City
od: Aulia Ratnadianti, i dr.
Izdano: (2020-05-01)

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

Basic economics : analysis of contemporary problems and policies /
od: 178266 Levy, Fred D., i dr.
Izdano: (1973)

The Effect of Innovation and Marketing Mix Toward Brand Image and Usage Decision in Online Food Delivery Services Industry
od: Putri Dhika Savitri, i dr.
Izdano: (2020-12-01)

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

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

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

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

A DIGITAL MARKETING STRATEGY USING SOCIAL MEDIA MARKETING TO INCREASE CONSUMER PURCHASE DECISIONS MEDIATED BY BRAND PERCEPTION
od: Sufrin Hannan, i dr.
Izdano: (2023-09-01)

Arsitektur Strategi Bisnis Dokumentasi Pernikahan Pada Iphotobride Wedding
od: Mohammad Irfan Rachman, i dr.
Izdano: (2022-09-01)

Marine-Derived Metabolites of S-Adenosylmethionine as Templates for New Anti-Infectives
od: Janice R. Sufrin, i dr.
Izdano: (2009-08-01)

Optimising the First Year Experience in Law: The Law Peer Tutor Program at the University of New South Wales
od: Dominic Fitzsimmons, i dr.
Izdano: (2006-01-01)

Impacts of the COVID-19 pandemic on the experiences of incarcerated pregnant people
od: L. Noël Marsh, i dr.
Izdano: (2024-10-01)

Corporate Social Responsibility Programs In the Principles of Sharia Economic Law
od: Fauziah Fauziah, i dr.
Izdano: (2022-12-01)