Re: Formal semantics of language semantics

"Jasper Kamperman" <jasperk64@yahoo.com>
7 Nov 2002 00:52:25 -0500

          From comp.compilers
Related articles
[16 earlier articles]
Re: Formal semantics of language semantics nmm1@cus.cam.ac.uk (Nick Maclaren) (2002-10-20)
Re: Formal semantics of language semantics merlot!anw@mailbox1.ucsd.edu (Dr A. N. Walker) (2002-10-25)
Re: Formal semantics of language semantics whopkins@alpha2.csd.uwm.edu (Mark) (2002-10-25)
Re: Formal semantics of language semantics whopkins@alpha2.csd.uwm.edu (Mark) (2002-10-25)
Re: Formal semantics of language semantics nmm1@cus.cam.ac.uk (Nick Maclaren) (2002-11-06)
Re: Formal semantics of language semantics nmm1@cus.cam.ac.uk (Nick Maclaren) (2002-11-06)
Re: Formal semantics of language semantics jasperk64@yahoo.com (Jasper Kamperman) (2002-11-07)
| List of all articles for this month |
From: "Jasper Kamperman" <jasperk64@yahoo.com>
Newsgroups: comp.compilers
Date: 7 Nov 2002 00:52:25 -0500
Organization: http://groups.google.com/
References: 02-09-149 02-09-162 02-10-005 02-10-067
Keywords: semantics
Posted-Date: 07 Nov 2002 00:52:25 EST

In addition to other resources mentioned in this thread, you might
want to check out the ASF+SDF languages and system:


http://db.cwi.nl/projecten/project.php4?prjnr=117


ASF stands for Algebraic Specification Formalism, and lets
you specify algebras by equations.


SDF stands for Syntax Definition Formalism, and lets you define
syntax of (programming) languages.


ASF+SDF is a system that lets you develop syntax and semantics
of programming languages.


http://db.cwi.nl/projecten/project.php4?prjnr=117


Cheers,


Jasper Kamperman

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.