Theoretical Aspects of Computer Software: International Conference TACS '91 Sendai, Japan, September 24–27, 1991 Proceedings

TACS'91 اولین کنفرانس بین المللی جنبه های نظری علوم کامپیوتر است که در دانشگاه توهوکو، ژاپن، در سپتامبر 1991 برگزار شد. این جلد شامل 37 مقاله و یک چکیده برای گفتگوهای ارائه شده در کنفرانس است. TACS'91 بر مبانی نظری برنامه نویسی و جنبه های نظری طراحی، تجزیه و تحلیل و پیاده سازی زبان ها و سیستم های برنامه نویسی تمرکز داشت. طیف وسیعی از موضوعات زیر پوشش داده شده است: منطق، اثبات، مشخصات و معناشناسی برنامه ها و زبان ها. نظریه ها و مدل های محاسبات همزمان، موازی و توزیع شده؛ منطق سازنده، نظریه مقوله و نظریه نوع در علوم کامپیوتر. سیستم های مبتنی بر نظریه برای تعیین، ترکیب، تبدیل، آزمایش و تأیید نرم افزار.

TACS'91 is the first International Conference on Theoretical Aspects of Computer Science held at Tohoku University, Japan, in September 1991. This volume contains 37 papers and an abstract for the talks presented at the conference. TACS'91 focused on theoretical foundations of programming, and theoretical aspects of the design, analysis and implementation of programming languages and systems. The following range of topics is covered: logic, proof, specification and semantics of programs and languages; theories and models of concurrent, parallel and distributed computation; constructive logic, category theory, and type theory in computer science; theory-based systems for specifying, synthesizing, transforming, testing, and verifying software.