| author | Christian Urban <christian dot urban at kcl dot ac dot uk> |
| Sun, 06 Jul 2014 23:11:59 +0100 | |
| changeset 287 | 1d273a9f953b |
| parent 286 | e0f6eb0b5d53 |
| child 288 | 49baf2a17206 |
| permissions | -rw-r--r-- |
|
286
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
1 |
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" |
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
2 |
"http://www.w3.org/TR/REC-html40/loose.dtd"> |
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
3 |
<HEAD> |
|
287
1d273a9f953b
updated mc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
286
diff
changeset
|
4 |
<TITLE>HGMP</TITLE> |
|
1d273a9f953b
updated mc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
286
diff
changeset
|
5 |
<BASE HREF="http://www.inf.kcl.ac.uk/staff/urbanc/"> |
|
286
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
6 |
</HEAD> |
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
7 |
|
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
8 |
<BODY TEXT="#000000" |
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
9 |
BGCOLOR="#4169E1" |
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
10 |
LINK="#0000EF" |
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
11 |
VLINK="#51188E" |
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
12 |
ALINK="#FF0000"> |
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
13 |
|
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
14 |
<TABLE WIDTH="100%" |
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
15 |
BGCOLOR="#4169E1" |
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
16 |
BORDER="0" |
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
17 |
FRAME="border" |
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
18 |
CELLPADDING="10" |
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
19 |
CELLSPACING="2" |
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
20 |
RULES="all"> |
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
21 |
|
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
22 |
<!-- right column --> |
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
23 |
<TR> |
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
24 |
<TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
|
287
1d273a9f953b
updated mc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
286
diff
changeset
|
25 |
<H2>Modelling homogeneous generative meta-programming: Artefact</H2> |
|
286
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
26 |
|
|
287
1d273a9f953b
updated mc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
286
diff
changeset
|
27 |
Martin Berger, Laurence Tratt, Christian Urban |
|
286
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
28 |
<p> |
|
287
1d273a9f953b
updated mc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
286
diff
changeset
|
29 |
<ul> |
|
1d273a9f953b
updated mc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
286
diff
changeset
|
30 |
<li>1. Download Isabelle |
|
1d273a9f953b
updated mc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
286
diff
changeset
|
31 |
</u> |
|
286
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
32 |
|
|
287
1d273a9f953b
updated mc
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
286
diff
changeset
|
33 |
|
|
286
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
34 |
|
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
35 |
</TABLE> |
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
36 |
<P><!-- Created: Tue Mar 4 00:23:25 GMT 1997 --> |
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
37 |
<!-- hhmts start --> |
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
38 |
Last modified: Thu Feb 13 20:24:23 CET 2012 |
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
39 |
<!-- hhmts end --> |
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
40 |
<a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
41 |
</BODY> |
|
e0f6eb0b5d53
added mc link
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
42 |
</HTML> |