-
7
-
-
84955570942
-
Static analysis of communication for asynchronous concurrent programming languages
-
Lecture Notes in Computer Science, Springer-Verlag
-
N. Kobayashi, M. Nakade, and A. Yonezawa. Static analysis of communication for asynchronous concurrent programming languages. In Second International Static Analysis Symposium (SAS'95), volume 983 of Lecture Notes in Computer Science, pages 225-242. Springer-Verlag, 1995.
-
(1995)
Second International Static Analysis Symposium (SAS'95)
, vol.983
, pp. 225-242
-
-
Kobayashi, N.1
Nakade, M.2
Yonezawa, A.3
-
9
-
-
84958760366
-
Higher-order concurrent linear logic programming
-
Lecture Notes in Computer Science, Springer-Verlag
-
N. Kobayashi and A. Yonezawa. Higher-order concurrent linear logic programming. In Theory and Practice of Parallel Programming, volume 907 of Lecture Notes in Computer Science, pages 137-166. Springer-Verlag, 1995.
-
(1995)
Theory and Practice of Parallel Programming
, vol.907
, pp. 137-166
-
-
Kobayashi, N.1
Yonezawa, A.2
-
10
-
-
0029462456
-
Compiling away the metalevel in object-oriented concurrent reflective languages using partial evaluation
-
H. Masuhara, S. Matsuoka, K. Asai, and A. Yonezawa. Compiling away the metalevel in object-oriented concurrent reflective languages using partial evaluation. In Proceedings of ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '95), pages 300-315, 1995.
-
(1995)
Proceedings of ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '95)
, pp. 300-315
-
-
Masuhara, H.1
Matsuoka, S.2
Asai, K.3
Yonezawa, A.4
-
11
-
-
84968816021
-
Barbed bisimulation
-
Lecture Notes in Computer Science
-
R. Milner and D. Sangiorgi. Barbed bisimulation. In 19th ICALP, volume 623 of Lecture Notes in Computer Science, pages 685-695, 1992.
-
(1992)
19Th ICALP
, vol.623
, pp. 685-695
-
-
Milner, R.1
Sangiorgi, D.2
-
12
-
-
84958743526
-
Concurrent objects in a process calculus
-
Lecture Notes in Computer Science, Springer-Verlag
-
B. C. Pierce and D. N. Turner. Concurrent objects in a process calculus. In Theory and Practice of Parallel Programming (TPPP), volume 907 of Lecture Notes in Computer Science, pages 187-215. Springer-Verlag, 1995.
-
(1995)
Theory and Practice of Parallel Programming (TPPP)
, vol.907
, pp. 187-215
-
-
Pierce, B.C.1
Turner, D.N.2
-
14
-
-
0003716706
-
-
PhD thesis, Stanford University, Technical Reprt CSL-TR-93-563
-
E. Ruf. Topics in Online Partial Evaluation. PhD thesis, Stanford University, 1993. (Technical Reprt CSL-TR-93-563).
-
(1993)
Topics in Online Partial Evaluation
-
-
Ruf, E.1
-
15
-
-
84958758664
-
StackThreads: An abstract machine for scheduling fine-grain threads on stock cpus
-
Lecture Notes on Computer Science, Springer Verlag
-
K. Taura, S. Matsuoka, and A. Yonezawa. StackThreads: An abstract machine for scheduling fine-grain threads on stock cpus. In Proceedings of Workshop on Theory and Practice of Parallel Programming, number 907 in Lecture Notes on Computer Science, pages 121-136. Springer Verlag, 1994.
-
(1994)
Proceedings of Workshop on Theory and Practice of Parallel Programming
, Issue.907
, pp. 121-136
-
-
Taura, K.1
Matsuoka, S.2
Yonezawa, A.3
|