From: dirk@orka.cs.kuleuven.be. (Dirk Craeynest)
Subject: Re: Press Release - AEiC 2021, Ada-Europe Reliable Softw. Technol.
Date: Thu, 10 Jun 2021 07:43:05 -0000 (UTC) [thread overview]
Message-ID: <s9sfq8$oj0$1@dont-email.me> (raw)
In-Reply-To: s9i6vt$77o$1@dont-email.me
#AEiC2021 #AdaEurope #OnlineConference #AdaProgramming
Don't miss today's keynote!
Tucker Taft will present "A sampling of Ada 2022"
http://ada-europe.org/conference2021
Abstract:
The forthcoming Ada 2022 revision of the Ada standard includes
significant new features, which together make the language more
expressive and productive in a multicore context, while enhancing
its safety and support for more complete abstractions with formal
contracts.
This talk will introduce these key new features with a series of
examples:
- parallel loops and blocks, coupled with static detection of data
races and potential blocking
- iterator syntax for incorporating filters and user-defined iterator
procedures-libraries for atomic operations, including fetch-and-add
and compare-and-swap
- aggregates, literals, images, and map-reduce for user-defined types
- libraries for arbitrary precision integer and rational arithmetic
- more expressive contracts using delta aggregates and declare
expressions
- the Jorvik profile as the next step up from the Ravenscar profile
In article <s9i6vt$77o$1@dont-email.me>,
Dirk Craeynest <dirk@orka.cs.kuleuven.be.> wrote:
[...]
>See" you at #AdaEurope's #OnlineConference soon!
>
>
>In article <s90e44$19f$1@dont-email.me>,
>Dirk Craeynest <dirk@orka.cs.kuleuven.be.> wrote:
>>-----------------------------------------------------------------------
>>
>> FINAL Call for Participation
>>
>> *** UPDATED Program Summary ***
>>
>> 25th Ada-Europe International Conference on
>> Reliable Software Technologies (AEiC 2021)
>>
>> 7-10 June 2021, Virtual Event
>>
>> www.ada-europe.org/conference2021
>>
>> *** Check out tutorials! ***
>> www.ada-europe.org/conference2021/tutorials.html
>>
>> *** Don't miss the thematic social events on Tuesday and Wednesday ***
>> *** Full Program available on the conference web site ***
>> *** Register now! ***
>>
>> #AEiC2021 #AdaEurope #AdaProgramming
>>
>>-----------------------------------------------------------------------
>>
>>Press release:
>[...]
prev parent reply other threads:[~2021-06-10 7:43 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-05-30 16:22 Press Release - AEiC 2021, Ada-Europe Reliable Softw. Technol Dirk Craeynest
2021-06-06 10:11 ` Dirk Craeynest
2021-06-10 7:43 ` Dirk Craeynest [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox