home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #31 / NN_1992_31.iso / spool / comp / lang / ada / 3803 < prev    next >
Encoding:
Text File  |  1992-12-22  |  1.4 KB  |  43 lines
  1. Newsgroups: comp.lang.ada
  2. Path: sparky!uunet!noc.near.net!viewlog.viewlogic.com!paulsen
  3. From: paulsen@mako.viewlogic.com (Bill Paulsen)
  4. Subject: Conformance rules for subprogram specifications
  5. Message-ID: <1992Dec22.215839.10969@viewlogic.com>
  6. Originator: paulsen@mako
  7. Sender: news@viewlogic.com
  8. Nntp-Posting-Host: mako
  9. Organization: Viewlogic Systems, Inc., Marlboro, MA
  10. Date: Tue, 22 Dec 1992 21:58:39 GMT
  11. Lines: 30
  12.  
  13.  
  14. VHDL (which is the VHSIC Hardware Description Language) is currently
  15. undergoing revision, and one issue is whether to continue using
  16. lexical based conformance rules.
  17.  
  18. (Conformance rules are used to decide when two subprogram specifications
  19. (ie, headers) are the same, for the purpose of identifying the subprogram
  20. body.)
  21.  
  22.  
  23. I'd like some comments or a reference to a paper on the rationale for
  24. Ada to use lexical rather than other approaches.
  25.  
  26.  
  27. There are three proposals:
  28.  
  29. 1. Leave it as is, that is, lexical rules, which simply require the
  30. exact same sequence of lexical elements and their same visibility rule
  31. meanings.  (Comments can be removed.)
  32.  
  33. 2. A recursive definition of conformance that requires a semantic
  34. interpretation of the subprogram specifications.  Among other things,
  35. these are used to determine conformance: locally static expression
  36. evaluations, subexpressions must conform, range and index constraints
  37. conform if their bounds conform, etc.
  38.  
  39. 3. The rules of overload resolution are applied to determine conformance.
  40.  
  41. Thanks,
  42. Bill Paulsen
  43.