LAWS OF PROGRAMMING.

LAWS OF PROGRAMMING.

Taispeáin leaganacha eile (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...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Sufrin, B
Formáid:	Journal article
Foilsithe / Cruthaithe:	1987

Míreanna comhchosúla

The Laws of Programming
de réir: Hoare, C, et al.
Foilsithe / Cruthaithe: (1987)

Laws of programming
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (1987)

Formal specification and design of a simple assembler
de réir: Sørensen, I, et al.
Foilsithe / Cruthaithe: (1987)

MA SEBAGAI HURUF DAN PERUBAHAN MAKNANYA DALAM BAHASA ARAB
de réir: Sufrin Efendi Lubis
Foilsithe / Cruthaithe: (2020-09-01)

مستقبل التعليم في إندونيسية بين الرجاء والتمني
de réir: Sufrin Efendi Lubis
Foilsithe / Cruthaithe: (2019-10-01)

مهارة الاستماع وضوابطها في اللغة العربية
de réir: Sufrin Efendi Lubis
Foilsithe / Cruthaithe: (2020-06-01)

NILAI-NILAI PENDIDIKAN ISLAM DALAM KISAH NABI NUH AS
de réir: SUFRIN EFENDI LUBIS
Foilsithe / Cruthaithe: (2017-06-01)

State Laws on Substance Use Treatment for Incarcerated Pregnant and Postpartum People
de réir: Mollee K Steely Smith, et al.
Foilsithe / Cruthaithe: (2023-09-01)

Laws of Occam Programming
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (1986)

The Laws of Occam Programming
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (1988)

The laws of occam programming
de réir: Roscoe, A, et al.
Foilsithe / Cruthaithe: (1988)

Generic Models of the Laws of Programming
de réir: Hoare, T
Foilsithe / Cruthaithe: (2013)

Chinese law and development: implications for US rule of law programs
de réir: Erie, M
Foilsithe / Cruthaithe: (2023)

Chinese law and development: implications for US rule of law program
de réir: Erie, MS
Foilsithe / Cruthaithe: (2023)

Law Students’ Experiences in an Experiential Law and Research Program in Australia
de réir: Nicky McWilliam, et al.
Foilsithe / Cruthaithe: (2018-11-01)

Business Strategy Developmentwith 360° Business Model Innovation Perspective in PT NEC Indonesia
de réir: Widhi Rachayu, et al.
Foilsithe / Cruthaithe: (2023-05-01)

Object-oriented Programming Laws for Annotated Java Programs
de réir: Gabriel Falconieri Freitas, et al.
Foilsithe / Cruthaithe: (2010-03-01)

Pandemic detention: life with COVID-19 behind bars in Maryland
de réir: Joyell Arscott, et al.
Foilsithe / Cruthaithe: (2023-07-01)

Laws of programming with concurrency (Invited Talk)
de réir: Hoare, T
Foilsithe / Cruthaithe: (2013)

The Laws of Programming Unify Process Calculi
de réir: Hoare, T, et al.
Foilsithe / Cruthaithe: (2012)

The Relationship between Program Laws and the Constitution
de réir: Ayet Mulaee
Foilsithe / Cruthaithe: (2024-06-01)

Logic + probabilistic programming + causal laws
de réir: Vaishak Belle
Foilsithe / Cruthaithe: (2023-09-01)

The Decision to Choose Elderly Residence Based on the Implementation of Servicescape and Elderly Lifestyle Through Brand Image
de réir: Emir Fachry, et al.
Foilsithe / Cruthaithe: (2024-12-01)

Probing the anharmonicity of vibrational polaritons with double-quantum two-dimensional infrared spectroscopy
de réir: Sufrin Shmuel, et al.
Foilsithe / Cruthaithe: (2024-01-01)

Formulasi Strategi Pengembangan Usaha Cafe
de réir: Fina Windayani, et al.
Foilsithe / Cruthaithe: (2024-05-01)

KARAKTERISTIK PENGGUNA DAN APLIKASI PADA TINGKAT PENGGUNAAN (STICKINESS) APLIKASI VIDEO PENDEK XYZ
de réir: Gagan Gandara, et al.
Foilsithe / Cruthaithe: (2021-02-01)

Digital Marketing Strategy of Small and Medium Enterprises for Snack in Bogor City
de réir: Aulia Ratnadianti, et al.
Foilsithe / Cruthaithe: (2020-05-01)

Reading Through ESP in an Undergraduate Law Program
de réir: Gladis Leonor Arias Rodríguez
Foilsithe / Cruthaithe: (2014-04-01)

Basic economics : analysis of contemporary problems and policies /
de réir: 178266 Levy, Fred D., et al.
Foilsithe / Cruthaithe: (1973)

The Effect of Innovation and Marketing Mix Toward Brand Image and Usage Decision in Online Food Delivery Services Industry
de réir: Putri Dhika Savitri, et al.
Foilsithe / Cruthaithe: (2020-12-01)

California enacts law to strengthen conservation bank program
de réir: Janet White
Foilsithe / Cruthaithe: (2013-04-01)

Contextualising Program Outcomes for Pacific Island Law Graduates
de réir: Carolyn Penfold
Foilsithe / Cruthaithe: (2012-01-01)

ABA Sponsors Program on Law and Emerging Infectious Diseases
de réir: David P. Fidler
Foilsithe / Cruthaithe: (1996-10-01)

Laws on Approval of Program-goal Documents: Genre Approach
de réir: Batyushkina , Marina Vladimirovna
Foilsithe / Cruthaithe: (2020-11-01)

A DIGITAL MARKETING STRATEGY USING SOCIAL MEDIA MARKETING TO INCREASE CONSUMER PURCHASE DECISIONS MEDIATED BY BRAND PERCEPTION
de réir: Sufrin Hannan, et al.
Foilsithe / Cruthaithe: (2023-09-01)

Arsitektur Strategi Bisnis Dokumentasi Pernikahan Pada Iphotobride Wedding
de réir: Mohammad Irfan Rachman, et al.
Foilsithe / Cruthaithe: (2022-09-01)

Marine-Derived Metabolites of S-Adenosylmethionine as Templates for New Anti-Infectives
de réir: Janice R. Sufrin, et al.
Foilsithe / Cruthaithe: (2009-08-01)

Optimising the First Year Experience in Law: The Law Peer Tutor Program at the University of New South Wales
de réir: Dominic Fitzsimmons, et al.
Foilsithe / Cruthaithe: (2006-01-01)

Impacts of the COVID-19 pandemic on the experiences of incarcerated pregnant people
de réir: L. Noël Marsh, et al.
Foilsithe / Cruthaithe: (2024-10-01)

Corporate Social Responsibility Programs In the Principles of Sharia Economic Law
de réir: Fauziah Fauziah, et al.
Foilsithe / Cruthaithe: (2022-12-01)