✦ LIBER ✦

A semantically-based formatting discipline for Pascal

✍ Scribed by Paul A. Bailes; Antonio Salvadori

Book ID: 112210115
Publisher: John Wiley and Sons
Year: 1984
Tongue: English
Weight: 594 KB
Volume: 14
Category: Article
ISSN: 0038-0644
DOI: 10.1002/spe.4380140304

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A format for semantic equivalence compar

A format for semantic equivalence comparison

✍ Vashti Galpin 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 493 KB

This paper presents a new format for process algebras, the extended tyft/tyxt format which generalises the tyft/tyxt format of Groote and Vaandrager. The format di ers from most previous formats in that the labels on transitions are treated as many-sorted terms. Bisimulation is a congruence for all

A comparison of two microcomputer-based

A comparison of two microcomputer-based programs for bibliographic retrieval and formatting

✍ J. M. Garfield; H. Flanagan; J. Fox 📂 Article 📅 1989 🏛 Springer 🌐 English ⚖ 1008 KB

A semantic framework for metamodel-based

A semantic framework for metamodel-based languages

✍ Angelo Gargantini; Elvinia Riccobene; Patrizia Scandurra 📂 Article 📅 2009 🏛 Springer US 🌐 English ⚖ 888 KB

A semantical framework for hybrid knowle

A semantical framework for hybrid knowledge bases

✍ Jos de Bruijn; David Pearce; Axel Polleres; Agustín Valverde 📂 Article 📅 2010 🏛 Springer-Verlag 🌐 English ⚖ 453 KB

Implementation of a Pascal based paralle

Implementation of a Pascal based parallel language for a multiprocessor computer

✍ Anders Ardö; Lars Philipson 📂 Article 📅 1984 🏛 John Wiley and Sons 🌐 English ⚖ 864 KB

RKB: a Semantic Web knowledge base for R

RKB: a Semantic Web knowledge base for RNA

✍ Jose Cruz-Toledo; Michel Dumontier; Marc Parisien; François Major 📂 Article 📅 2010 🏛 BioMed Central 🌐 English ⚖ 519 KB