Abstracto project for an algorithm specification language by R. Dewar and J. Schwartz

Identification

Description level

Reference code

PT/UM-ADB/ASS/IFIP/TC2-WG2.1/009/000077

Title

Abstracto project for an algorithm specification language by R. Dewar and J. Schwartz

Holding entity

Arquivo Distrital de Braga

Initial date

1977-12-

Final date

1977-12-

Dimension and support / Extents

10 fls.

Content and structure

Scope and content

Abstracto project for an algorithm specification language (semantic and syntactic aspects of programming languages, pure specification languages, semantic primitives for a pure specification language, syntactic forms for a specification language, implementation of subsets of a specification language, research efforts which wide acceptance of a specification language would facilitate and focus by R. Dewar and J. Schwartz.Projeto de Abstracto para uma linguagem de especificação de algoritmos (aspectos semânticos e sintáticos de linguagens de programação, linguagens de especificação pura, primitivas semânticas para uma linguagem de especificação pura, formas sintáticas para uma linguagem de especificação, implementação de subconjuntos de uma linguagem de especificação, esforços de pesquisa linguagem de especificação facilitaria e enfocaria, por R. Dewar e J. Schwartz.

Access and use

Language of the material

eng

Comments

Abstracto project for an algorithm specification language by R. Dewar and J. Schwartz

My list

Warning!