-
1
-
-
0346477181
-
-
Dagstuhl Castle, Germany, February 1996 of Lecture Notes in Computer Science (1996). Berlin: Springer-Verlag.
-
Danvy, O., Gluck, R., and Thiemann, P. Eds. 1996. Partial Evaluation. Dagstuhl Castle, Germany, February 1996, Volume 1110 of Lecture Notes in Computer Science (1996). Berlin: Springer-Verlag.
-
(1996)
Partial Evaluation
, vol.1110
-
-
Danvy, O.1
Gluck, R.2
Thiemann, P.3
-
2
-
-
0031220274
-
Proving concurrent constraint programs correct
-
To appear
-
de Boer, F., Gabbrielli, M., Marchiori, E., and Palamidessi, C. 1998. Proving concurrent constraint programs correct. ACM Transactions on Programming Languages and Systems. To appear.
-
(1998)
ACM Transactions on Programming Languages and Systems
-
-
de Boer, F.1
Gabbrielli, M.2
Marchiori, E.3
Palamidessi, C.4
-
4
-
-
0345846313
-
Partial evaluation of GHC programs based on the UR-set with constraints
-
R. KOWALSKI and K. Bowen Eds., (1988), Cambridge, MA: MIT Press
-
Fujita, H., Okumura, A., and Furukawa, K. 1988. Partial evaluation of GHC programs based on the UR-set with constraints. In R. KOWALSKI and K. Bowen Eds., Logic Programming: Fifth International Conference and Symposium, volume 2 (1988), pp. 924-941. Cambridge, MA: MIT Press.
-
(1988)
Logic Programming: Fifth International Conference and Symposium
, vol.2
, pp. 924-941
-
-
Fujita, H.1
Okumura, A.2
Furukawa, K.3
-
5
-
-
0346045018
-
Self-applicable partial evaluation for the pi-calculus
-
1997 (1997), New York: ACM
-
Gengler, M. and Martel, M. 1997. Self-applicable partial evaluation for the pi-calculus. In Partial Evaluation and Semantics-Based Program Manipulation, Amsterdam, The Netherlands, June 1997 (1997), pp. 36-46. New York: ACM.
-
(1997)
Partial Evaluation and Semantics-Based Program Manipulation, Amsterdam, The Netherlands, June
, pp. 36-46
-
-
Gengler, M.1
Martel, M.2
-
6
-
-
34249833731
-
CLP(ℛ) and some electrical engineering problems.
-
Heintze, N., Michaylov, S., and Stuckey, P. J. 1992. CLP(ℛ) and some electrical engineering problems. Journal of Automated Reasoning 9, 2, 231-260.
-
(1992)
Journal of Automated Reasoning
, vol.9
, Issue.2
, pp. 231-260
-
-
Heintze, N.1
Michaylov, S.2
Stuckey, P.J.3
-
7
-
-
84955561593
-
-
In L. BOUGÉ ET AL. Eds., Euro-Par’96 - Parallel Processing, Lyon, France. (Lecture Notes in Computer Science). Berlin: Springer-Verlag.
-
Hosoya, H., Kobayashi, N., and Yonezawa, A. 1996. Partial evaluation scheme for concurrent languages and its correctness. In L. BOUGÉ ET AL. Eds., Euro-Par’96 - Parallel Processing, Lyon, France. (Lecture Notes in Computer Science, vol. 1123) (1996), pp. 625-632. Berlin: Springer-Verlag.
-
(1996)
Partial evaluation scheme for concurrent languages and its correctness
, vol.1123
, pp. 625-632
-
-
Hosoya, H.1
Kobayashi, N.2
Yonezawa, A.3
-
9
-
-
0003799593
-
-
Englewood Cliffs, NJ: Prentice Hall
-
Jones, N., Gomard, C., and Sestoft, P. 1993. Partial Evaluation and Automatic Program Generation. Englewood Cliffs, NJ: Prentice Hall.
-
(1993)
Partial Evaluation and Automatic Program Generation
-
-
Jones, N.1
Gomard, C.2
Sestoft, P.3
-
10
-
-
84939765850
-
Constraint Logic Programming and Option Trading.
-
Lassez, C., Mcaloon, K., and Yap, R. 1987. Constraint Logic Programming and Option Trading. IEEE Expert 2, 3, 42-50.
-
(1987)
IEEE Expert
, vol.2
, Issue.3
, pp. 42-50
-
-
Lassez, C.1
Mcaloon, K.2
Yap, R.3
-
11
-
-
85024255842
-
An experiment in using when-declarations to control unfolding of logic programs
-
(1990). http://www.informatik.uni-bonn.de/ stefan/Papers-WWW/publications.html
-
Lüttringhaus-Kappel, S. 1990. An experiment in using when-declarations to control unfolding of logic programs. In ICLP Workshop on Partial Deduction and Partial Evaluation (1990). http://www.informatik.uni-bonn.de/ stefan/Papers-WWW/publications.html.
-
(1990)
ICLP Workshop on Partial Deduction and Partial Evaluation
-
-
Lüttringhaus-Kappel, S.1
-
12
-
-
0347306285
-
Partial-evaluation techniques for concurrent programs
-
1997 (1997), New York: ACM
-
Marinescu, M. and Goldberg, B. 1997. Partial-evaluation techniques for concurrent programs. In Partial Evaluation and Semantics-Based Program Manipulation, Amsterdam, The Netherlands, June 1997 (1997), pp. 47-62. New York: ACM.
-
(1997)
Partial Evaluation and Semantics-Based Program Manipulation, Amsterdam, The Netherlands, June
, pp. 47-62
-
-
Marinescu, M.1
Goldberg, B.2
-
14
-
-
0004054826
-
-
Cambridge Tracts in Theoretical Computer Science 23. Cambridge Univ. Press
-
Olderog, E. 1991. Nets, Terms and Formulas. Cambridge Tracts in Theoretical Computer Science 23. Cambridge Univ. Press.
-
(1991)
Nets, Terms and Formulas
-
-
Olderog, E.1
-
17
-
-
77952726925
-
The Oz programming model
-
J. VAN LEEUWEN Ed., Number 1000 in LNCS. Springer-Verlag, see www.ps.uni-sb.de/oz/.
-
Smolka, G. 1995. The Oz programming model. In J. VAN LEEUWEN Ed., Computer Science Today, Number 1000 in LNCS. Springer-Verlag, see www.ps.uni-sb.de/oz/.
-
(1995)
Computer Science Today
-
-
Smolka, G.1
-
18
-
-
84958764235
-
-
In T. Ito and A. Yonezawa Eds., Proc. 1994 RR* Workshop on Theory and Practice of Parallel Programming of Lecture Notes in Computer Science. SpringerVerlag.
-
Ueda, K. 1995. I/O mode analysis in concurrent logic languages. In T. Ito and A. Yonezawa Eds., Proc. 1994 RR* Workshop on Theory and Practice of Parallel Programming, Volume 907 of Lecture Notes in Computer Science (1995), pp. 356-368. SpringerVerlag.
-
(1995)
I/O mode analysis in concurrent logic languages
, vol.907
, pp. 356-368
-
-
Ueda, K.1
-
19
-
-
0041374822
-
Transformation rules for GHC Programs
-
(1988), Institute for New Generation Computer Technology, Tokyo
-
Ueda, K. and Furukawa, K. 1988. Transformation rules for GHC Programs. In Proc. Inti Conf. on Fifth Generation Computer Systems (1988), pp. 582-591. Institute for New Generation Computer Technology, Tokyo.
-
(1988)
Proc. Inti Conf. on Fifth Generation Computer Systems
, pp. 582-591
-
-
Ueda, K.1
Furukawa, K.2
|