-
2
-
-
19144372591
-
ELAN: A logical framework based on computational systems
-
Elsevier
-
P. Borovansky, C. Kirchner, H. Kirchner, P. E. Moreau, and M. Vittek. ELAN: A logical framework based on computational systems. In Proc. of the First Int. Workshop on Rewriting Logic, volume 4. Elsevier, 1996.
-
(1996)
Proc. of the First Int. Workshop on Rewriting Logic
, vol.4
-
-
Borovansky, P.1
Kirchner, C.2
Kirchner, H.3
Moreau, P.E.4
Vittek, M.5
-
3
-
-
33749165809
-
Characteristics of open source projects
-
IEEE Computer Society Press
-
A. Capiluppi, P. Lago, and M. Morisio. Characteristics of open source projects. In Procceedings of the seventh European Conference on Software Maintenance and Reengineering, Benevento, Italy, pages 317-330. IEEE Computer Society Press, 2003.
-
(2003)
Procceedings of the Seventh European Conference on Software Maintenance and Reengineering, Benevento, Italy
, pp. 317-330
-
-
Capiluppi, A.1
Lago, P.2
Morisio, M.3
-
4
-
-
84957700010
-
The maude system
-
M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, and J. F. Quesada. The maude system. In Proceedings of the 10th International Conference on Rewriting Techniques and Applications, pages 240-243, 1999.
-
(1999)
Proceedings of the 10th International Conference on Rewriting Techniques and Applications
, pp. 240-243
-
-
Clavel, M.1
Duran, F.2
Eker, S.3
Lincoln, P.4
Marti-Oliet, N.5
Meseguer, J.6
Quesada, J.F.7
-
7
-
-
0004083623
-
The standard template library
-
WG21/N0482, Hewlett-Packard Laboratories
-
A. A. Stepanov and M. Lee. The Standard Template Library. Technical Report X3J16/94-0095, WG21/N0482, Hewlett-Packard Laboratories, 1994.
-
(1994)
Technical Report
, vol.X3J16-94-0095
-
-
Stepanov, A.A.1
Lee, M.2
-
8
-
-
0010310170
-
The asf+sdf meta-environment: A component-based language development environment
-
Mark van den Brand, Arie van Deursen, Jan Hearing, H. A. de Jong, Merijn de Jonge, Tobias Kuipers, Paul Klint, Leon Moonen, Pieter A. Olivier, Jeroen Scheerder, Jurgen J. Vinju, Eelco Visser, and Joost Visser. The asf+sdf meta-environment: A component-based language development environment. In Proceedings of the 10th International Conference on Compiler Construction, pages 240-243, 2001.
-
(2001)
Proceedings of the 10th International Conference on Compiler Construction
, pp. 240-243
-
-
Van Brand, M.D.1
Van Deursen, A.2
Hearing, J.3
De Jong, H.A.4
De Jonge, M.5
Kuipers, T.6
Klint, P.7
Moonen, L.8
Olivier, P.A.9
Scheerder, J.10
Vinju, J.J.11
Visser, E.12
Visser, J.13
-
9
-
-
17944401061
-
Columbus schema for C/C++ preprocessing
-
IEEE Computer Society
-
Laszlo Vidacs, Arpad Beszedes, and Rudolf Ferenc. Columbus schema for C/C++ preprocessing. In 8th European Conference on Software Maintenance and Reengineering, Tampere, Finland, pages 75-84. IEEE Computer Society, 2004.
-
(2004)
8th European Conference on Software Maintenance and Reengineering, Tampere, Finland
, pp. 75-84
-
-
Vidacs, L.1
Beszedes, A.2
Ferenc, R.3
|