WorldCat Linked Data Explorer

Turtle N-Triple JSON-LD RDF/XML HTML Contact Us Home

http://worldcat.org/entity/work/id/426441275

Abstraction and verification in Alphard : a symbol table example

The design of the Alphard programming language has been strongly influenced by ideas from the areas of programming methodology and formal program verification. In this paper we design, implement, and verify a general symbol table mechanism. This example is rich enough to allow us to illustrate the use as well as the definition of programmer-defined abstractions. The verification illustrates the power of the form to simplify proofs by providing strong specifications of such abstractions. (Author).

Open All Close All

type

about

http://schema.org/about

author

contributor

creator

description

http://schema.org/description

  • "The design of the Alphard programming language has been strongly influenced by ideas from the areas of programming methodology and formal program verification. In this paper we design, implement, and verify a general symbol table mechanism. This example is rich enough to allow us to illustrate the use as well as the definition of programmer-defined abstractions. The verification illustrates the power of the form to simplify proofs by providing strong specifications of such abstractions. (Author)."@en

name

http://schema.org/name

  • "Abstraction and verification in Alphard : a symbol table example"@en
  • "Abstraction and Verification in Alphard: A Symbol Table Example"@en
  • "Abstraction and verification in alphard: a symbol table example"
  • "Abstraction and Verification in ALPHARD : a Symbol Table Example"
  • "Abstraction and verification in alphard : a symbol table example"
  • "Abstraction and verification in alphard A symbol table example"

workExample