Search for Author All Reviews
	Igarashi, Atsushi     Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Reviewed Title Author Publisher Published Date Descending Ascending Date Reviewed     1 - 3 of 3 reviews       A Hoare logic for GPU kernels Kojima K., Igarashi A. ACM Transactions on Computational Logic 18(1): 1-43, 2017.  Type: Article Graphics processing units (GPUs) are hardware accelerators, originally designed to facilitate the fast rendering of images. Later, they became popular for computing in performance-sensitive areas because their highly parallel structure...... Aug 8 2018     Union types for object-oriented programming Igarashi A., Nagira H.  Applied computing (Proceedings of the 2006 ACM Symposium on Applied Computing, Dijon, France, Apr 23-27, 2006) 1435-1441, 2006.  Type: Proceedings Inheritance and subtyping differ, in that inheritance enables one class to reuse an implementation of another class, and subtyping supports the substitution of an object of a subtype for an object of the supertype. In Java, two classes...... Aug 10 2006     Resource usage analysis Igarashi A., Kobayashi N. ACM Transactions on Programming Languages and Systems 27(2): 264-313, 2005.  Type: Article The use of resources is an indispensable part of most programs. Some common examples of resources include memory cells, files, locks, sockets, and devices. For a program to function correctly, accesses to resources must be properly reg...... Jul 20 2005
	Reproduction in whole or in part without permission is prohibited.   Copyright 1999-2024 ThinkLoud® Terms of Use | Privacy Policy