Static semantics of imperative languages in Z?

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Christian S. Collberg Tue, 23 Apr 1991 13:12

#366

Author: Christian S. Collberg
Date: Tue, 23 Apr 1991 13:12

11 lines
818 bytes

Has anyone used Z to define the static semantics of a ``normal''
language (pascal, Modula-2,...)? Any reason why it would be
more difficult than using VDM? I'd appreciate any references
to the literature.

Chris
collberg@dna.lth.se
-- 

--------------------------------------------------------------------
Christian.Collberg@dna.lu.se

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads