Tham khảo tài liệu 'giáo trình phân tích khả năng ứng dụng đối tượng dữ liệu mang bộ mô tả kiểu động p4', công nghệ thông tin, cơ sở dữ liệu phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | Chương VI Chương trình c Function Ten_ham Danh sách các tham số cùng với kiểu dữ liệu tương ứng Kiểu kết quả trả về Ví dụ Function FN x real y integer real Đặc tả này xác định hàm FN REAL x INTEGER - REAL Nếu chương trình con trả về nhiều hơn một kết quả hoặc không có kết quả trả về trong tên chương trình con thường được gọi là thủ tục procedure hoặc subroutine . Cú pháp điển hình đặc tả thủ tục được quy định trong ngôn ngữ lập trình Pascal Procedure Ten_thu_tuc Danh sách các tham sốcùng với kiểu dữ liệu tương ứng Ví dụ Procedure SUB X real Y Integer Var Z Real Var U boolean Trong sự đặc tả này tham số có tên đứng sau VAR biểu thị một kết quả hoặc một tham số có thể bị thay đổi. Cú pháp của sự đặc tả này trong Ada là Procedure SUB X IN Real Y IN Integer Z IN OUT Real U OUT Boolean Thủ tục này khai báo một chương trình con với sự xác định SUB Real x Integer x Real - Real x Boolean Các từ IN OUT và IN OUT phân biệt ba trường hợp sau đây IN chỉ định một tham số không thể bị thay đổi bởi cương trình con IN OUT chỉ định một tham số có thể bị thay đổi và OUT chỉ định một kết quả. Mặc dù chương trình con biểu diễn một hàm toán học nhưng nó cũng có các vấn đề tương tự như đối với các phép toán nguyên thuỷ - Chương trình con có thể có các tham số ẩn trong dạng biến không địa phương mà nó tham chiếu. - Chương trình con có thể có kết quả ẩn hiệu ứng lề được trả về thông qua sự thay đổi các biến không địa phương hoặc thông qua việc thay đổi các tham số IN-OUT của nó. - Chương trình con có thể nhạy cảm với tiền sử tự sửa đổi vì vậy kết qủa của nó không chỉ phụ thuộc vào tham số được cho tại lần gọi đó mà còn phụ thuộc vào toàn bộ lịch sử các lần gọi trước đó. Nhạy cảm với tiền sử có thể do dữ liệu địa phương vẫn còn giữ lại giữa các lần gọi của chương trình con hoặc thông qua sự thay đổi mã riêng của nó ít phổ biến hơn . Cài đặt chương trình con Các phép toán nguyên thuỷ được cài đặt bằng cách dùng cấu trúc dữ liệu và các phép toán được cung cấp bởi máy tính ảo bên dưới .
