Search for Author All Reviews
	Yoshida, Nobuko     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 5 of 6 reviews       Interconnectability of session-based logical processes Toninho B., Yoshida N. ACM Transactions on Programming Languages and Systems 40(4): 1-42, 2018.  Type: Article The analysis of communication network processes is an important topic in computer science. This paper compares two formalisms for describing such networks, namely linear logic (originally derived from an investigation into the fine str...... May 6 2019     Protocol-based verification of message-passing parallel programs López H., Marques E., Martins F., Ng N., Santos C., Vasconcelos V., Yoshida N.  OOPSLA 2015 (Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, Pittsburgh, PA, Oct 25-30, 2015) 280-298, 2015.  Type: Proceedings The message-passing interface (MPI) is a parallel computation standard that is widely used, especially in scientific computing. Parallel computation exhibits specific correctness problems arising from the possibility of several kinds o...... Jun 21 2016     An observationally complete program logic for imperative higher-order functions Honda K., Yoshida N., Berger M. Theoretical Computer Science 51775-101, 2014.  Type: Article In some programming languages, variables may refer to procedures; these references may be read to call the procedures and updated to refer to new procedures. If the procedures are recursive, it has been unknown whether there exists any...... Apr 13 2015     Dynamic multirole session types Deniélou P., Yoshida N. ACM SIGPLAN Notices 46(1): 435-446, 2011.  Type: Article Session types have been introduced to provide global static descriptions of multi-process systems by specifying abstractions of the interaction patterns among a fixed set of participants. Deniélou and Yoshida’s paper...... Apr 7 2011     Formalising Java RMI with explicit code mobility Ahern A., Yoshida N.  Object oriented programming systems languages and applications (Proceedings of the 20th Annual ACM SIGPLAN Conference on Object Oriented Programming Systems Languages and Applications, San Diego, CA, Oct 16-20, 2005) 403-422, 2005.  Type: Proceedings Remote method invocation (RMI) is a frequently used technique in distributed processing. This paper proposes some optimizations related to RMI. A new Java-like language, called DJ, is proposed. The language has constructs facilitating ...... Apr 13 2006     Display 510152550100 per column
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy