Art
J-GLOBAL ID：202002226574812852   Reference number：20A0852587

Embedding invertible languages with binders: a case of the FliPpr language

結合器による可逆言語の埋め込み:FLIPPR言語の事例【JST・京大機械翻訳】
Author (2)：
Matsuda Kazutaka

About Matsuda Kazutaka

(Tohoku University, Japan)

About Tohoku University, Japan

, 
Wang Meng

About Wang Meng

(University of Bristol, UK)

About University of Bristol, UK


Material：
ACM SIGPLAN Notices (Association for Computing Machinery. Special Interest Group on Programming Languages)  (SIGPLAN Notices)

About ACM SIGPLAN Notices (Association for Computing Machinery. Special Interest Group on Programming Languages)


Volume： 53  Issue： 7  Page： 158-171  Publication year： 2018 
JST Material Number： D0915A  ISSN： 0362-1340  Document type： Article
Article type： 原著論文  Country of issue： United States (USA)  Language： ENGLISH (EN)
Abstract/Point：
Abstract/Point
Japanese summary of the article(about several hundred characters).
All summary is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
This paper describes a new emb...
Register(free) or Log In to access 

Please login to MyJ-GLOBAL to see full information. You also need to select "Display abstract, etc. of medical articles" in your MyJ-GLOBAL account page in order to see abstracts, etc. of medical articles.

   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=20A0852587&from=J-GLOBAL&jstjournalNo=D0915A") }}
Thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
coupler(signal)

About coupler(signal)

, 
interoperability

About interoperability

, 
printing(graphic arts)

About printing(graphic arts)

, 
programming language

About programming language

, 
*language

About language

, 
syntactic analysis

About syntactic analysis

, 
formulation

About formulation


Semi thesaurus term：
Thesaurus term/Semi thesaurus term
Keywords indexed to the article.
All keywords is available on JDreamIII(charged).
On J-GLOBAL, this item will be available after more than half a year after the record posted. In addtion, medical articles require to login to MyJ-GLOBAL.
Haskell

About Haskell

, 【Automatic Indexing@JST】
Author keywords (4)：
EDSL

About EDSL

, 
Parsing

About Parsing

, 
Pretty-Printing

About Pretty-Printing

, 
Program Inversion

About Program Inversion

JST classification (2)：
JST classification
Category name(code) classified by JST.
Computer system development 
(JD02010R)

About Computer system development

,  Applied programming languages 
(JD03052Y)

About Applied programming languages

Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
結合器

About 結合器

, 
言語

About 言語

, 
埋め込み

About 埋め込み


Return to Previous Page

TOP

BOTTOM