LAWS OF PROGRAMMING.

LAWS OF PROGRAMMING.

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

Full description

Bibliographic Details
Main Author:	Sufrin, B
Format:	Journal article
Published:	1987

Similar Items

Laws of programming
by: Roscoe, A, et al.
Published: (1987)

The Laws of Programming
by: Hoare, C, et al.
Published: (1987)

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

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

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

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

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

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

Laws of Occam Programming
by: Roscoe, A, et al.
Published: (1986)

The Laws of Occam Programming
by: Roscoe, A, et al.
Published: (1988)

The laws of occam programming
by: Roscoe, A, et al.
Published: (1988)

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

Generic Models of the Laws of Programming
by: Hoare, T
Published: (2013)

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

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

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

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

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

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

Laws of programming with concurrency (Invited Talk)
by: Hoare, T
Published: (2013)

Logic + probabilistic programming + causal laws
by: Vaishak Belle
Published: (2023-09-01)

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

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

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

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

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

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

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

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

FEATURES OF TEACHING FINANCIAL LAW FOR LEGAL SPECIALTIES OF MASTER’S PROGRAMS
by: Anfisa Shmeleva, et al.
Published: (2018-11-01)

The Urgency of Leniency Program Against Cartels in Indonesia: Lesson Learned from Singapore Competition Law
by: Setianingrum, R.B., et al.
Published: (2021)

National Drug Laws, Policies, and Programs in India: A Narrative Review
by: Arpit Parmar, et al.
Published: (2024-01-01)

Data-Driven Regulation: From the Rule of Law to Public Loyalty Programs
by: Roman Z. Ruvinskiy
Published: (2023-04-01)

Connecticut's Implementation of a Rapid DNA Program for Law Enforcement Agencies
by: Cheryl Carreiro, et al.
Published: (2023-01-01)

Executive Law Review in an Effort to Accelerate Program Ease of Doing Business
by: Johannes Ibrahim Kosasih
Published: (2020-02-01)

Exploring Best Practices for New Climate Change Policy and Law Program
by: Mohamad, Ani Munirah, et al.
Published: (2024)

Information on the European Legal Studies Program and the ERASMUS+ Mobility Program at the Faculty of Law of the Trnava University in Trnava, Slovakia
by: Helena Barancová
Published: (2014-12-01)

Mental health, chronic and infectious conditions among pregnant persons in US state prisons and local jails 2016–2017
by: Caitlin A Hendricks, et al.
Published: (2024-03-01)

Competition law and the common law of unfair competition
by: Ong, B
Published: (2011)

Computer Based Recitation Program Development With Feed Back in Newton’s Law Topic
by: Rahma Auna Hidayati, et al.
Published: (2023-02-01)