-
Notifications
You must be signed in to change notification settings - Fork 0
/
links.htm
151 lines (148 loc) · 8.47 KB
/
links.htm
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
<html>
<head>
<meta charset="utf-8" />
<title>
Seed7 Links</title>
<meta name="author" content="Thomas Mertes" />
<meta name="copyright" content="Thomas Mertes" />
<meta name="keywords" content="Seed7, SeedSeven, Seed, Seven, 7, programming, language, extensible, extendable" />
<meta name="description" content="Seed7 - The extensible programming language" />
<meta name="page-topic" content="programming language, computer, software, downloads" />
<meta name="audience" content="all" />
<meta name="content-language" content="en" />
<meta name="robots" content="index,follow" />
<link rel="shortcut icon" href="images/favicon.ico" type="image/x-icon" />
<link rel="stylesheet" href="style3.css" type="text/css" />
</head>
<body style="margin:0 0 0 0;">
<div style="background-image: url('images/header1x.png');" class="top_image">
<img style="overflow:hidden;" src="images/hearts7m.png" height="68" width="50"
/><img style="overflow:hidden;" src="images/header3.png" height="68" width="745" />
</div>
<div style="background-image: url('images/fillpix.png');" class="space_below_top_image">
</div>
<div class="menu">
<a class="head" href="index.htm"><big>Seed7</big></a>
<a class="menu" href="faq.htm">FAQ</a>
<a class="menu" href="manual/index.htm">Manual</a>
<a class="menu" href="scrshots/index.htm">Programs</a>
<a class="menu" href="examples/index.htm">Examples</a>
<a class="menu" href="libraries/index.htm">Libraries</a>
<a class="menu" href="algorith/index.htm">Algorithms</a>
<a class="menu" href="benchmks/index.htm">Benchmarks</a>
<a class="menu" href="subject_index.htm">Index</a>
<a class="menu" href="http://sourceforge.net/project/showfiles.php?group_id=151126">Download</a>
<a class="menu" href="https://github.com/ThomasMertes/seed7">GitHub</a>
<a class="menu" href="build.htm">Build Seed7</a>
<a class="menu" href="links.htm">Links</a>
</div>
<div class="content">
<div style="padding-right:20;">
<p></p><hr><h1 align="center">
Links
</h1><hr>
<p></p><ul>
<li><a class="link" href="https://thomasmertes.github.io/Seed7Home">Mirror of the Seed7 homepage</a></li>
<li><a class="link" href="https://github.com/ThomasMertes/seed7">Seed7 at GitHub</a></li>
<li><a class="link" href="http://sourceforge.net/projects/seed7">Seed7 project page</a></li>
<li><a class="link" href="http://sourceforge.net/project/showfiles.php?group_id=151126">Download Seed7</a></li>
<li><a class="link" href="https://www.reddit.com/r/seed7">Seed7 community at Reddit</a> (r/seed7)</li>
<li><a class="link" href="https://www.friendlyskies.net/notebook/installing-and-using-the-seed7-programming-language-in-ubuntu">Installing and Using the Seed7 Programming Language in Ubuntu</a></li>
<li><a class="link" href="http://rosettacode.org/wiki/Category:Seed7">Seed7 at Rosetta Code</a> (A collection of programs and algorithms in various programming languages)</li>
<li><a class="link" href="http://www.heise.de/software/download/seed7/62678">Seed7 at Heise online</a> (A software catalog (in german))</li>
<li><a class="link" href="http://www.freshports.org/lang/seed7">A FreeBSD port of Seed7</a> (see also <a class="link" href="http://www.freebsd.org/cgi/cvsweb.cgi/ports/lang/seed7">here</a>) (provided by Pietro Cerutti)</li>
<li><a class="link" href="https://openports.pl/path/lang/seed7">An OpenBSD port of Seed7</a> (provided by Brian Callahan)
<li><a class="link" href="https://build.opensuse.org/package/show/home%3Azhonghuaren/seed7">An openSUSE / Fedora package for Seed7</a> (provided by Huaren Zhong)</li>
<li><a class="link" href="http://www.rhyylen.net/programmazione/seed7/seed7000.html">Italian page about Seed7</a> (provided by Renato Lenzi)</li>
<li><a class="link" href="http://unobtainabol.blogspot.co.at/2015/03/the-seed7-programming-language.html">The Seed7 Programming Language</a> (a blog by David Gudeman)</li>
</ul><p>
Seed7 is based on the diploma thesis and the doctorate thesis of Thomas Mertes.
Both thesis are in german and can be found in the library of the
<a class="link" href="http://www.tuwien.ac.at/tuwien_home/EN">Vienna University of Technology</a>
(In german: Technische Universität Wien).
</p><ul>
<li>The diploma thesis is from 1984 and has the title:<br />
"Entwurf einer erweiterbaren höheren Programmiersprache"<br />
(In english: Design of an extensible higher programming language)<br />
An abstract can be found
<a class="link" href="https://web.archive.org/web/20120205234431/https://www.complang.tuwien.ac.at/library/ibv/detail.php?nr=1082">
here</a>.</li>
<li>The doctorate thesis is from 1986 and has the title:<br />
"Definition einer erweiterbaren höheren Programmiersprache"<br />
(In english: Definition of an extensible higher programming language)<br />
A german <a class="link" href="https://web.archive.org/web/20130509083209/http://www.complang.tuwien.ac.at/library/ibv/detail.php?nr=1083">abstract can be found here</a>.<br />
The complete (german) doctorate thesis is available <a class="link" href="thesis/doctorate">here</a>.</li>
<li>In 2007 Daniel Zingaro, <a class="link" href="http://www.mcmaster.ca/">McMaster University, Hamilton, Ontario, Canada</a><br />
wrote a paper about <a class="link" href="http://www.danielzingaro.com/extensible.pdf">Modern Extensible Languages</a> (see also <a class="link" href="http://www.cas.mcmaster.ca/sqrl/papers/SQRLreport47.pdf">here</a> or <a class="link" href="./papers/SQRLreport47.pdf">here</a>).<br />
This paper contains a paragraph about Seed7 (at page 16).<br /></li>
<li>In 2008 <a class="link" href="http://web.archive.org/web/20110821192424/http://mensanator.com/index.htm">Mensanator</a> wrote a <a class="link" href="http://web.archive.org/web/20131025193458/http://mensanator.com/mensanator/cycle/ultimate_cycle.htm">Collatz Conjecture comic book</a>.<br />
It explores the 3n+C extension of the Collatz Conjecture.<br />
In the article two Seed7 programs are used
<table border="0" cellpadding="0" cellspacing="0">
<tr><td> </td>
<td align="right">Brent's algorithm:</td><td> </td>
<td align="left"><a class="link" href="prg/ecd010.htm">ecd010.sd7</a></td>
</tr><tr><td> </td>
<td align="right">Sedgewick's algorithm:</td><td> </td>
<td align="left"><a class="link" href="prg/scd002.htm">scd002.sd7</a></td>
</tr></table></li>
<li>The blog article <a class="link" href="http://www.codeblog.ch/2011/06/statically-linked-linux-executables">Statically linked Linux executables with GCJ, Seed7 and haXe</a> by Remo Laubacher on the June 2nd, 2011 describes experiences with Seed7. Citation:<br /><br >
<dl><dd>
Among others, there's a small webserver as well a basic interpreter which impressed me quite a bit.
</dd></dl><br /></li>
<li>The book <a class="link" href="http://books.google.at/books?id=hc8FIwfSQi8C&pg=PA166#v=onepage&q&f=false">Rigorous Methods for Software Construction and Analysis</a> from Jean-Raymond Abrial (ISBN 3-642-11446-6) writes at page 166:<br /><br />
<dl><dd>
To the best of our knowledge, among all these languages only the Seed7
programming language supports the introduction of new syntax and their
semantics into the language.
</dd></dl></li>
</ul><p>
If you have questions, suggestions or a patch please send a mail to
</p><p>
<script language="JavaScript" type="text/javascript">
var one,two,three,alpha,beta,gold,silver,bronze,evolution;
one="seed";
two="7-us";
three="ers";
alpha="@";
beta=".";
gold="lists";
silver="sourceforge";
bronze="net";
evolution=one+two+three+alpha+gold+beta+silver+beta+bronze;
document.write('<a class="link" href="mailto:'+evolution+'"><img src=images/maillist1m.png></a>');
//-->
</script>
</p>
<p><a class="link" href="https://lists.sourceforge.net/lists/listinfo/seed7-users"><b>
To subscribe to seed7-users just follow this link.</b></a>
</p><p>
The mailing list should be the first address for most things.
The list has also an
<a class="link" href="http://sourceforge.net/mailarchive/forum.php?forum_name=seed7-users">archive</a>.
Additionally there is an open discussion
<a class="link" href="http://sourceforge.net/forum/forum.php?forum_id=504815">forum</a>
at sourceforge.
If all else fails you can send a mail to
</p><p>
<script language="JavaScript" type="text/javascript">
var one,two,three,alpha,beta,gold,silver,evolution;
one="tho";
two="mas.mer";
three="tes";
alpha="@";
beta=".";
gold="gmx";
silver="at";
evolution=one+two+three+alpha+gold+beta+silver;
document.write('<a class="link" href="mailto:'+evolution+'"><img src=images/mailaddr1m.png></a>');
//-->
</script>
</p><p>
Please mention Seed7 in the subject to distinguish your mail from spam.
</p>
<hr>
</div>
</div>
</body>
</html>