A practical formal semantic definition and verification system for typed lisp
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | UnknownFormat |
| Veröffentlicht: |
1976
|
| Schriftenreihe: | Reports / STANFORD UNIV
STAN-CS-77-592 Reports / STANFORD UNIV MEMO AIM-296 |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | 153 S |
|---|