2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998 1997 1996 1995 1994 1993 1992 1991 1990 1989 1988 1987 1985 1984 1982 1980 1979 1978 1977 1976 1975
Conferences Reports
Bergstra, J.A. and Weide, Th.P. van der, Process Semantics of Algebraic Datatypes. Colloquia Mathematica Societatis János Bolyai 26, Mathematical Logic in Computer Science, Salgótarján, Hungary, 1978
We consider datatypes derived from algebraic structures. Given an algebraic structure we define a process wich embodies an operational semantics of the corresponding datatype. In this way we are able to define the operational meaning of axiomatic specifications. Using recursion on processes we can define relative implementability and operational equivalence of algebraic datatypes.
[ cite ]
Goeman, H.J.M. and Ollongren, A. and Weide, Th.P. van der, Axiomatiek van datastructuren. Colloquium Capita Datastructuren, Mathematisch Centrum Syllabus edition, Vol: 37, Pages: 85-98, Mathematisch Centrum, Amsterdam, The Netherlands, EU, 1978
[ cite ]
Conferences Reports
Weide, Th.P. van der, Syntax diagrams for Algol 68 (rev). Technical report, Institute of Applied Mathematics and Computer Science, Leiden, The Netherlands, 1978
[ cite ]
Weide, Th.P. van der, W-grammatica`s en abstracte automaten. Technical report, Institute of Applied Mathematics and Computer Science, Leiden, The Netherlands, 1978
[ cite ]