Art
J-GLOBAL ID：200902015530542148   Reference number：88A0436073

Towards fully abstract semantics for local variables.

局所変数の完全抽象意味論に向けて
Author (2)：
MEYER A R

About MEYER A R

(MIT, MA, USA)

About MIT, MA, USA

, 
SIEBER K

About SIEBER K

(MIT, MA, USA)

About MIT, MA, USA


Material：
Conference Record of the Annual ACM Symposium on Principles of Programming Languages  (Conference Record of the ACM Symposium on Principles of Programming Languages (Association for Computing Machinery))

About Conference Record of the Annual ACM Symposium on Principles of Programming Languages


Volume： 15th  Page： 191-203  Publication year： 1988 
JST Material Number： D0069B  Document type： Proceedings
Article type： 短報  Country of issue： United States (USA)  Language： ENGLISH (EN)
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.
semantics

About semantics

,...
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.
ALGOL

About ALGOL


   To see more with JDream III (charged).   {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=88A0436073&from=J-GLOBAL&jstjournalNo=D0069B") }}
JST classification (1)：
JST classification
Category name(code) classified by JST.
Theory of computation 
(JB02000A)

About Theory of computation

Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
抽象

About 抽象

, 
意味論

About 意味論


Return to Previous Page

TOP

BOTTOM