On the classification of binding mechanisms

DOI10.1016/0020-0190(90)90230-UzbMATH Open0695.68027OpenAlexW2008096288MaRDI QIDQ910205FDOQ910205

Authors: N. E. Zubov 

Publication date: 1990

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(90)90230-u

Recommendations

• Binding and Type Checking in Database Programming Languages
• scientific article; zbMATH DE number 89006
• Delimited dynamic binding
• A lambda-calculus for dynamic binding
• Binding operators for nominal sets

zbMATH Keywords

databaseprogramming languagesbindingoperating systems

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Theory of software (68N99) Theory of operating systems (68N25)

Cites Work

• The programming language Pascal
• Title not available (Why is that?)
• An Approach to Persistent Programming
• Segmentation and the Design of Multiprogrammed Computer Systems

Cited In (2)

• Binding and Type Checking in Database Programming Languages
• On the interaction of different types of ligands binding to the same molecule part II: systems with \(n\) to 2 and \(n\) to 3 binding sites

Uses Software

• Ada95
• BCPL

This page was built for publication: On the classification of binding mechanisms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q910205)