H ? « ‹ ← → › »

Language peer sets for ADLIB:
United States↑
United States/1980↑
Designed 1980 ↑
1980s languages ↑
Fourth generation↑
Late Cold War↑
Genus Digital ↑
Specialised Languages ↑
Digital↑
Electronic Circuit↑
Continuous ↑
Digital/1980↑
Electronic Circuit/1980↑
Continuous/1980↑
Digital/United States↑
Electronic Circuit/United States↑
Continuous/United States↑
Specialised Languages ↑
Specialised Languages/1980↑
Specialised Languages/us ↑

ADLIB(ID:3507/adl006)

Superset of PASCAL with concurrency 

alternate simple view
Country: United States
Designed 1980
Published: 1980
Genus: Digital
Sammet category: Specialised Languages

for A Design Language for Indicating Behavior

Dwight Hill, Stanford 1980.

ADLIB is a superset of PASCAL with special facilities for concurrency and interprocess communication. It is normally used under the SABLE simulation system.
Related languages
Pascal → ADLIB   Superset
References:
  • Hill D.D. (1979) Hill D.D. "ADLIB: A Modular, Strongly-Typed Computer Design Language," Proc. Fourth Intl. Symposium on Computer Hardware Description Languages, Palo Alto, pp. 75-81, 1979
  • Hill, Dwight D. (1979) Hill, Dwight D. "ADLIB user's manual" Stanford University, Computer Systems Laboratory Report Number: CSL-TR-79-177 August 1979 Abstract pdf
  • Hill D.D. (1980) Hill D.D. "Language and Environment for Multi-Level Simulation" Technical Report No. 185, Stanford University, Dept. of Electrical Engineering, Ph.D. thesis, 170 pp., March 1980
  • Cory, W. E. (1981) Cory, W. E. "Symbolic simulation for functional verification with ADLIB and SDL" Proceedings of the 18th Annual ACM IEEE Design Automation Conference Nashville, Tennessee, United States 1981 pp82-89 Abstract Extract: ADLIB and SDL
  • Ghosh, Sumit and van Cleemput, Willem (1983) Ghosh, Sumit and van Cleemput, Willem "Fault simulation using ADLIB-SABLE" Stanford University, Computer Systems Laboratory Report Number: CSL-TR-83-242 March 1983 Abstract pdf
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder