denotational
معناشناسی دلالتی
دانلود کتاب Denotational Semantics (به فارسی: معناشناسی دلالتی) اطلاعات کتاب معناشناسی دلالتی موضوع اصلی: 1 نوع: کتاب الکترونیکی زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) تعداد صفحه: 345 حجم کتاب: 2 مگابایت توضیحات کتاب معناشناسی دلالتی معناشناسی دلالتی روشی برای دادن معنای ریاضی به زبان ها و سیستم های برنامه نویسی است. این برنامه توسط گروه تحقیقاتی برنامه نویسی کریستوفر استراچی در دانشگاه آکسفورد در دهه 1960 توسعه یافت. روش ترکیبی از دقت ریاضی، به دلیل کار دانا اسکات، با ظرافت نمادین، به دلیل استراچی است. در ابتدا به عنوان یک ابزار تجزیه و تحلیل مورد…