Specifying compositional semantic functions for non-hierarchical languages using natural deduction systems

In Collections: Electronic Theses & Dissertations

Copyright Status: In Copyright

Material Type: Theses

Authors: Goldsby, Heather J.

Date Published: 2004

Subjects: Computer-aided software engineering
Semantic integration (Computer systems)
Software engineering
System design--Data processing
Translators (Computer programs)
UML (Computer science)

Program of Study: Computer Science

Degree Level: Masters

Language: English

Pages: vii, 67 pages

Permalink: https://doi.org/doi:10.25335/72v6-2689

Full text