IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

All Technical Committee Conferences  (Searched in: Recent 10 Years)

Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Descending)
 Results 1 - 7 of 7  /   
Committee Date Time Place Paper Title / Authors Abstract Paper #
MSS, SS 2023-01-11
13:30
Osaka (Osaka, Online)
(Primary: On-site, Secondary: Online)
A formal description of a functional language with exception handling, and constrained dependency pairs for the termination proofs
Takeshi Hamaguchi, Masahiko Sakai (Nagoya Univ.) MSS2022-56 SS2022-41
This paper proposes a termination-proof method for functional programs with exception handling. First, we give a small s... [more] MSS2022-56 SS2022-41
pp.66-71
IT 2022-07-21
14:55
Okayama Okayama University of Science (Okayama, Online)
(Primary: On-site, Secondary: Online)
A Data Compression Method Where The Codeword Is a Computer Program Generating The Data
Mitsuharu Arimura (Shonan Inst. Tech.) IT2022-19
The Kolmogorov complexity of a string is defined as the shortest length of the program on a Turing machine used to repre... [more] IT2022-19
pp.18-23
SS 2019-03-05
15:25
Okinawa (Okinawa) Automatic Repair of Conditional Expressions for Functional Programs by Using Counterexamples
Ken Matsui, Ryosuke Sato, Naoyasu Ubayashi, Yasutaka Kamei (Kyushu Univ.) SS2018-80
In software development, manual bug fixing consumes much time and effort. Therefore, automated program repair methods ha... [more] SS2018-80
pp.169-174
KBSE, SS, IPSJ-SE [detail] 2018-07-19
16:55
Hokkaido (Hokkaido) Concurrent Execution Semantics of the Functional Programming Language in Continuation Passing Style Based on the Actor Model
Nagisa Kojima, Kazuyuki Shima, Akio Nakata (Hiroshima City Univ.) SS2018-14 KBSE2018-24
In our study so far, we have proposed the notation which expresses lambda calculus in Continuation-Passing Style (CPS) s... [more] SS2018-14 KBSE2018-24
pp.161-166
SS, DC 2017-10-19
14:45
Kochi Kochi City Culture-plaza CUL-PORT (Kochi) Towards a behavioral model of Yampa programs in a discrete runtime environment
Tomoki Ichihashi, Shouji Yuuen (Nagoya Univ.) SS2017-24 DC2017-23
We propse an operational model for discrete executions of Yampa programs whose behavior are defined in the dense time. Y... [more] SS2017-24 DC2017-23
pp.19-24
KBSE, SS, IPSJ-SE [detail] 2016-07-14
13:10
Hokkaido (Hokkaido) A Behavioral Model for Executing Yampa Programs
Tomoki Ichihashi, Yuuen Shouji (Nagoya Univ.) SS2016-11 KBSE2016-17
In this paper, we propose differences-embedded automata as a behavioral model of Yampa programs which is a domain-specif... [more] SS2016-11 KBSE2016-17
pp.99-104
SWIM 2016-02-26
13:05
Tokyo Kikai-Shinko-Kaikan Bldg. (Tokyo) Learning Support Environment for Functional Programming using Swift Language
Yuiitsu Aoki, Hiroki Suguri (Miyagi Univ.) SWIM2015-21
We have designed, developed and evaluated a learning support system for functional programming using web browser as user... [more] SWIM2015-21
pp.17-22
 Results 1 - 7 of 7  /   
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
Copyright and reproduction : All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)


[Return to Top Page]

[Return to IEICE Web Page]


The Institute of Electronics, Information and Communication Engineers (IEICE), Japan