senooken JP Social
  • FAQ
  • Login
senooken JP Socialはsenookenの専用分散SNSです。
  • Public

    • Public
    • Network
    • Groups
    • Popular
    • People

Conversation

Notices

  1. orange (orangeinspace@mstdn.nere9.help@mstdn.nere9.help)'s status on Thursday, 22-Nov-2018 04:51:19 JST orange orange

    (PDF) Detecting argument selection defects
    ANDREW RICE, University of Cambridge, England and Google Inc., USA
    EDWARD AFTANDILIAN, CIERA JASPAN, and EMILY JOHNSTON, Google Inc., USA
    MICHAEL PRADEL, TU Darmstadt, Germany
    YULISSA ARROYO-PAREDES, Barnard College of Columbia University, USA
    https://www.researchgate.net/publication/320388080_Detecting_argument_selection_defects

    In conversation Thursday, 22-Nov-2018 04:51:19 JST from mstdn.nere9.help permalink

    Attachments

    1. Domain not in remote thumbnail source whitelist: i1.rgstatic.net
      (PDF) Detecting argument selection defects
      from ResearchGate
      PDF | Identifier names are often used by developers to convey additional information about the meaning of a program over and above the semantics of the programming language itself. We present an algorithm that uses this information to detect argument selection defects, in which the...
    • らりお・ザ・何らかの?然㊌ソムリエ repeated this.
    • orange (orangeinspace@mstdn.nere9.help@mstdn.nere9.help)'s status on Thursday, 22-Nov-2018 04:59:14 JST orange orange

      INTRODUCTIONをグーグル翻訳で斜め読みしただけだからよくわかんないけど(><;)、Ada的発想で言うなら基本型(? 組み込み型?)であるString型そのまま使うんじゃなく型作れ!><ってなるんでは?><(それじゃだめなの?><)

      In conversation Thursday, 22-Nov-2018 04:59:14 JST permalink
      らりお・ザ・何らかの?然㊌ソムリエ repeated this.

Feeds

  • Activity Streams
  • RSS 2.0
  • Atom
  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

senooken JP Social is a social network, courtesy of senooken. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All senooken JP Social content and data are available under the Creative Commons Attribution 3.0 license.