| 书目名称 | Semantics: Foundations and Applications | | 副标题 | REX Workshop, Beekbe | | 编辑 | J. W. Bakker,W. -P. Roever,G. Rozenberg | | 视频video | | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | Researchers working on the semantics of programminglanguages came together in The Netherlands in June 1992 fora workshop on Semantics - Foundations and Applications. Thisvolume is based on the meeting and containsmaterialprepared by the lecturers after the meeting took place.Thevolume includes papers on a wide range of topics in bothfoundationsand applications, including:- Comparative domain theory, category theory,informationsystems,- Concurrency: process algebras, asynchronouscommunication,action semantics, trace nets, process refinement,concurrentconstraint programming,- Predicate transformers, refinement,weakest preconditions,- Comparative semantics of programming concepts, fullabstraction,- Reasoning about programs: total correctness,epistemiclogic,- Logic programming,- Functional programming: sequentiality, integration withconcurrency, applied structured operational semantics.The workshop was an activity of the project REX (ResearchandEducation in Concurrent Systems) sponsored by theNetherlands NFI (NationaleFaciliteit Informatica)Programme. | | 出版日期 | Conference proceedings 1993 | | 关键词 | Action; Alef; Constraint; concurrency; functional programming; logic; programming; programming language; sem | | 版次 | 1 | | doi | https://doi.org/10.1007/3-540-56596-5 | | isbn_softcover | 978-3-540-56596-3 | | isbn_ebook | 978-3-540-47595-8Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 1993 |
The information of publication is updating
|
|
发表于 2025-3-21 16:22:17
