220 28152 article Path: news.gmane.org!.POSTED!not-for-mail From: Patrice Roy Newsgroups: gmane.comp.lang.c++.isocpp.proposals Subject: Re: Procedural Function Interfaces Date: Wed, 7 Sep 2016 23:26:51 -0400 Lines: 172 Approved: news@gmane.org Message-ID: References: <52f1577b-9ee8-4ddc-b6ce-9e296cef19c6@isocpp.org> Reply-To: std-proposals@isocpp.org NNTP-Posting-Host: blaine.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=001a114473a0d3493c053bf69999 X-Trace: blaine.gmane.org 1473305224 28153 195.159.176.226 (8 Sep 2016 03:27:04 GMT) X-Complaints-To: usenet@blaine.gmane.org NNTP-Posting-Date: Thu, 8 Sep 2016 03:27:04 +0000 (UTC) To: std-proposals@isocpp.org Original-X-From: std-proposals+bncBDSZXMHWZIKBB7FUYO7AKGQE7NQE3JI@isocpp.org Thu Sep 08 05:26:59 2016 Return-path: Envelope-to: gclcip-std-proposals@m.gmane.org Original-Received: from mail-yw0-f199.google.com ([209.85.161.199]) by blaine.gmane.org with esmtp (Exim 4.84_2) (envelope-from ) id 1bhpzI-0006Az-OP for gclcip-std-proposals@m.gmane.org; Thu, 08 Sep 2016 05:26:52 +0200 Original-Received: by mail-yw0-f199.google.com with SMTP id u82sf68332721ywc.0 for ; Wed, 07 Sep 2016 20:26:54 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=isocpp-org.20150623.gappssmtp.com; s=20150623; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :x-original-sender:x-original-authentication-results:reply-to :precedence:mailing-list:list-id:x-spam-checked-in-group:list-post :list-help:list-archive:list-subscribe:list-unsubscribe; bh=F+nib0Tq/hmR8SU72sB0zgXaCDdwy25IU3+7mH7/1Qs=; b=lNTdfUwRlO9areBnHicf3KAan5VLZv2R3yQuFNrDgwtxM38vYvUwLMMiGxrO9izzWX 2sL6tnxOLeABYyl3d0lvnop7/9DC1VYJkkKIg5puS8ZSeT1yHr5SQn8sfvdj7YfFwtym 7W0vjJknFgnFE2OhhpLipBHV+Hq8XKm6/Rq/d5BxJrgtyDDjp3/nzTPTFwAg1+60k2Xn +yS85fe4hHwNBz+06LHOMTxaXcImevjpvMaLzXAyKhoP9WCLtSsDUvujiFPB+dpRC43V Ix0oAUWOVEgBCHAE6Ex7YDpjWUaR4IIbwBZXJcku62mzz1DPbVT7NVVA0VJadhF4JoXT pg2g== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:in-reply-to:references:from:date :message-id:subject:to:x-original-sender :x-original-authentication-results:reply-to:precedence:mailing-list :list-id:x-spam-checked-in-group:list-post:list-help:list-archive :list-subscribe:list-unsubscribe; bh=F+nib0Tq/hmR8SU72sB0zgXaCDdwy25IU3+7mH7/1Qs=; b=IOCJ+41T69Q+nJ03ITzqHRwuvCI8AMU3OieZ4Ctd7iWb3EaQ7lryy+fAXVjfqDl6XL rS7TR8ybMqueLJiFeZFWUMxSGCMA7sh5HRJsAH3ysbQbGg7xbeWHiBVxkxtQ+4apcz6s O676ZwJFiUu//T5Ua7W+8rh26+mlJY8EeQamcOQcsX+ZnS/jvETsYtW74NPxUMC1D+0/ yhMNBMSWz+52HGZg8PoF/1zg1rl/wq4rGI2s6JYsargSj513WUlNvFCZCOTghL6rOrul IVSTK+eFz8UVtXHW5TdxJBQYG360aFgt8Yr1sTuKI4uPk8ZIDkO7TTjuHJ8YaKl6EnpH Mwjg== X-Gm-Message-State: AE9vXwNQxsXUcsWOL2aibDm8sFJaevG10e2I5jV1JPqdUK9FoYrKstEeptHKtr6153RWzg== X-Received: by 10.129.108.149 with SMTP id h143mr41477944ywc.30.1473305213903; Wed, 07 Sep 2016 20:26:53 -0700 (PDT) X-BeenThere: std-proposals@isocpp.org Original-Received: by 10.157.32.38 with SMTP id n35ls1828167ota.27.gmail; Wed, 07 Sep 2016 20:26:52 -0700 (PDT) X-Received: by 10.176.68.162 with SMTP id n31mr30633770uan.52.1473305212721; Wed, 07 Sep 2016 20:26:52 -0700 (PDT) Original-Received: from mail-vk0-x232.google.com (mail-vk0-x232.google.com. [2607:f8b0:400c:c05::232]) by mx.google.com with ESMTPS id b77si12531754vkf.0.2016.09.07.20.26.52 for (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Wed, 07 Sep 2016 20:26:52 -0700 (PDT) Received-SPF: pass (google.com: domain of patricer@gmail.com designates 2607:f8b0:400c:c05::232 as permitted sender) client-ip=2607:f8b0:400c:c05::232; Original-Received: by mail-vk0-x232.google.com with SMTP id f76so30224039vke.0 for ; Wed, 07 Sep 2016 20:26:52 -0700 (PDT) X-Received: by 10.31.51.75 with SMTP id z72mr31446172vkz.75.1473305212305; Wed, 07 Sep 2016 20:26:52 -0700 (PDT) Original-Received: by 10.159.53.7 with HTTP; Wed, 7 Sep 2016 20:26:51 -0700 (PDT) In-Reply-To: <52f1577b-9ee8-4ddc-b6ce-9e296cef19c6@isocpp.org> X-Original-Sender: patricer@gmail.com X-Original-Authentication-Results: mx.google.com; dkim=pass header.i=@gmail.com; spf=pass (google.com: domain of patricer@gmail.com designates 2607:f8b0:400c:c05::232 as permitted sender) smtp.mailfrom=patricer@gmail.com; dmarc=pass (p=NONE dis=NONE) header.from=gmail.com Precedence: list Mailing-list: list std-proposals@isocpp.org; contact std-proposals+owners@isocpp.org List-ID: X-Google-Group-Id: 399137483710 List-Post: , List-Help: , List-Archive: List-Subscribe: , List-Unsubscribe: , Xref: news.gmane.org gmane.comp.lang.c++.isocpp.proposals:28152 Archived-At: --001a114473a0d3493c053bf69999 Content-Type: text/plain; charset=UTF-8 How nice of you. I'll gladly read it (although it make take a few weeks due to the pre-CppCon workload :) ). Thanks! 2016-09-07 22:45 GMT-04:00 : > Hello world, > > > At C++now this year, I gave a lecture, "What is the basic interface?" In > it, I covered some of the problems involved in defining formal interfaces > for functions in a procedural language like C++, with a focus on the parts > of a function's interface that usually go without saying. > > > The talk was well-received, and afterward, a number of people asked me to > write a paper on the notation I used in the talk -- essentially, an > extension to C++ allowing function interfaces to be specified procedurally, > in sufficient detail to prove local correctness. > > > This is, of course, no small undertaking. What I've written so far is more > outline than concrete proposal, and even so, it is rather lengthy and omits > important details. But I present it here for your consideration: > > > > > > I'll be reprising "What is the basic interface?" at CppCon this month, but > meanwhile, video of my C++now presentation is on YouTube. The slides are > available separately on github. The presentation may help with > understanding the paper: it provides context, and it may be better > organized. (The video ends unexpectedly; we thought we could keep filming > after the break, but we were wrong.) > > > > > blob/master/03_friday/what_is_the_basic_interface.pdf> > > > Thank you, > > --Lisa Lippincott > > -- > You received this message because you are subscribed to the Google Groups > "ISO C++ Standard - Future Proposals" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to std-proposals+unsubscribe@isocpp.org. > To post to this group, send email to std-proposals@isocpp.org. > To view this discussion on the web visit https://groups.google.com/a/ > isocpp.org/d/msgid/std-proposals/52f1577b-9ee8-4ddc- > b6ce-9e296cef19c6%40isocpp.org > > . > -- You received this message because you are subscribed to the Google Groups "ISO C++ Standard - Future Proposals" group. To unsubscribe from this group and stop receiving emails from it, send an email to std-proposals+unsubscribe@isocpp.org. To post to this group, send email to std-proposals@isocpp.org. To view this discussion on the web visit https://groups.google.com/a/isocpp.org/d/msgid/std-proposals/CAKiZDp1GNuiOnqneRtazfGnS2cb%2BZuDChUigS5Oj9HuEhAGHpQ%40mail.gmail.com. --001a114473a0d3493c053bf69999 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable
How nice of you. I'll gladly read it (although it make= take a few weeks due to the pre-CppCon workload :) ). Thanks!

2016-09-07 22:45 GMT= -04:00 <lisa.e.lippincott@gmail.com>:

Hello world,


At C++now this year, I gave a lecture, "What is the basi= c interface?" In it, I covered some of the problems involved in defini= ng formal interfaces for functions in a procedural language like C++, with = a focus on the parts of a function's interface that usually go without = saying.


The talk was well-received, and afterward, a number of people= asked me to write a paper on the notation I used in the talk -- essentiall= y, an extension to C++ allowing function interfaces to be specified procedu= rally, in sufficient detail to prove local correctness.


This is, of course, no small undertaking. What I've writt= en so far is more outline than concrete proposal, and even so, it is rather= lengthy and omits important details. But I present it here for your consid= eration:=C2=A0


<https://drive.google.com/open?id= =3D0B4pQ0YXYmdWRYnNaRC1Vb1pmakU>


I'll be reprising "What is the basic interface?"= ; at CppCon this month, but meanwhile, video of my C++now presentation is o= n YouTube. The slides are available separately on github. The presentation = may help with understanding the paper: it provides context, and it may be b= etter organized. (The video ends unexpectedly; we thought we could keep fil= ming after the break, but we were wrong.)


<https://youtu.be/1b_W23lyTPw>

<https://github.com/boostcon/cppnow_presentations_2016/blob/= master/03_friday/what_is_the_basic_interface.pdf>


Thank you,

=C2=A0=C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0 =C2=A0= --Lisa Lippincott

<= br>

--
You received this message because you are subscribed to the Google Groups &= quot;ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to std-proposals+unsubscribe@isocpp.org.
To post to this group, send email to std-proposals@isocpp.org.
To view this discussion on the web visit = https://groups.google.com/a/isocpp.org/d/msgid/std-proposals/52f1= 577b-9ee8-4ddc-b6ce-9e296cef19c6%40isocpp.org.

--
You received this message because you are subscribed to the Google Groups &= quot;ISO C++ Standard - Future Proposals" group.
To unsubscribe from this group and stop receiving emails from it, send an e= mail to std-proposa= ls+unsubscribe@isocpp.org.
To post to this group, send email to std-proposals@isocpp.org.
To view this discussion on the web visit h= ttps://groups.google.com/a/isocpp.org/d/msgid/std-proposals/CAKiZDp1GNuiOnq= neRtazfGnS2cb%2BZuDChUigS5Oj9HuEhAGHpQ%40mail.gmail.com.
--001a114473a0d3493c053bf69999-- .