Hermes (programming language)

Hermes^[1] ^[2] is a language for distributed programming^[3] that was developed at IBM's Thomas J. Watson Research Center from 1986 through 1992, with an open-source compiler and run-time system.^[4] Hermes' primary features included:^[5]

Language support of processes and interprocess communication.
Compile-time verification that operations use initialized data.
Representation-independent data aggregates called tables.
Lack of pointers.

It used typestate analysis to check variables transitions errors, to rule out some semantically non meaningful transitions from one state to another (i.e. starting from a value, some sequences of operations on a variable are nonsensical), of which reading an uninitialized variable is a special case. In this role of compile-time checking of data initialization is similar to definite assignment analysis performed by Java, Cyclone and C#.

Hermes and its predecessor, NIL (Network Implementation Language), were the earliest programming languages supporting this form of initialization checking.^[6] Typestate was actually used more extensively, to generate compiler-inserted "delete" operations.

References

^ Strom, Robert E.; Bacon, David F; Goldberg, Arthur P.; Lowry, Andy; Yellin, Daniel M.; Yemini, Shaula (1991). Hermes - A Language for Distributed Computing. Englewood Cliffs, NJ, USA: Prentice-Hall. ISBN 978-0-13-389537-7.
^ Lowry, Andy (1992). "The Hermes language in outline form". ACM SIGPLAN Notices. 27 (8): 51–70. doi:10.1145/142137.142148. ISSN 0362-1340. S2CID 28615424.
^ Strom, R.E. (1990). "Hermes: an integrated language and system for distributed programming". IEEE Workshop on Experimental Distributed Systems. pp. 75–82. doi:10.1109/EDS.1990.138054. S2CID 10223422.
^ Bacon, David F.; Lowry, Andy (1990). A Portable Run-time System for the Hermes Distributed Programming Language. USENIX Summer Technical Conference. Anaheim, California, USA: Usenix Association. pp. 39–50.
^ Korfhage, Willard; Goldberg, Arthur P. (1995). "Hermes language experiences" (PDF). Software: Practice and Experience. 25 (4): 389–402. CiteSeerX 10.1.1.13.9034. doi:10.1002/spe.4380250404. ISSN 0038-0644. S2CID 30437763. Archived from the original (PDF) on 2005-05-26. Retrieved 2009-08-27.
^ Strom, Robert E. (1983). "Mechanisms for compile-time enforcement of security". Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83. pp. 276–284. doi:10.1145/567067.567093. ISBN 978-0897910903. S2CID 6630704.

This programming-language-related article is a stub. You can help Wikipedia by expanding it.

Read other articles:

羅生門 (電影)

本條目存在以下問題，請協助改善本條目或在討論頁針對議題發表看法。此條目需要补充更多来源。 (2018年3月17日)请协助補充多方面可靠来源以改善这篇条目，无法查证的内容可能會因為异议提出而被移除。致使用者：请搜索一下条目的标题（来源搜索：羅生門 (電影) — 网页、新闻、书籍、学术、图像），以检查网络上是否存在该主题的更多可靠来源（判定指引）。 �...

Tim Aerobatik Jupiter TNI Angkatan Udara

Jupiter Aerobatic Team TNI AULambang JAT Jupiter Aerobatic TeamDibentuk1996NegaraIndonesiaCabang TNI Angkatan UdaraBagian dariLanud AdisutjiptoJulukanJATMotoThe JupiterMaskotElang AngkasaSitus webwww.lanud-adisutjipto.mil.id Tim Aerobatik Jupiter TNI Angkatan Udara atau Jupiter Aerobatic Team TNI AU disingkat JAT adalah salah satu tim aerobatik milik TNI Angkatan Udara dalam bentuk Skadron Khusus dibawah Skadron Pendidikan 102, Wing Pendidikan Terbang, Lanud Adisucipto yang terbentuk sejak ta...

Mikael Damberg

Mikael Damberg Menteri PerindustrianPetahanaMulai menjabat 3 Oktober 2014Perdana MenteriStefan Löfven PendahuluAnnie LööfPenggantiPetahanaPemimpin Demokrat Sosialdi Riksdag SwediaMasa jabatan23 Februari 2012 – 3 Oktober 2014 PendahuluCarina MobergPenggantiTomas EnerothAnggota Riksdag Swedia untuk Wilayah StockholmPetahanaMulai menjabat 30 September 2002 Informasi pribadiLahir13 Oktober 1971 (umur 52)Solna, Wilayah Stockholm, SwediaPartai politikDemokrat SosialAlma m...

Iman Essa Jasim

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada November 2022. Iman Essa JasimInformasi pribadiNama lahirEndurance Essien UdohLahir9 Juli 1997 (umur 26)Nigeria OlahragaNegaraBahrainOlahragaTrek dan lapanganLomba100 meter Rekam medali Atletik putri (trek dan lapangan) Mewakili Bahrain Kejuaraan Arab 201...

T'way Airlines

T'way Air 티웨이항공 Ti-wei Hanggong IATA ICAO Kode panggil TW TWB TEEWAY Didirikan01 April 2005 (2005-04-01) (sebagai Hansung Airlines)13 Agustus 2010 (2010-08-13) (sebagai T'way Air)Mulai beroperasi13 Agustus 2005 (2005-08-13) (sebagai Hansung Airlines)16 September 2010 (2010-09-16) (sebagai T'way Air)PenghubungBandar Udara Internasional GimpoBandar Udara Internasional IncheonKota fokusBandar Udara Internasional DaeguArmada31Tujuan46Perusahaan indukT'way Holdings In...

Headquarters Northern Ireland

HQ Northern IrelandActive1922–2009Country United KingdomBranch British ArmyTypeCommandGarrison/HQThiepval Barracks, LisburnMilitary unit HQ Northern Ireland was the formation responsible for the British Army in and around Northern Ireland. It was established in 1922 and disbanded, replaced by a brigade-level Army Reserve formation, 38 (Irish) Brigade, in 2009. History Ireland was partitioned in mid-1921. On 7 December 1922, the day after the establishment of the Irish Free State, the ...

Livorno Ferraris

Livorno Ferraris commune di Italia Tempat Negara berdaulatItaliaRegion di ItaliaPiedmontProvinsi di ItaliaProvinsi Vercelli NegaraItalia Ibu kotaLivorno Ferraris PendudukTotal4.195 (2023 )GeografiLuas wilayah58,03 km² [convert: unit tak dikenal]Ketinggian188 m Berbatasan denganBianzè Crescentino Fontanetto Po Moncrivello Trino Cigliano Lamporo Saluggia SejarahSanto pelindungLaurensius Informasi tambahanKode pos13046 Zona waktuUTC+1 UTC+2 Kode telepon0161 ID ISTAT002071 Kode kadas...

Satyalancana G.O.M VII

Satyalancana Gerakan Operasi Militer VII adalah tanda kehormatan jenis Satyalancana Peristiwa yang diberikan kepada anggota Angkatan Bersenjata dalam memberantas kekacauan yang dilakukan oleh gerombolan bersenjata. Tanda kehormatan diberikan untuk meningkatkan dan memelihara moral Angkatan Bersenjata Republik Indonesia. Menurut Bab VIII Pasal 21 PP 59/1958, Satyalancana G.O.M VII diberikan kepada anggota Angkatan Perang yang secara aktif sekurang-kurangnya 90 hari terus-menerus atau 180 hari ...

Miss Earth Indonesia 2013

Miss Earth Indonesia 2013Logo Miss Indonesia Earth 2013Tanggal17 Oktober 2013TempatSasana Kriya Taman Mini Indonesia Indah, Jakarta, IndonesiaPembawa acaraUli Herdinansyah, Yuanita ChristianiPengisi acaraIndah Dewi Pertiwi, SM*SH, Dira SugandiPenyiaranKompas TVPeserta29Finalis/Semifinalis10PemenangNita Sofianilbs Miss Earth Indonesia 2013 adalah penyelenggaraan kontes kecantikan Indonesia, Miss Earth Indonesia untuk keenam kalinya pada tanggal 17 Oktober 2013 di Sasana Kriya Taman M...

Wikipedia bahasa Sunda

Wikipedia bahasa Sunda URLsu.wikipedia.orgTipeEnsiklopedia daringPerdagangan ?TidakRegistrationOpsionalLangueBahasa SundaLisensiCreative Commons Atribusi-BerbagiSerupa 3.0 Tanpa Adaptasi dan Lisensi Dokumentasi Bebas GNU PemilikYayasan WikimediaService entry15 Maret 2004 Wikipedia bahasa Sunda adalah ensiklopedia dari versi bahasa Sunda Wikipedia. Wikipedia bahasa Sunda umumnya mengikuti peraturan-peraturan dasar Wikipedia bahasa Indonesia. Pranala luar Wikipedia bahasa Sunda lbsDaftar ...

Trent Alexander-Arnold

Trent Alexander-Arnold Alexander-Arnold saat parade kemenangan Liverpool di Liga Champions UEFA 2018–19Informasi pribadiNama lengkap Trent John Alexander-Arnold[1]Tanggal lahir 17 Oktober 1998 (umur 25)[2]Tempat lahir Liverpool, InggrisTinggi 5 kaki 9 inci (1,75 m)[3]Posisi bermain Bek kananInformasi klubKlub saat ini LiverpoolNomor 66Karier junior2004–2016 LiverpoolKarier senior*Tahun Tim Tampil (Gol)2016– Liverpool 198 (12)Tim nasional‡20...

Easter Bunny

Folkloric figure and symbol Easter BunnyA 1907 postcard featuring the Easter BunnyGroupingLegendary creatureSub groupingAnimalFolkloreFolkloric figure and symbol of EasterOther name(s)Easter Rabbit, Easter HareCountryGermany The Easter Bunny (also called the Easter Rabbit or Easter Hare) is a folkloric figure and symbol of Easter, depicted as a rabbit—sometimes dressed with clothes—bringing Easter eggs. Originating among German Lutherans, the Easter Hare originally played the role of a ju...

Foreign policy of the Lyndon B. Johnson administration

Foreign of policy of the lyndon b. johnson administration President Lyndon B. Johnson directed U.S. foreign policy from 1963 to 1969 This article is part of a series aboutLyndon B. Johnson Early life Family Electoral history Public image Memorials Bibliography Senator from Texas Senate career 37th Vice President of the United States Transition Tenure Kennedy administration Inauguration 36th President of the United States Presidency timeline Executive actions Cannabis policy Foreign policy Joh...

San Francisco Ferry Building

Ferry terminal in San Francisco, California San Francisco Ferry BuildingThe Ferry Building, along the Embarcadero. Treasure Island, Yerba Buena Island, and the Bay Bridge can be seen in the background, with Embarcadero Plaza and the foot of Market Street in the foreground.General informationLocation1 Ferry BuildingSan Francisco, CaliforniaCoordinates37°47′44″N 122°23′37″W / 37.7955°N 122.3937°W / 37.7955; -122.3937Owned byPort of San FranciscoLine(s) Golden...

Football Club Matera 2009-2010

Voce principale: Società Sportiva Matera Calcio. Football Club MateraStagione 2009-2010Sport calcio Squadra Matera Allenatore Pino Giusto Roberto Rizzo (23ª) Presidente Tommaso Perniola Serie D9º Play-off nazionaliVincente Coppa Italia Serie DVincitrice StadioXXI Settembre-Franco Salerno 7 490 Abbonati2000 2008-2009 2010-2011 Si invita a seguire il modello di voce Questa voce raccoglie le informazioni riguardanti il Football Club Matera nelle competizioni ufficiali della stagion...

Serium

Artikel ini bukan mengenai Sesium atau Kurium. 58CeSeriumSerium murni berukuran 1 cm Garis spektrum seriumSifat umumNama, lambangserium, CePengucapan/sérium/[1]/sèrium/Penampilanputih keperakanSerium dalam tabel periodik 58Ce Hidrogen Helium Lithium Berilium Boron Karbon Nitrogen Oksigen Fluor Neon Natrium Magnesium Aluminium Silikon Fosfor Sulfur Clor Argon Potasium Kalsium Skandium Titanium Vanadium Chromium Mangan Besi Cobalt Nikel Tembaga Seng Gallium Germanium Arsen Selen Bromi...

Suheil Kiwan

This article is an orphan, as no other articles link to it. Please introduce links to this page from related articles; try the Find link tool for suggestions. (March 2021) Palestinian journalist and novelist Suheil KiwanBorn1956OccupationJournalist, novelist, playwrightNationalityPalestinianNotable awards– Tawfiq Zayyad Institution Award – Award of recognition from Al-Midan Theater – National Award from Anna Lindh Foundation for children's literature Suheil Kiwan (Arabic:سهيل كي�...

Tarte Tatin

Caramelised fruit tart Tarte TatinTypeTartPlace of originFranceRegion or stateCentre-Val de LoireCreated byTatin sistersMain ingredientsApples or other fruits Cookbook: Tarte Tatin Media: Tarte Tatin Caroline and Stéphanie Tatin The tarte Tatin (French pronunciation: [taʁt tatɛ̃]), named after the Tatin sisters who invented it and served it in their hotel as its signature dish, is a pastry in which the fruit (usually apples) is caramelized in butter and sugar before the ...

Fascio Giovanni Grion 1927-1928

Voce principale: Gruppo Sportivo Fascio Giovanni Grion. Fascio Giovanni GrionStagione 1927-1928Sport calcio Squadra Grion Pola Allenatore Lino Dinelli (I) Presidente Giuseppe De Turris Seconda Divisione4º nel girone F. È in seguito ammesso in Prima Divisione. 1926-27 1928-29 Si invita a seguire il modello di voce Questa voce raccoglie le informazioni riguardanti il Fascio Giovanni Grion nelle competizioni ufficiali della stagione 1927-1928. Rosa N. Ruolo Calciatore C Gino Brenco A Fra...

Twelve Grapes

Spanish New Year tradition Royal House of the Post Office clock tower, Puerta del Sol, Madrid The twelve grapes ready to be eaten The Twelve Grapes[1] (Sp. las doce uvas de la suerte, the twelve grapes of luck) is a Spanish tradition that consists of eating a grape with each of the twelve clock bell strikes at midnight of 31 December to welcome the New Year. Each grape and clock bell strike represents each of the coming twelve months.[2] This tradition dates back from at least...