LAWS OF PROGRAMMING.

LAWS OF PROGRAMMING.

他のバージョン（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...

書誌詳細
第一著者:	Sufrin, B
フォーマット:	Journal article
出版事項:	1987

類似資料

The Laws of Programming
著者:: Hoare, C, 等
出版事項: (1987)

Laws of programming
著者:: Roscoe, A, 等
出版事項: (1987)

Formal specification and design of a simple assembler
著者:: Sørensen, I, 等
出版事項: (1987)

MA SEBAGAI HURUF DAN PERUBAHAN MAKNANYA DALAM BAHASA ARAB
著者:: Sufrin Efendi Lubis
出版事項: (2020-09-01)

مستقبل التعليم في إندونيسية بين الرجاء والتمني
著者:: Sufrin Efendi Lubis
出版事項: (2019-10-01)

مهارة الاستماع وضوابطها في اللغة العربية
著者:: Sufrin Efendi Lubis
出版事項: (2020-06-01)

NILAI-NILAI PENDIDIKAN ISLAM DALAM KISAH NABI NUH AS
著者:: SUFRIN EFENDI LUBIS
出版事項: (2017-06-01)

State Laws on Substance Use Treatment for Incarcerated Pregnant and Postpartum People
著者:: Mollee K Steely Smith, 等
出版事項: (2023-09-01)

Laws of Occam Programming
著者:: Roscoe, A, 等
出版事項: (1986)

The Laws of Occam Programming
著者:: Roscoe, A, 等
出版事項: (1988)

The laws of occam programming
著者:: Roscoe, A, 等
出版事項: (1988)

Generic Models of the Laws of Programming
著者:: Hoare, T
出版事項: (2013)

Chinese law and development: implications for US rule of law programs
著者:: Erie, M
出版事項: (2023)

Chinese law and development: implications for US rule of law program
著者:: Erie, MS
出版事項: (2023)

Law Students’ Experiences in an Experiential Law and Research Program in Australia
著者:: Nicky McWilliam, 等
出版事項: (2018-11-01)

Business Strategy Developmentwith 360° Business Model Innovation Perspective in PT NEC Indonesia
著者:: Widhi Rachayu, 等
出版事項: (2023-05-01)

Object-oriented Programming Laws for Annotated Java Programs
著者:: Gabriel Falconieri Freitas, 等
出版事項: (2010-03-01)

Pandemic detention: life with COVID-19 behind bars in Maryland
著者:: Joyell Arscott, 等
出版事項: (2023-07-01)

Laws of programming with concurrency (Invited Talk)
著者:: Hoare, T
出版事項: (2013)

The Laws of Programming Unify Process Calculi
著者:: Hoare, T, 等
出版事項: (2012)

The Relationship between Program Laws and the Constitution
著者:: Ayet Mulaee
出版事項: (2024-06-01)

Logic + probabilistic programming + causal laws
著者:: Vaishak Belle
出版事項: (2023-09-01)

The Decision to Choose Elderly Residence Based on the Implementation of Servicescape and Elderly Lifestyle Through Brand Image
著者:: Emir Fachry, 等
出版事項: (2024-12-01)

Probing the anharmonicity of vibrational polaritons with double-quantum two-dimensional infrared spectroscopy
著者:: Sufrin Shmuel, 等
出版事項: (2024-01-01)

Formulasi Strategi Pengembangan Usaha Cafe
著者:: Fina Windayani, 等
出版事項: (2024-05-01)

KARAKTERISTIK PENGGUNA DAN APLIKASI PADA TINGKAT PENGGUNAAN (STICKINESS) APLIKASI VIDEO PENDEK XYZ
著者:: Gagan Gandara, 等
出版事項: (2021-02-01)

Digital Marketing Strategy of Small and Medium Enterprises for Snack in Bogor City
著者:: Aulia Ratnadianti, 等
出版事項: (2020-05-01)

Reading Through ESP in an Undergraduate Law Program
著者:: Gladis Leonor Arias Rodríguez
出版事項: (2014-04-01)

Basic economics : analysis of contemporary problems and policies /
著者:: 178266 Levy, Fred D., 等
出版事項: (1973)

The Effect of Innovation and Marketing Mix Toward Brand Image and Usage Decision in Online Food Delivery Services Industry
著者:: Putri Dhika Savitri, 等
出版事項: (2020-12-01)

California enacts law to strengthen conservation bank program
著者:: Janet White
出版事項: (2013-04-01)

Contextualising Program Outcomes for Pacific Island Law Graduates
著者:: Carolyn Penfold
出版事項: (2012-01-01)

ABA Sponsors Program on Law and Emerging Infectious Diseases
著者:: David P. Fidler
出版事項: (1996-10-01)

Laws on Approval of Program-goal Documents: Genre Approach
著者:: Batyushkina , Marina Vladimirovna
出版事項: (2020-11-01)

A DIGITAL MARKETING STRATEGY USING SOCIAL MEDIA MARKETING TO INCREASE CONSUMER PURCHASE DECISIONS MEDIATED BY BRAND PERCEPTION
著者:: Sufrin Hannan, 等
出版事項: (2023-09-01)

Arsitektur Strategi Bisnis Dokumentasi Pernikahan Pada Iphotobride Wedding
著者:: Mohammad Irfan Rachman, 等
出版事項: (2022-09-01)

Marine-Derived Metabolites of S-Adenosylmethionine as Templates for New Anti-Infectives
著者:: Janice R. Sufrin, 等
出版事項: (2009-08-01)

Optimising the First Year Experience in Law: The Law Peer Tutor Program at the University of New South Wales
著者:: Dominic Fitzsimmons, 等
出版事項: (2006-01-01)

Impacts of the COVID-19 pandemic on the experiences of incarcerated pregnant people
著者:: L. Noël Marsh, 等
出版事項: (2024-10-01)

Corporate Social Responsibility Programs In the Principles of Sharia Economic Law
著者:: Fauziah Fauziah, 等
出版事項: (2022-12-01)