{"id":3404,"date":"2019-07-03T09:09:43","date_gmt":"2019-07-03T08:09:43","guid":{"rendered":"https:\/\/www.prover.com\/?p=3404"},"modified":"2024-06-20T10:35:36","modified_gmt":"2024-06-20T09:35:36","slug":"new-version-of-hll-integrating-the-best-of-breed","status":"publish","type":"post","link":"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/","title":{"rendered":"New version of HLL &#8211; integrating the best of breed"},"content":{"rendered":"<p>The Tool providers that support\u00a0<a href=\"https:\/\/www.prover.com\/software-solutions-rail-control\/hll-high-level-language\/\">HLL<\/a>\u00a0have now agreed on the content of the next published version of HLL. It will be a merge of the different dialects of HLL that exist today.<\/p>\n<h3>One language for all<\/h3>\n<p>Over the years tool providers have developed HLL in different directions in order to solve their particular needs and to compete with each other by providing the best language. The diversity is however not in the best interest of the HLL users, that become locked in with their tool provider as the HLL they use is not exactly the same as other providers support.<\/p>\n<p>With the vision of enabling more users around the world to use HLL as well as making it possible for the user to pick the tools best suited to their needs, we started a project to merge the language, as I wrote in a\u00a0<a href=\"https:\/\/www.prover.com\/formal-verification\/a-new-version-of-hll-emerging\/\">blog post in April<\/a>. A common standard language HLL will increase the credibility and usage of the language, give end users increased confidence in the language and therefore increase their will to invest in formal specifications in HLL. Tool providers will still be able to compete by developing the best tools and by offering the best services.<\/p>\n<p>Last week I sent out a finished proposal, based on negotiations during the spring. It has been hard work, in a good spirit. Even though we who worked with this are competitors, we share the need to merge, and we who work with HLL do want it to be a successful formal language.<\/p>\n<p>It remains to agree about a precise specification. This might be a tough step, as we need to fund a joint development of a specification and agree about a lot of details. Based on the experience so far I am confident we will manage this as well.<\/p>\n<h3>HLL Forum<\/h3>\n<p>We plan to have our next\u00a0<a href=\"https:\/\/www.prover.com\/hll-forum\/\">HLL Forum<\/a>\u00a0meeting in October. The progress with a joint specification will be presented and we will also discuss an extended scope of the forum, such as inviting universities and promoting the language outside the railway industry.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>The Tool providers that support\u00a0HLL\u00a0have now agreed on the content of the next published version of HLL. It will be  [&#8230;]<\/p>\n","protected":false},"author":17,"featured_media":14931,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"content-type":"","inline_featured_image":false,"footnotes":""},"categories":[158],"tags":[],"class_list":["post-3404","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-software-development"],"yoast_head":"<!-- This site is optimized with the Yoast SEO plugin v27.2 - https:\/\/yoast.com\/product\/yoast-seo-wordpress\/ -->\n<title>New version of HLL - integrating the best of breed - Prover - Engineering a Safer World<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/\" \/>\n<meta property=\"og:locale\" content=\"en_US\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"New version of HLL - integrating the best of breed - Prover - Engineering a Safer World\" \/>\n<meta property=\"og:description\" content=\"The Tool providers that support\u00a0HLL\u00a0have now agreed on the content of the next published version of HLL. It will be [...]\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/\" \/>\n<meta property=\"og:site_name\" content=\"Prover - Engineering a Safer World\" \/>\n<meta property=\"article:published_time\" content=\"2019-07-03T08:09:43+00:00\" \/>\n<meta property=\"article:modified_time\" content=\"2024-06-20T09:35:36+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp\" \/>\n\t<meta property=\"og:image:width\" content=\"1200\" \/>\n\t<meta property=\"og:image:height\" content=\"675\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/webp\" \/>\n<meta name=\"author\" content=\"Jesper Carlstr\u00f6m\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"Written by\" \/>\n\t<meta name=\"twitter:data1\" content=\"Jesper Carlstr\u00f6m\" \/>\n\t<meta name=\"twitter:label2\" content=\"Est. reading time\" \/>\n\t<meta name=\"twitter:data2\" content=\"2 minutes\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/\"},\"author\":{\"name\":\"Jesper Carlstr\u00f6m\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/d253e765d1d293a31d5709b3ad676cbb\"},\"headline\":\"New version of HLL &#8211; integrating the best of breed\",\"datePublished\":\"2019-07-03T08:09:43+00:00\",\"dateModified\":\"2024-06-20T09:35:36+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/\"},\"wordCount\":357,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp\",\"articleSection\":[\"Software development\"],\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/\",\"url\":\"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/\",\"name\":\"New version of HLL - integrating the best of breed - Prover - Engineering a Safer World\",\"isPartOf\":{\"@id\":\"https:\/\/prover.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp\",\"datePublished\":\"2019-07-03T08:09:43+00:00\",\"dateModified\":\"2024-06-20T09:35:36+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/#breadcrumb\"},\"inLanguage\":\"en-US\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/#primaryimage\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp\",\"width\":1200,\"height\":675,\"caption\":\"Prover\"},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"Home\",\"item\":\"https:\/\/www.prover.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"Software development\",\"item\":\"https:\/\/www.prover.com\/categories\/software-development\/\"},{\"@type\":\"ListItem\",\"position\":3,\"name\":\"New version of HLL &#8211; integrating the best of breed\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/prover.com\/#website\",\"url\":\"https:\/\/prover.com\/\",\"name\":\"Prover - Engineering a Safer World\",\"description\":\"Interlocking Design Automation to meet demand for complex digital train control\",\"publisher\":{\"@id\":\"https:\/\/prover.com\/#organization\"},\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/prover.com\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"en-US\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/prover.com\/#organization\",\"name\":\"Prover - Engineering a Safer World\",\"url\":\"https:\/\/prover.com\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/prover.com\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg\",\"contentUrl\":\"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg\",\"width\":222,\"height\":22,\"caption\":\"Prover - Engineering a Safer World\"},\"image\":{\"@id\":\"https:\/\/prover.com\/#\/schema\/logo\/image\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\/\/prover.com\/#\/schema\/person\/d253e765d1d293a31d5709b3ad676cbb\",\"name\":\"Jesper Carlstr\u00f6m\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"en-US\",\"@id\":\"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g\",\"caption\":\"Jesper Carlstr\u00f6m\"},\"url\":\"https:\/\/www.prover.com\/author\/jesper-carlstrom\/\"}]}<\/script>\n<!-- \/ Yoast SEO plugin. -->","yoast_head_json":{"title":"New version of HLL - integrating the best of breed - Prover - Engineering a Safer World","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/","og_locale":"en_US","og_type":"article","og_title":"New version of HLL - integrating the best of breed - Prover - Engineering a Safer World","og_description":"The Tool providers that support\u00a0HLL\u00a0have now agreed on the content of the next published version of HLL. It will be [...]","og_url":"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/","og_site_name":"Prover - Engineering a Safer World","article_published_time":"2019-07-03T08:09:43+00:00","article_modified_time":"2024-06-20T09:35:36+00:00","og_image":[{"width":1200,"height":675,"url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp","type":"image\/webp"}],"author":"Jesper Carlstr\u00f6m","twitter_card":"summary_large_image","twitter_misc":{"Written by":"Jesper Carlstr\u00f6m","Est. reading time":"2 minutes"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/#article","isPartOf":{"@id":"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/"},"author":{"name":"Jesper Carlstr\u00f6m","@id":"https:\/\/prover.com\/#\/schema\/person\/d253e765d1d293a31d5709b3ad676cbb"},"headline":"New version of HLL &#8211; integrating the best of breed","datePublished":"2019-07-03T08:09:43+00:00","dateModified":"2024-06-20T09:35:36+00:00","mainEntityOfPage":{"@id":"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/"},"wordCount":357,"commentCount":0,"publisher":{"@id":"https:\/\/prover.com\/#organization"},"image":{"@id":"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp","articleSection":["Software development"],"inLanguage":"en-US","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/","url":"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/","name":"New version of HLL - integrating the best of breed - Prover - Engineering a Safer World","isPartOf":{"@id":"https:\/\/prover.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/#primaryimage"},"image":{"@id":"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/#primaryimage"},"thumbnailUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp","datePublished":"2019-07-03T08:09:43+00:00","dateModified":"2024-06-20T09:35:36+00:00","breadcrumb":{"@id":"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/#breadcrumb"},"inLanguage":"en-US","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/"]}]},{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/#primaryimage","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/04\/Prover-logo-blue.webp","width":1200,"height":675,"caption":"Prover"},{"@type":"BreadcrumbList","@id":"https:\/\/www.prover.com\/software-development\/new-version-of-hll-integrating-the-best-of-breed\/#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"Home","item":"https:\/\/www.prover.com\/"},{"@type":"ListItem","position":2,"name":"Software development","item":"https:\/\/www.prover.com\/categories\/software-development\/"},{"@type":"ListItem","position":3,"name":"New version of HLL &#8211; integrating the best of breed"}]},{"@type":"WebSite","@id":"https:\/\/prover.com\/#website","url":"https:\/\/prover.com\/","name":"Prover - Engineering a Safer World","description":"Interlocking Design Automation to meet demand for complex digital train control","publisher":{"@id":"https:\/\/prover.com\/#organization"},"potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/prover.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"en-US"},{"@type":"Organization","@id":"https:\/\/prover.com\/#organization","name":"Prover - Engineering a Safer World","url":"https:\/\/prover.com\/","logo":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/prover.com\/#\/schema\/logo\/image\/","url":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg","contentUrl":"https:\/\/www.prover.com\/wp-content\/uploads\/2023\/01\/prover-logo.svg","width":222,"height":22,"caption":"Prover - Engineering a Safer World"},"image":{"@id":"https:\/\/prover.com\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/prover.com\/#\/schema\/person\/d253e765d1d293a31d5709b3ad676cbb","name":"Jesper Carlstr\u00f6m","image":{"@type":"ImageObject","inLanguage":"en-US","@id":"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g","url":"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/795397ba739bb6168ebbd77601ef271957d8b95496e47fad1313f40ad8befd64?s=96&d=mm&r=g","caption":"Jesper Carlstr\u00f6m"},"url":"https:\/\/www.prover.com\/author\/jesper-carlstrom\/"}]}},"_links":{"self":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/3404","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/users\/17"}],"replies":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/comments?post=3404"}],"version-history":[{"count":1,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/3404\/revisions"}],"predecessor-version":[{"id":6529,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/posts\/3404\/revisions\/6529"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media\/14931"}],"wp:attachment":[{"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/media?parent=3404"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/categories?post=3404"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.prover.com\/wp-json\/wp\/v2\/tags?post=3404"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}