Browse

ftp://camille.is.s.u-tokyo.ac.jp (155)

	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/rexfool-actr-a4.ps.gz, 19901001 To appear in Proc. REX School/Workshop on Foundations of Object-Oriented Languages, Noordwijkerhout, the Netherlands, May, 1990, Lecture Notes in Computer Science (forthcoming) An Actor-Based Metalevel Architecture for Group-Wide Reflection Takuo Watanabe Department of Information Science Tokyo
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/transaction.ps.Z, 19910809 Linguistic Supports for Development of Distributed Organizational Information Systems in Object-Oriented Concurrent Computation Frameworks Ken Wakita and Aki Yonezawa Department of Information Science, the University of Tokyo Keywords and Phrases Concurrency Control, Nested Transaction, CSCW
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers-japanese/jssst91-rbcl.ps.gz, 19910913 X->foo(); (script (=> ...)) send C++ object RbCl object Baselevel Metalevel LobjectLport Lc_to_RbCl 3: !""#$ RbCl %&'()*+,- 4.2 .//0123456789:;27<= > 3 @ABBCDEFGHI RbCl CDEFGHJKLMNE OPQRSTUVOWXRSTYZN^ ABBCDEF GH @ RbCl CDEFGHO_`abXRSTcdJefTI@ KgZ]^ @hijklmnopgNqiTrTKgZ]C
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/sse89-grc-a4.ps.gz, 19910913 D.P.Friedman, D.S.Wise: Reference counting can manage the circular environments of mutual recursion,Inf.Process.Lett.,8(1) pages 921-930, January 1979. D.G.Bobrow: Managing Reentrant Structures Using Reference Counts, ACM Trans. on Programming Languages and Systems, 2(3) pages 269-273, July
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/supercomputing92-abcl-a4.ps.gz, 19920501 ABCL/onEM-4: A New Software/Hardware Architecture for Object-Oriented Concurrent Computing on an Extended Dataflow Supercomputer Masahiro Yasugi Satoshi Matsuoka Akinori Yonezawa Department of Information Science, The University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo 113, Japan
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/uist91-trip2.ps.Z, 19920501 A General Framework for Bi-Directional Translation between
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/supercomputing92-abcl-letter.ps.gz, 19920501 extremely well-suited for concurrent OO computation when combined with our software architectural technologies. As we have indicated, compared to our other implementation work of ABCL on a more conventional multicomputer based on conventional SPARC chips (Fujitsu AP1000), we have been able to achieve
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/woos91-gc-a4.ps.Z, 19920514 A Fast Parallel Conservative Garbage Collector for Concurrent Object-Oriented Systems \| Extended Abstract \| Satoshi Matsuoka, Shin'ichi Furuso, and Akinori Yonezawa Department of Information Science The University of Tokyo fmatsu,furuso,yonezawag@is.s.u-tokyo.ac.jp
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/oopsla90-wkshop-metalevel-a4.ps.Z, 19920514 Metalevel Solution to Inheritance Anomaly in Concurrent Object-Oriented Languages \| Extended Abstract \| Satoshi Matsuokay Akinori Yonezawa Department of Information Science The University of Tokyo August 1, 1990 1 Introduction 1.1 OOCP, Reflection, and Professional Computing In the very near future,
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/obcp91-reflective-a4.ps.Z, 19920514 Object-Oriented Concurrent Reflective Architectures Satoshi Matsuoka Takuo Watanabe Yuuji Ichisugi Akinori Yonezawa Department of Information Science, The University of Tokyoy
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/ecoop91-abclr2-a4.ps.gz, 19920514 Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming Satoshi Matsuoka Takuo Watanabe Akinori Yonezawa Department of Information Science, The University of Tokyoy Keywords and Phrases: Actors, Object-Based Concurrency, Object Groups, Reflection, Resource Management,
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/woos91-gc-letter.ps.Z, 19920515 A Fast Parallel Conservative Garbage Collector for Concurrent Object-Oriented Systems \| Extended Abstract \| Satoshi Matsuoka, Shin'ichi Furuso, and Akinori Yonezawa Department of Information Science The University of Tokyo fmatsu,furuso,yonezawag@is.s.u-tokyo.ac.jp
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/ecoop91-abclr2-letter.ps.gz, 19920515 Hybrid Group Reflective Architecture for Object-Oriented Concurrent Reflective Programming Satoshi Matsuoka Takuo Watanabe Akinori Yonezawa Department of Information Science, The University of Tokyoy Keywords and Phrases: Actors, Object-Based Concurrency, Object Groups, Reflection, Resource Management,
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/oopsla88-tuplespace-a4.ps.gz, 19920515 1 Using Tuple Space Communication in Distributed Object-Oriented Languages (In Proceedings of ACM OOPSLA 88, Special Issue of SIGPLAN Notices, Vol. 23-11, 1988 pp.276 284) Satoshi MATSUOKA matsu@is.s.u-tokyo.ac.jp Satoru KAWAI* (*Currently with Department of Computer and Graphic Sciences, College of
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/obcp91-reflective-letter.ps.Z, 19920515 Object-Oriented Concurrent Reflective Architectures Satoshi Matsuoka Takuo Watanabe Yuuji Ichisugi Akinori Yonezawa Department of Information Science, The University of Tokyoy
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/lpc91-parcs-a4.ps.Z, 19920516 Control in Parallel Constraint Logic Programming Naoki Kobayashi koba@is.s.u-tokyo.ac.jp Satoshi Matsuoka matsu@is.s.u-tokyo.ac.jp Akinori Yonezawa yonezawa@is.s.u-tokyo.ac.jp Department of Information Science, the University of Tokyo 7-3-1, Hongo, Bunkyo-ku, Tokyo, JAPAN, 113
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/oopsla92-abclr2-a4.ps.Z, 19920625 Object-Oriented Concurrent Reflective Languages can be Implemented Efficiently Hidehiko Masuhara Satoshi Matsuoka Takuo Watanabez Akinori Yonezawa Department of Information Science, The Universtiy of Tokyoy Keywords and Phrases: Object-Based Concurrency, Object Groups, Reflection, Hybrid Group
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/oopsla92-abclr2-letter.ps.Z, 19920625 Object-Oriented Concurrent Reflective Languages can be Implemented Efficiently Hidehiko Masuhara Satoshi Matsuoka Takuo Watanabez Akinori Yonezawa Department of Information Science, The Universtiy of Tokyoy Keywords and Phrases: Object-Based Concurrency, Object Groups, Reflection, Hybrid Group
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/vl92-oak-a4.ps.Z, 19920729 Creating Visual Objects by Direct Manipulation Toshio TONOUCHIy Ken NAKAYAMA Satoshi MATSUOKAz Department of Information Science The University of Tokyo Satoru KAWAI Department of Graphic and Computer Sciences The University of Tokyo
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/vl92-oak-letter.ps.Z, 19920729 Creating Visual Objects by Direct Manipulation Toshio TONOUCHIy Ken NAKAYAMA Satoshi MATSUOKAz Department of Information Science The University of Tokyo Satoru KAWAI Department of Graphic and Computer Sciences The University of Tokyo
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers-japanese/jspp92-efficient-implementation-of-oocp-on-multicomputer.ps.Z, 19920806 9;52<7:-4=. @083/16AECD.F>GBH I KMO P R UW XL YJSZ NZT QV Z y _ z p fl K AP1000 mr O .aU] ABCL ri_ p> qjOl la . O .a & rj p e 6fpO K r> qROl, K , K n O r po m O K K rRm, Wr P va qi m, Wr j 3 s mgpQ . K q a s pW, n
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers-japanese/jssst-oopsla89-sanka-report.ps.gz, 19920807 OOPSLA'89 24301 5" 8 ;< @=9C:CD6E#C# $F 7G oe >=!oOE ss <=! OAEOae 1990 B 3 > 15 A 1 OOPSLA'89 +)'* OOPSLA (Object-Oriented Programming: Systems, Languages, and Applications) S ACM/SIGPLAN p W r fi fl ~S 1989 G OOPSLA'89 10 v 2{6 5 Cz} fi y New Orleans T Hyatt Regency Hotel } n wT ~ 4 pb l S W ek p} . r
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers-japanese/jspp92-PARCS-on-multicomputer.ps.Z, 19920808 oOE!"OAE#%&ae MIMD #oOE$') oeae(* +- .1 37 ,8 4 9 <> 1@y A :060;5= 0 z /2 BFlFzY` fl PARCS lMIMD 2 3^ plss ljE lff !
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers-japanese/jssst92-programming-ui-by-visual-examples-a4.ps.Z, 19920811 fl Programming Graphical Interfaces by Visual Examples Ken MIYASHITA Satoshi MATSUOKA fi Shin TAKAHASHI y Akinori YONEZAWA yy Tomihisa KAMADA y OE- =-L `T - Department of Information Science, The University of Tokyo E-mail: fmiyasita,matsu,takahasi,yonezawag@is.s.u-tokyo.ac.jp yyACCESS % Research and
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/uist92-trip3-a4.ps.Z, 19920825 (To Appear in UIST '92) Declarative Programming of Graphical Interfaces by Visual Examples Ken Miyashita Satoshi Matsuoka Shin Takahashi Akinori Yonezawa Dept. of Information Science, University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113 Japan Tomihisa Kamaday Research and Development, ACCESS CO.,LTD.
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/uist92-trip3-letter.ps.Z, 19920825 (To Appear in UIST '92) Declarative Programming of Graphical Interfaces by Visual Examples Ken Miyashita Satoshi Matsuoka Shin Takahashi Akinori Yonezawa Dept. of Information Science, University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113 Japan Tomihisa Kamaday Research and Development, ACCESS CO.,LTD.
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/TR92-nbody-a4.ps.Z, 19920929 An Object-Oriented Parallel Algorithm for the Newtonian N-Body Problem Masahiro Yasugi Akinori Yonezawa
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/TR92-nbody-letter.ps.Z, 19920929 An Object-Oriented Parallel Algorithm for the Newtonian N-Body Problem Masahiro Yasugi Akinori Yonezawa
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/tois-trip2-a4.ps.Z, 19921012 A General Framework for Bi-Directional Translation between
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/tois-trip2-letter.ps.Z, 19921012 A General Framework for Bi-Directional Translation between
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/imsa92-rbcl-letter.ps.gz, 19921027 RbCl: A Reflective Object-Oriented Concurrent Language without a Run-time Kernel Yuuji Ichisugi, Satoshi Matsuoka, Akinori Yonezawa Department of Information Science, The University of Tokyo
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/imsa92-rbcl-a4.ps.gz, 19921027 RbCl: A Reflective Object-Oriented Concurrent Language without a Run-time Kernel Yuuji Ichisugi, Satoshi Matsuoka, Akinori Yonezawa Department of Information Science, The University of Tokyo
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers-japanese/jssst92-PARCS-approximation-a4.ps.gz, 19921029 fl fi Determinacy Analysis by Constraint Approximation in Parallel Constraint Logic Programming Naoki KOBAYASHI Satoshi MATSUOKA Akinori YONEZAWA oe /K; Department of Information Science, The University of Tokyo V W 6$R_&oe kqPARCSIg w` I\| ss=I AE7C R_ HVY S I =]fi 9Y!PARCSH-CJ ]R_I6$I9ffiE7CEW, soIO
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/hicss93-modelcheck-letter.ps.gz, 19930226 Model Checking of Control-Finite CSP Programs Kenichi Asai Satoshi Matsuoka Akinori Yonezawa Department of Information Science, Faculty of Science, The University of Tokyo 7-3-1 Hongou, Bunkyo-Ku, Tokyo, 113, Japan fasai,matsu,yonezawag@is.s.u-tokyo.ac.jp
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/hicss93-modelcheck-a4.ps.gz, 19930226 Model Checking of Control-Finite CSP Programs Kenichi Asai Satoshi Matsuoka Akinori Yonezawa Department of Information Science, Faculty of Science, The University of Tokyo 7-3-1 Hongou, Bunkyo-Ku, Tokyo, 113, Japan fasai,matsu,yonezawag@is.s.u-tokyo.ac.jp
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/TR93-selective-types-a4.ps.gz, 19930323 Typing of Selective >=-Calculus Jacques Garrigue The University of Tokyo Department of Information Science 7-3-1 Hongo, Bunkyo-ku Tokyo 113, Japan garrigue@is.s.u-tokyo.ac.jp Hassan Ait Kaci Digital Equipment Corporation Paris Research Laboratory 85, avenue Victor Hugo 92500 Rueil-Malmaison, France
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/TR93-selective-types-letter.ps.gz, 19930323 Typing of Selective >=-Calculus Jacques Garrigue The University of Tokyo Department of Information Science 7-3-1 Hongo, Bunkyo-ku Tokyo 113, Japan garrigue@is.s.u-tokyo.ac.jp Hassan Ait Kaci Digital Equipment Corporation Paris Research Laboratory 85, avenue Victor Hugo 92500 Rueil-Malmaison, France
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/TR92-acl-a4.ps.gz, 19930406 Asynchronous Communication Model Based on Linear Logic Naoki Kobayashi Akinori Yonezawa Department of Information Science the University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113 Japan fkoba, yonezawag@is.s.u-tokyo.ac.jp TEL +81-3-5800-6913 FAX +81-3-5689-4365 July 1992
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/TR89-synch-constraint-letter.ps.Z, 19930409 Synchronization Constraints With Inheritance: What Is Not Possible \| So What Is Satoshi Matsuoka, Ken Wakita, and Akinori Yonezawa Department of Information Sciencey The University of Tokyo Keywords and Phrases Concurrency, Synchronization Constraints Inheritance, Encapsulation
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/matsuoka-thesis-letter.ps.Z, 19930411 Language Features for Re-use and Extensibility in Concurrent Object-Oriented Programming Languages \| THESIS DRAFT: DO NOT DISTRIBUTE \| Satoshi Matsuoka Department of Information Science, The University of Tokyo 1 April 8, 1993 1Physical mail address: 7-3-1 Hongo, Bunkyo-ku, Tokyo 113, Japan. Phone
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/matsuoka-thesis-a4.ps.Z, 19930411 Language Features for Re-use and Extensibility in Concurrent Object-Oriented Programming Languages \| THESIS DRAFT: DO NOT DISTRIBUTE \| Satoshi Matsuoka Department of Information Science, The University of Tokyo 1 April 8, 1993 1Physical mail address: 7-3-1 Hongo, Bunkyo-ku, Tokyo 113, Japan. Phone
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/ppopp93-multicomputer-a4.ps.gz, 19930506 An Efficient Implementation Scheme of Concurrent Object-Oriented Languages on Stock Multicomputers Kenjiro Taura Satoshi Matsuoka Akinori Yonezawa Department of Information Science, The University of Tokyo
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/ppopp93-multicomputer-letter.ps.gz, 19930506 An Efficient Implementation Scheme of Concurrent Object-Oriented Languages on Stock Multicomputers Kenjiro Taura Satoshi Matsuoka Akinori Yonezawa Department of Information Science, The University of Tokyo
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/jspp93-locality-letter.ps.gz, 19930506 Incorporating Locality Management into Garbage Collection in Massively Parallel Object-Oriented Languages Kenjiro Taura Satoshi Matsuoka Akinori Yonezawa Department of Information Science, Faculty of Science, The University of Tokyo y
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/jspp93-locality-a4.ps.gz, 19930506 Incorporating Locality Management into Garbage Collection in Massively Parallel Object-Oriented Languages Kenjiro Taura Satoshi Matsuoka Akinori Yonezawa Department of Information Science, Faculty of Science, The University of Tokyo y
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers-japanese/jssst93-PARCS-extension-a4.ps.gz, 19930623 } ~ B A Applying Parallel Constraint Logic Programming Language to Optimization Problems KONNO Kazuhiro NAGATSUKA Masaaki KOBAYASHI Naoki MATSUOKA Satoshi YONEZAWA Akinori Department of Information Science, The University of Tokyo fkaz, nagatuka, koba, matsu, yonezawag@is.s.u-tokyo.ac.jp ah oe #)
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/oopsla93-concurrency-reuse-a4.ps.gz, 19930628 Highly Efficient and Encapsulated Re-use of Synchronization Code in Concurrent Object-Oriented Languages Satoshi Matsuoka Kenjiro Taura Akinori Yonezawa Department of Information Science, The University of Tokyo fmatsu,tau,yonezawag@is.s.u-tokyo.ac.jp
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/oopsla93-concurrency-reuse-letter.ps.gz, 19930628 Highly Efficient and Encapsulated Re-use of Synchronization Code in Concurrent Object-Oriented Languages Satoshi Matsuoka Kenjiro Taura Akinori Yonezawa Department of Information Science, The University of Tokyo fmatsu,tau,yonezawag@is.s.u-tokyo.ac.jp
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/ilps93-acl-a4.ps.gz, 19930901 ACL { A Concurrent Linear Logic Pro- gramming Paradigm Naoki Kobayashi and Akinori Yonezawa Department of Information Science University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113 Japan fkoba, yonezawag@is.s.u-tokyo.ac.jp
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/fsttcs93-selective-a4.ps.gz, 19931119 Label-Selective >=-Calculus Syntax and Confluencey Hassan A t-Kaci1 and Jacques Garrigue2 1 Digital Equipment Corporation, Paris Research Laboratory 85 Avenue Victor Hugo, 92500 Rueil-Malmaison, France 2 Department of Information Science, The University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo 113, Japan
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/popl94-typed-sel-a4.ps.gz, 19931119 The Typed Polymorphic Label-Selective >=-Calculus Jacques Garrigue garrigue@is.s.u-tokyo.ac.jp Department of Information Science The University of Tokyo 7-3-1 Hongo, Bunkyo-ku Tokyo 113, Japan Hassan A t-Kaci hak@prl.dec.com Digital Equipment Corporation Paris Research Laboratory 85 Avenue Victor Hugo
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/wooc93-obj-trans-a4.ps.gz, 19931119 "#$%*),-+&('/31.02)45 Introducing Stateful Objects in a Transformation Calculus Jacques Garrigue Summary. When representing objects in a strongly typed functional language, two problems appear. One is to express inheritance, the other is to represent states. A lot of work has already been done on the
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/popl94-typed-sel-letter.ps.gz, 19931201 The Typed Polymorphic Label-Selective >=-Calculus Jacques Garrigue garrigue@is.s.u-tokyo.ac.jp Department of Information Science The University of Tokyo 7-3-1 Hongo, Bunkyo-ku Tokyo 113, Japan Hassan A t-Kaci hak@prl.dec.com Digital Equipment Corporation Paris Research Laboratory 85 Avenue Victor Hugo
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/kyoto-u93-transformations-a4.ps.gz, 19940106 The Transformation Calculus and its Typing Jacques Garrigue The University of Tokyo, Faculty of Science, Dept. of Information Science, Yonezawa Lab. Hongo 7-3-1, Bunkyo-ku, TOKYO 113 garrigue@is.s.u-tokyo.ac.jp November 19, 1993
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/TR93-acl-equivalence-a4.ps.gz, 19940216 Logical, Testing, and Observation Equivalence for Processes in a Linear Logic Programming Naoki Kobayashi Akinori Yonezawa Department of Information Science University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113 Japan fkoba, yonezawa g@is.s.u-tokyo.ac.jp TEL +81-3-5800-6913 FAX +81-3-5689-4365
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/draft-acl-action-a4.ps.gz, 19940418 Reasoning on Actions and Change in a Linear Logic Programming Naoki Kobayashi Akinori Yonezawa Department of Information Science the University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo 113, Japan fkoba, yonezawag@is.s.u-tokyo.ac.jp TEL +81-3-5800-6913 FAX +81-3-5689-4365
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/TR94-09-transfo-a4.ps.gz, 19940503 TECHNICAL REPORT 94-09 The Transformation Calculus Jacques Garrigue April 25, 1994 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku Tokyo, 113 Japan TECHNICAL REPORT 94-09 TITLE The Transformation Calculus AUTHORS Jacques Garrigue KEY WORDS AND PHRASES
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/TR94-09-transfo-letter.ps.gz, 19940503 TECHNICAL REPORT 94-09 The Transformation Calculus Jacques Garrigue April 25, 1994 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku Tokyo, 113 Japan TECHNICAL REPORT 94-09 TITLE The Transformation Calculus AUTHORS Jacques Garrigue KEY WORDS AND PHRASES
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/tacs94-oo-type-a4.ps.gz, 19940516 A Complete Type Inference System for Subtyped Recursive Types Tatsurou Sekiguchi and Akinori Yonezawa Department of Information Science, University of Tokyo, 7-3-1 Hongo, Bunkyo-ku, Tokyo, Japan 113
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/jspp94-stackthreads-letter.ps.gz, 19940524 StackThreads: An Abstract Machine for Scheduling Fine-Grain Threads on Stock CPUs Kenjiro Taura Satoshi Matsuoka Akinori Yonezawa The University of Tokyo y
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/jspp94-stackthreads-a4.ps.gz, 19940524 StackThreads: An Abstract Machine for Scheduling Fine-Grain Threads on Stock CPUs Kenjiro Taura Satoshi Matsuoka Akinori Yonezawa The University of Tokyo y
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/masuhara-masterthesis-a4.ps.gz, 19940527 STUDY ON A REFLECTIVE ARCHITECTURE TO PROVIDE EFFICIENT DYNAMIC RESOURCE MANAGEMENT FOR HIGHLY-PARALLEL OBJECT-ORIENTED APPLICATIONS .159B>8;AI-7CF
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/masuhara-masterthesis-letter.ps.gz, 19940527 STUDY ON A REFLECTIVE ARCHITECTURE TO PROVIDE EFFICIENT DYNAMIC RESOURCE MANAGEMENT FOR HIGHLY-PARALLEL OBJECT-ORIENTED APPLICATIONS .159B>8;AI-7CF
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/tencon94.a4.ps.gz, 19940603 Inheritance Anomaly in True Concurrent Object Oriented Languages : A Proposal Laurent Thomas Department of Information Science. Faculty of Science. University of Tokyo Bunkyo-Ku, Tokyo 113, Japan FAX: +81-3-5689-4365. email: thomas@is.s.u-tokyo.ac.jp
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/taura-master-thesis-letter.ps.gz, 19940726 DESIGN AND IMPLEMENTATION OF CONCURRENT OBJECT-ORIENTED PROGRAMMING LANGUAGES ON STOCK MULTICOMPUTERS *+.61-/4;@> D7930:58H2ICABGJLAFE=K by Kenjiro Taura N) M<, A Thesis Submitted to The Graduate School of The University of Tokyo in Partial Fulfillment of the Requirements for the Degree of Master of
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/taura-master-thesis-a4.ps.gz, 19940726 DESIGN AND IMPLEMENTATION OF CONCURRENT OBJECT-ORIENTED PROGRAMMING LANGUAGES ON STOCK MULTICOMPUTERS *+.61-/4;@> D7930:58H2ICABGJLAFE=K by Kenjiro Taura N) M<, A Thesis Submitted to The Graduate School of The University of Tokyo in Partial Fulfillment of the Requirements for the Degree of Master of
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/vl94-trip2a-A4.ps.Z, 19940729 A Framework for Constructing Animations via Declarative Mapping Rules Shin Takahashi Ken Miyashita Satoshi Matsuoka Akinori Yonezawa Department of Information Science, University of Tokyo
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/vl94-trip2a-letter.ps.Z, 19940729 A Framework for Constructing Animations via Declarative Mapping Rules Shin Takahashi Ken Miyashita Satoshi Matsuoka Akinori Yonezawa Department of Information Science, University of Tokyo
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/uist94-image-a4.ps.Z, 19940811 To Appear in UIST'94 Interactive Generation of Graphical User Interfaces by Multiple Visual Examples Ken Miyashita, Satoshi Matsuoka, Shin Takahashi, Akinori Yonezawa The Dept. of Information Science, The Faculty of Science, The University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo 113, Japan
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/ppcp94-detail-a4.ps.gz, 19940817 Locally Simultaneous Constraint Satisfaction Hiroshi Hosobe,1 Ken Miyashita,1 Shin Takahashi,1 Satoshi Matsuoka,2 and Akinori Yonezawa1 1 Department of Information Science, University of Tokyo 2 Department of Mathematical Engineering, University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo 113, Japan
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/oopsla94-type-coop-a4.ps.gz, 19940826 Type-Theoretic Foundations for Concurrent Object-Oriented Programing Naoki Kobayashi and Akinori Yonezawa Department of Information Science, University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113 Japan
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/TR94-12-hacl-a4.ps.gz, 19940826 TECHNICAL REPORT 94-12 Typed Higher-Order Concurrent Linear Logic Programming Naoki Kobayashi and Akinori Yonezawa July 1994 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku Tokyo, 113 Japan TECHNICAL REPORT 94-12 TITLE Typed Higher-Order Concurrent
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers-japanese/jspp92-abclonem4-a4.ps.gz, 19940901 JSPP'92 1992 ff 6 ffi 15 17 ABCL/onEM-4: <= >= oeo OEO ss >= !AE ae" & #' $ ( * +ffl fl), -, % , y BYi ugm h b I C0 n ` MY0v 8>UKy fgc / $ fgcc$l~m\| ` 8! $z BY bfi EM-4 &EKI4v K rK{j. N 6I5 8i${$K $ i ugm 75" $ }x$u }t n- E'4 F-_,A>!4]L BYi ugm h b / - vM HBYtv~ Kv I U D 6D(4F`s6D(! Abstract We
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/swopp94-abclr3-a4.ps.gz, 19940901 (in IPSJ SIG Notes, 94-PRG-18, pp.57
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/swopp94-abclr3-letter.ps.gz, 19940901 (in IPSJ SIG Notes, 94-PRG-18, pp.57
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/yasugiPACT94-a4.ps.gz, 19940901 PACT '94: International Conference on PARALLELARCHITECTURESAND COMPILATION TECHNIQUES, August 23-26, 1994, Montreal, Canada The Plan-Do Style Compilation Technique for Eager Data Transfer in Thread-Based Execution M. Yasugia, S. Matsuokab and A. Yonezawaa aDepartment of Information Science, Faculty of
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers-japanese/swopp94-plando-a4.ps.gz, 19940901 R}E } 94-PRG-18(SWoPP'94) pp. 9{16, 1994 7 ae<= o AEOE"O %&(>=o +'#!$# Plan-Do ) oe ss,- .1 /2 a B 3 b 45 67 a a ^ ^ = ( F0$>="b Plan-do = ffl>=oc ( ) ( e '"b e w o.(vT \| NT\|= 9$ffi' ' fl# 9c\|;&w S=D'\| 9 $#b ( Plan-Do e 7b68w (: { e
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers-japanese/jssst91-nbody-a4.ps.gz, 19940901 >AFHGDEC;KIM 8 JLI 1991 9 O NQSRTUVY_XZ^cdWb` An Object-Oriented Concurrent Algorithm for N-Body Problem @g eh jl BP Masahiro YASUGI Akinori YONEZAWA =NLKmKifk;K; Department of Information Science, Faculty of Science, the University of Tokyo E-mail: fyasugi,yonezawag@is.s.u-tokyo.ac.jp No vpt # y v
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/yasugiPACT94-letter.ps.gz, 19940901 PACT '94: International Conference on PARALLELARCHITECTURESAND COMPILATION TECHNIQUES, August 23-26, 1994, Montreal, Canada The Plan-Do Style Compilation Technique for Eager Data Transfer in Thread-Based Execution M. Yasugia, S. Matsuokab and A. Yonezawaa aDepartment of Information Science, Faculty of
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/fac94-acl-a4.ps.gz, 19940927 Formal Aspects of Computing (1994) 3: 1{000 c 1994 BCS Asynchronous Communication Model Based on Linear Logic Naoki Kobayashi and Akinori Yonezawa Department of Information Science, University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113 Japan Keywords: linear logic programming, asynchronous concurrent
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/tppp94-hacl-a4.ps.gz, 19941111 Higher-Order Concurrent Linear Logic Programming Naoki Kobayashi and Akinori Yonezawa Department of Information Science University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113 Japan fkoba, yonezawag@is.s.u-tokyo.ac.jp
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/sc94-gc-a4.ps.Z, 19941124 Efficient Parallel Global Garbage Collection on Massively Parallel Computers Tomio Kamada, Satoshi Matsuoka, Akinori Yonezawa The University of Tokyo fkamada,matsu,yonezawag@is.s.u-tokyo.ac.jp
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/sc94-gc-letter.ps.Z, 19941124 Efficient Parallel Global Garbage Collection on Massively Parallel Computers Tomio Kamada, Satoshi Matsuoka, Akinori Yonezawa The University of Tokyo fkamada,matsu,yonezawag@is.s.u-tokyo.ac.jp
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/ieeepdt93-efficient-a4.ps.gz, 19941124 Masahiro Yasugi and Akinori Yonezawa. An object-oriented parallel algorithm for the Newtonian N-body problem. Technical Report TR92-6, Department of Information Science, Faculty of Science, University of Tokyo, 1992. Akinori Yonezawa, editor. ABCL: An Object-Oriented Concurrent System \|
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/ieeepdt93-efficient-letter.ps.gz, 19941124 Masahiro Yasugi and Akinori Yonezawa. An object-oriented parallel algorithm for the Newtonian N-body problem. Technical Report TR92-6, Department of Information Science, Faculty of Science, University of Tokyo, 1992. Akinori Yonezawa, editor. ABCL: An Object-Oriented Concurrent System \|
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/tacs94-oo-type-letter.ps.gz, 19941127 A Complete Type Inference System for Subtyped Recursive Types Tatsurou Sekiguchi and Akinori Yonezawa Department of Information Science, University of Tokyo, 7-3-1 Hongo, Bunkyo-ku, Tokyo, Japan 113
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/dimacs-abclf-letter.ps.gz, 19941129 ABCL/F : A CONCURRENT OBJECT-ORIENTED LANGUAGE 17 5. Gregor Kiczales, Jim des Rivi eres, and Daniel G. Bobrow, The art of the metaobject protocol, MITPress, Cambridge MA, 1991. 6. David A. Kranz, Robert H. Jr., and Eric Mohr, Mul-T: A high-performance parallel lisp, Proceedings of the SIGPLAN '89
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/dimacs-abclf-a4.ps.gz, 19941129 ABCL/F : A CONCURRENT OBJECT-ORIENTED LANGUAGE 17 5. Gregor Kiczales, Jim des Rivi eres, and Daniel G. Bobrow, The art of the metaobject protocol, MITPress, Cambridge MA, 1991. 6. David A. Kranz, Robert H. Jr., and Eric Mohr, Mul-T: A high-performance parallel lisp, Proceedings of the SIGPLAN '89
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers-japanese/submitted-hierarchical-collections.ps.gz, 19950109 m V $ 6 ffl(AM OfflIssI 6IJ.j4y { %u Lffl GS+HK V ( O. { V7M I@R @. ffI & ssK (Rfl +ssK%u Lffl GS(>=0LKB 'KRo AEL+ % O 6 ffl(AMfflIssI 6IJ.j4 R %ssK . + %fflffl IssI 6IJ/ ' RB! ss* V $+ 'flK($g+Iff.Mh.OA. fR fi K (fi'flK F( & +j4 O VfflIssI 6IJR twisted data layout + & V $ AP1000 h' #O . Ross 1 / A+ m V
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/pasco94-parcs-a4.ps.Z, 19950209 Proceedings of PASCO'94 c 1994 by World Scientific Publishing Company PARCS: An MPP-Oriented CLP Language KONNO Kazuhiro NAGATSUKA Masaakiy KOBAYASHI Naoki MATSUOKA Satoshiz YONEZAWA Akinori Department of Information Science, The University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113 Japan yParallel
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/pasco94-parcs-letter.ps.Z, 19950209 Proceedings of PASCO'94 c 1994 by World Scientific Publishing Company PARCS: An MPP-Oriented CLP Language KONNO Kazuhiro NAGATSUKA Masaakiy KOBAYASHI Naoki MATSUOKA Satoshiz YONEZAWA Akinori Department of Information Science, The University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113 Japan yParallel
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/Garrigue-PhD-letter.ps.gz, 19950227 Doctor Thesis LABEL-SELECTIVE LAMBDA-CALCULI AND TRANSFORMATION CALCULI Submitted in December 1994 The University of Tokyo, Doctoral School of Science, Department of Information Science GARRIGUE Jacques
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/Garrigue-PhD-a4.ps.gz, 19950227 Doctor Thesis LABEL-SELECTIVE LAMBDA-CALCULI AND TRANSFORMATION CALCULI Submitted in December 1994 The University of Tokyo, Doctoral School of Science, Department of Information Science GARRIGUE Jacques
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers-japanese/jspp95-compilation-a4.ps.gz, 19950401 to appear in JSPP'95 Z^`bW_aefgimXYp]lnodkhcjq
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/draft-compiling-a4.ps.gz, 19950413 \|DRAFT0: Please do not distribute\| Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation Hidehiko Masuhara Satoshi Matsuoka Kenichi Asai Akinori Yonezawa Department of Information Science, University of Tokyo
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/draft-compiling-letter.ps.gz, 19950413 \|DRAFT0: Please do not distribute\| Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation Hidehiko Masuhara Satoshi Matsuoka Kenichi Asai Akinori Yonezawa Department of Information Science, University of Tokyo
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/tosiyuki-iclp95-rkl1-a4.ps.Z, 19950607 An Efficient Reflective Architecture For Parallel Logic Programming Languages Toshiyuki Takahashi Masayuki Takeday Department of Information Science, University of Tokyo
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/sas95-hacl-analysis-letter.ps.gz, 19950704 Static Analysis of Communication for Asynchronous Concurrent Programming Languages Naoki Kobayashi, Motoki Nakade and Akinori Yonezawa Department of Information Science University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113 Japan fkoba, nakade, yonezawag@is.s.u-tokyo.ac.jp
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/tapos-hacl-coop-letter.ps.gz, 19950704 Towards Foundations of Concurrent Object-Oriented Programming { Types and Language Design { Naoki Kobayashi and Akinori Yonezawa Department of Information Science, University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113 Japan fkoba, yonezawag@is.s.u-tokyo.ac.jp
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/tapos-hacl-coop-a4.ps.gz, 19950704 Towards Foundations of Concurrent Object-Oriented Programming { Types and Language Design { Naoki Kobayashi and Akinori Yonezawa Department of Information Science, University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113 Japan fkoba, yonezawag@is.s.u-tokyo.ac.jp
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/sas95-hacl-analysis-a4.ps.gz, 19950704 Static Analysis of Communication for Asynchronous Concurrent Programming Languages Naoki Kobayashi, Motoki Nakade and Akinori Yonezawa Department of Information Science University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113 Japan fkoba, nakade, yonezawag@is.s.u-tokyo.ac.jp
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/oopsla95-abclr3-a4.ps.gz, 19950804 Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation Hidehiko Masuhara Satoshi Matsuokay Kenichi Asai Akinori Yonezawa Department of Information Science, University of Tokyo yDepartment of Information Engineering, University of Tokyo 7{3{1 Hongo,
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/oopsla95-abclr3-letter.ps.gz, 19950804 Compiling Away the Meta-Level in Object-Oriented Concurrent Reflective Languages Using Partial Evaluation Hidehiko Masuhara Satoshi Matsuokay Kenichi Asai Akinori Yonezawa Department of Information Science, University of Tokyo yDepartment of Information Engineering, University of Tokyo 7{3{1 Hongo,
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/isotas96-draft-a4.ps.Z, 19951005 DRAFT: DO NOT DISTRIBUTE Hierarchical collections: an efficient scheme to build an object-oriented distributed class library for massively parallel computation SATO, Naohito MATSUOKA, Satoshi YONEZAWA, Akinori The University of Tokyo
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/tppp-stackthreads-a4.ps.Z, 19951211 StackThreads: An Abstract Machine for Scheduling Fine-Grain Threads on Stock CPUs (Draft) Kenjiro Taura, Satoshi Matsuoka, and Akinori Yonezawa The University of Tokyo
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/tppp-stackthreads-letter.ps.Z, 19951211 StackThreads: An Abstract Machine for Scheduling Fine-Grain Threads on Stock CPUs (Draft) Kenjiro Taura, Satoshi Matsuoka, and Akinori Yonezawa The University of Tokyo
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/TR95-07.ps.gz, 19960105 TECHNICAL REPORT 95-07 September 6, 1995 Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku, Tokyo 113, Japan An Experiment in Classification and Specialization of Synchronization Schemes Jean-Pierre BRIOT TECHNICAL REPORT 95-07 An Experiment in
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/TR96-01.ps.gz, 19960205 TECHNICAL REPORT 96-01 January 17, 1996 Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku, Tokyo 113, Japan A Classification of Various Approaches for Object-Based Parallel and Distributed Programming Jean-Pierre BRIOT and Rachid GUERRAOUI TECHNICAL REPORT
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/cp96-glp-submission-a4.ps.Z, 19960215 Generalized Local Propagation: A Framework for Solving Constraint Hierarchies Hiroshi Hosobe Satoshi Matsuoka Akinori Yonezawa Dept. of Info. Science Dept. of Info. Engineering Dept. of Info. Science University of Tokyo 3-1, Hongo 7-chome, Bunkyo-ku, Tokyo 113, Japan Phone: +81-3-5800-6913 Fax:
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/YasugiThesis-TR94-07-letter.ps.Z, 19960306 TECHNICAL REPORT 94-7e A Concurrent Object-Oriented Programming Language System for Highly Parallel Data-Driven Computers and its Applications Masahiro Yasugi April 5, 1994 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku Tokyo, 113 Japan TECHNICAL
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/schemaTR-a4.ps.Z, 19960306 TECHNICAL REPORT 95-11 Dec 1995 Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku, Tokyo 113, Japan Schematic: A Concurrent Object-Oriented Extension to Scheme Kenjiro Taura and Akinori Yonezawa TECHNICAL REPORT 95-11 Schematic: A Concurrent Object-Oriented
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/YasugiThesis-TR94-07-a4.ps.Z, 19960306 TECHNICAL REPORT 94-7e A Concurrent Object-Oriented Programming Language System for Highly Parallel Data-Driven Computers and its Applications Masahiro Yasugi April 5, 1994 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku Tokyo, 113 Japan TECHNICAL
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/black-letter.ps.gz, 19960426 , , 1{40 () c Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Duplication and Partial Evaluation \| For a Better Understanding of Reflective Languages \| KENICHI ASAI asai@is.s.u-tokyo.ac.jp Department of Information Science, Faculty of Science, The University of Tokyo, 7-3-1 Hongo,
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/black-a4.ps.gz, 19960426 , , 1{40 () c Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Duplication and Partial Evaluation \| For a Better Understanding of Reflective Languages \| KENICHI ASAI asai@is.s.u-tokyo.ac.jp Department of Information Science, Faculty of Science, The University of Tokyo, 7-3-1 Hongo,
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/cp96-glp-a4.ps.Z, 19960514 Generalized Local Propagation: A Framework for Solving Constraint Hierarchies Hiroshi Hosobe,1 Satoshi Matsuoka,2 and Akinori Yonezawa1 1 Department of Information Science 2 Department of Mathematical Engineering University of Tokyo 3-1, Hongo 7-chome, Bunkyo-ku, Tokyo 113, JAPAN fdetail@is.s,
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/cp96-glp-letter.ps.Z, 19960522 Generalized Local Propagation: A Framework for Solving Constraint Hierarchies Hiroshi Hosobe,1 Satoshi Matsuoka,2 and Akinori Yonezawa1 1 Department of Information Science 2 Department of Mathematical Engineering University of Tokyo 3-1, Hongo 7-chome, Bunkyo-ku, Tokyo 113, JAPAN fdetail@is.s,
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/cp96-glp-submission-letter.ps.Z, 19960522 Generalized Local Propagation: A Framework for Solving Constraint Hierarchies Hiroshi Hosobe Satoshi Matsuoka Akinori Yonezawa Dept. of Info. Science Dept. of Info. Engineering Dept. of Info. Science University of Tokyo 3-1, Hongo 7-chome, Bunkyo-ku, Tokyo 113, Japan Phone: +81-3-5800-6913 Fax:
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/ppcp94-detail-letter.ps.Z, 19960522 Locally Simultaneous Constraint Satisfaction Hiroshi Hosobe,1 Ken Miyashita,1 Shin Takahashi,1 Satoshi Matsuoka,2 and Akinori Yonezawa1 1 Department of Information Science, University of Tokyo 2 Department of Mathematical Engineering, University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo 113, Japan
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/psls95-debugger-a4.ps.Z, 19960628 A Debugging Scheme for Fine-Grain Threads on Massively Parallel Processors with a Small Amount of Log Information \| Replay and Race Detection\| Tomio Kamada and Akinori Yonezawa Dept. of Information Science, The University of Tokyo fkamada,yonezawag@is.s.u-tokyo.ac.jp
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/hosoya-europar96.ps.gz, 19960704 Partial Evaluation Scheme for Concurrent Languages and its Correctness Haruo Hosoya, Naoki Kobayashi and Akinori Yonezawa Department of Information Science, University of Tokyo, 7{3{1 Hongo, Bunkyo{ku, Tokyo 113, Japan
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/pe-proof-a4.ps.gz, 19960712 A Correctness of the Partial Evaluator In this appendix, we show that the partial evaluator presented in Section 4 preserves the semantics of the input program. We first present the store semantics E to be preserved as well as the partial evaluator PE. For a simpler proof, the partial evaluator we
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/pe-proof-letter.ps.gz, 19960712 A Correctness of the Partial Evaluator In this appendix, we show that the partial evaluator presented in Section 4 preserves the semantics of the input program. We first present the store semantics E to be preserved as well as the partial evaluator PE. For a simpler proof, the partial evaluator we
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/swopp96-mpc++-a4.ps.Z, 19960731 1 %a% %l%Y%k5!G=$K$h$kJBNs%W%m%0%i%_%s%0 9b 66 =S 9T y @P @n M5yy :4 F# ;0 5W yy JF _7 L@ 7{y MPC++ $O C++ $K%a% %l%Y%k5!G=$rF3F~$7$ 8@8l$G$"$k!# MPC ++ $O%a% %l%Y%k5!G=$rMQ$$8@8l5!G= $NDI2C!"JQ99$,2DG=$G$"$k!#K9F$G$O!"BeI=E*$J%G!<% JBNs9=J8$N0l$D$G$"$k forall 9=J8$rNc$K MPC $N%a% %l%Y%k5!G=$rMQ$$$
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/TR-deadlockfree-a4.ps.Z, 19960830 A Partially Deadlock-free Typed Process Calculus Naoki Kobayashi Department of Information Science University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113 JAPAN TEL:+81-3-5800-6913 FAX:+81-3-5689-4365 email:koba@is.s.u-tokyo.ac.jp August 30, 1996
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/TR-deadlock-free-letter.ps.Z, 19960830 A Partially Deadlock-free Typed Process Calculus Naoki Kobayashi Department of Information Science University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113 JAPAN TEL:+81-3-5800-6913 FAX:+81-3-5689-4365 email:koba@is.s.u-tokyo.ac.jp August 30, 1996
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/TR-deadlockfree-letter.ps.Z, 19960830 A Partially Deadlock-free Typed Process Calculus Naoki Kobayashi Department of Information Science University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113 JAPAN TEL:+81-3-5800-6913 FAX:+81-3-5689-4365 email:koba@is.s.u-tokyo.ac.jp August 30, 1996
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/swopp96-schematic-a4.ps.Z, 19960908 GHJQXRT^KOYUNW_` ab hm nC jcq st vk foyama,tau,yonezawag@is.s.u-tokyo.ac.jp x 113 yeoreguf 7-3-1 yea
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/swopp96-globalgc-a4.ps.Z, 19960910 Portable J robust K global garbage collector MNOLHGI DQ RS VC ]`b Uc e^ fendo,tau,yonezawag@is.s.u-tokyo.ac.jp g 113 PYWTY
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/deadlock-a4.ps.gz, 19970131 A Partially Deadlock-free Typed Process Calculus (II) Naoki Kobayashi Department of Information Science University of Tokyo email:koba@is.s.u-tokyo.ac.jp January 31, 1997
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/reflection96-abclr3-a4.ps.gz, 19970410 \|in Proceedings of Reflection'96, pp.79{91\| Implementing Parallel Language Constructs Using a Reflective Object-Oriented Language Hidehiko Masuhara Satoshi Matsuokay Akinori Yonezawaz Department of Graphics and Computer Science, College of Arts and Sciences yDepartment of Information Engineering
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/reflection96-abclr3-letter.ps.gz, 19970410 \|in Proceedings of Reflection'96, pp.79{91\| Implementing Parallel Language Constructs Using a Reflective Object-Oriented Language Hidehiko Masuhara Satoshi Matsuokay Akinori Yonezawaz Department of Graphics and Computer Science, College of Arts and Sciences yDepartment of Information Engineering
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/wooc97-hacl-compile-a4.ps.gz, 19970426 An Efficient Compilation Framework for Languages Based on Concurrent Process Calculus Yoshihiro Oyama, Kenjiro Taura, and Akinori Yonezawa University of Tokyo foyama,tau,yonezawag@is.s.u-tokyo.ac.jp
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/oyama-senior-thesis-a4.ps.gz, 19970426 A GENERAL FRAMEWORK FOR COMPILING FINE-GRAIN THREADS IN CONCURRENT OBJECT-ORIENTED LANGUAGES (+093/16>A @GDEJC*L4;572<8.:HFIH&MK-N by Yoshihiro Oyama P=RB A Senior Thesis OQ,' Submitted to the Department of Information Science the Faculty of Science the University of Tokyo on February 20, 1996 in
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/TR97-02.ps.gz, 19970527 TECHNICAL REPORT 97-02 A Partially Deadlock-free Typed Process Calculus (II) Naoki Kobayashi February 1997 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku Tokyo, 113 Japan TECHNICAL REPORT 97-02 TITLE A Partially Deadlock-free Typed Process Calculus
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/europar97-hacl-compile-a4.ps.gz, 19970601 An Efficient Compilation Framework for Languages Based on a Concurrent Process Calculus Yoshihiro Oyama, Kenjiro Taura, and Akinori Yonezawa Department of Information Science, University of Tokyo
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers-japanese/swopp97-gc.ps.gz, 19970714 J,;6%a%b%jJBNs7W;;5!$K$$1$k Reference Count GC $H Mark and Sweep GC $NHf3S ;3KBY1' ED1:7re$K$$1$k%,%Y!<%8%3%l%/%7%g%s%"%k%4%j%:%`$N$&$A Mark & Sweep J} <0$H Reference Count J}<0$N 2
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/cocoa-fmoods97-a4.ps.gz, 19970717 A Calculus with Code Mobility Tatsurou Sekiguchi and Akinori Yonezawa Department of Information Science, Faculty of Science, University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, Japan 113 e-mail: fcocoa,yonezawag@is.s.u-tokyo.ac.jp
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/TR97-07-hacl-compile-a4.ps.gz, 19970905 An Efficient Compilation Framework for Languages Based on a Concurrent Process Calculus Yoshihiro Oyama, Kenjiro Taura, and Akinori Yonezawa Department of Information Science University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113 Japan TEL: +81-3-5800-6913 FAX: +81-3-5689-4365
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/taura-thesis-a4.ps.gz, 19971024 Efficient and Reusable Implementation of Fine-Grain Multithreading and Garbage Collection on Distributed-Memory Parallel Computers J,;65-21JBNs7W;;5!$N$ $a$N8zN(E*$G:FMxMQ2DG=$J :YN3EY%^%k%A%9%l%C%G%#%s%05Z$S%4%_=8$a Kenjiro Taura April, 1997 Doctoral Dissertation Department of Information Science
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/taura-thesis-letter.ps.gz, 19971024 Efficient and Reusable Implementation of Fine-Grain Multithreading and Garbage Collection on Distributed-Memory Parallel Computers J,;65-21JBNs7W;;5!$N$ $a$N8zN(E*$G:FMxMQ2DG=$J :YN3EY%^%k%A%9%l%C%G%#%s%05Z$S%4%_=8$a Kenjiro Taura April, 1997 Doctoral Dissertation Department of Information Science
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/imsa97-metaobject-letter.ps.gz, 19971103 Presented in IMSA'97 Internatiol Symposium on Biologically Inspired Computation, Tsukuba, October 1997, pp.42{56. Reasoning-conscious Meta-object Design of a Reflective Concurrent Language Hidehiko MASUHARA masuhara@graco.c.u-tokyo.ac.jp Akinori YONEZAWAy yonezawa@is.s.u-tokyo.ac.jp
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/imsa97-metaobject-a4.ps.gz, 19971103 Presented in IMSA'97 Internatiol Symposium on Biologically Inspired Computation, Tsukuba, October 1997, pp.42{56. Reasoning-conscious Meta-object Design of a Reflective Concurrent Language Hidehiko MASUHARA masuhara@graco.c.u-tokyo.ac.jp Akinori YONEZAWAy yonezawa@is.s.u-tokyo.ac.jp
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/schemaTR-letter.ps.gz, 19971117 TECHNICAL REPORT 95-11 Schematic: A Concurrent Object-Oriented Extension to Scheme Kenjiro Taura and Akinori Yonezawa Dec 1995 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku Tokyo, 113 Japan TECHNICAL REPORT 95-11 TITLE Schematic: A Concurrent
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/sas97-linear-a4.ps.gz, 19980106 Type-based Analysis of Communication for Concurrent Programming Languages Atsushi Igarashi and Naoki Kobayashi Department of Information Science, University of Tokyo 7-3-1 Hongo, Bunkyo-ku, Tokyo, 113 Japan figarashi, kobag@is.s.u-tokyo.ac.jp
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/psls95-kamada-a4.ps.gz, 19980108 A Debugging Scheme for Fine-Grain Threads on Massively Parallel Processors with a Small Amount of Log Information \| Replay and Race Detection\| Tomio Kamada and Akinori Yonezawa Dept. of Information Science, The University of Tokyo fkamada,yonezawag@is.s.u-tokyo.ac.jp
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/taura-mt-tutorial-a4.ps.gz, 19980205 %A%e!<%H%j%"%k: :YN3EY%^%k%A%9%l%C%G%#%s%0$N$ $a$N8@8l=hM} 7O5;=Q (Ej9FCf) ED1: 7rA0$,<($9DL$j, J# t $N%9%l%C%I (
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/pldi97-finegrain-letter.ps.gz, 19980209 Fine-grain Multithreading with Minimal Compiler Support\| A Cost Effective Approach to Implementing Efficient Multithreading Languages Kenjiro Taura and Akinori Yonezawa Department of Information Science, Faculty of Science, University of Tokyo, 7-3-1 Hongo, Bunkyo-ku Tokyo 113 Japan
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/pldi97-finegrain-a4.ps.gz, 19980209 Fine-grain Multithreading with Minimal Compiler Support\| A Cost Effective Approach to Implementing Efficient Multithreading Languages Kenjiro Taura and Akinori Yonezawa Department of Information Science, Faculty of Science, University of Tokyo, 7-3-1 Hongo, Bunkyo-ku Tokyo 113 Japan
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/ppopp97-effective-letter.ps.gz, 19980209 An Effective Garbage Collection Strategy for Parallel Programming Languages on Large Scale Distributed-Memory Machines Kenjiro Taura and Akinori Yonezawa Department of Information Science, Faculty of Science, University of Tokyo, 7-3-1 Hongo, Bunkyo-ku Tokyo 113 Japan ftau,yonezawag@is.s.u-tokyo.ac.jp
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/ppopp97-effective-a4.ps.gz, 19980209 An Effective Garbage Collection Strategy for Parallel Programming Languages on Large Scale Distributed-Memory Machines Kenjiro Taura and Akinori Yonezawa Department of Information Science, Faculty of Science, University of Tokyo, 7-3-1 Hongo, Bunkyo-ku Tokyo 113 Japan ftau,yonezawag@is.s.u-tokyo.ac.jp
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/draft-ecoop98-a4.ps.gz, 19980217 \|revised version will appear in ECOOP'98 proceedings\| Design and Partial Evaluation of Meta-objects for a Concurrent Reflective Language Hidehiko MASUHARA masuhara@graco.c.u-tokyo.ac.jp Akinori YONEZAWAy yonezawa@is.s.u-tokyo.ac.jp
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/draft-ecoop98-letter.ps.gz, 19980217 \|revised version will appear in ECOOP'98 proceedings\| Design and Partial Evaluation of Meta-objects for a Concurrent Reflective Language Hidehiko MASUHARA masuhara@graco.c.u-tokyo.ac.jp Akinori YONEZAWAy yonezawa@is.s.u-tokyo.ac.jp
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/endo-mthesis-a4.ps.gz, 19980223 A SCALABLE MARK-SWEEP GARBAGE COLLECTOR ON LARGE-SCALE SHARED-MEMORY MACHINES Bg5,LO6&M-%a%b%jJBNs%^%7%s$K$*$1$k%9%1!<%i%V%k$J %^!<%/%9%$!<%WK!%,!<%Y!<%8%3%l%/% by Toshio Endo 1sF# IRIW A Master Thesis =$;NO@J8 Submitted to the Graduate School of the University of Tokyo on February, 1998 in Partial
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers-japanese/jspp98-gc.ps.gz, 19980224 J,;6%a%b%jJBNs7W;;5!>e$G$N;2>H%+%&%s%H$H Bg0h GC $Ne$G$NF0E*$J%a%b%j4IM}H%+%&%s%HJ}<0$HBg0h GC J}<0$rHf3S$7$ !#N>J}<0$K4p
	ftp://camille.is.s.u-tokyo.ac.jp/pub/papers/TR97-03-linear-a4.ps.gz, 19980225 TECHNICAL REPORT 97-03 Type-based Analysis of Communication for Concurrent Programming Languages Atsushi Igarashi Naoki Kobayashi June 1997 T Department of Information Science Faculty of Science, University of Tokyo 7{3{1 Hongo, Bunkyo-Ku Tokyo, 113 Japan TECHNICAL REPORT 97-03 TITLE Type-based Analysis