Art
J-GLOBAL ID：202002218119361218   Reference number：20A2339244

Sparcl: a language for partially-invertible computation

Sparcl:部分可逆計算のための言語【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：
Proceedings of the ACM on Programming Languages

About Proceedings of the ACM on Programming Languages


Volume： 4  Issue： ICFP  Page： 1-31  Publication year： 2020 
JST Material Number： W5683A  ISSN： 2475-1421  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.
Invertibility is a fundamental...
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=20A2339244&from=J-GLOBAL&jstjournalNo=W5683A") }}
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.
entropy

About entropy

, 
interaction

About interaction

, 
semantics

About semantics

, 
*language

About language

, 
compressor

About compressor

, 
computer science

About computer science

, 
syntax

About syntax

, 
reconstitution

About reconstitution

, 
linearity

About linearity

, 
software development

About software development

, 
norm

About norm

, 
reversibility

About reversibility


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.
表現力

About 表現力

, 
オペランド

About オペランド

, 
全単射

About 全単射

, 【Automatic Indexing@JST】
Author keywords (2)：
linear types

About linear types

, 
reversible computation

About reversible computation

JST classification (1)：
JST classification
Category name(code) classified by JST.
Code theory 
(ND02030R)

About Code theory

Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
計算

About 計算

, 
言語

About 言語


Return to Previous Page

TOP

BOTTOM