检索结果-内蒙古大学图书馆

6th workshop on the Mathematical Foundations of programming Semantics

This issue contains 9 conference papers. They cover: linear logic;domain theory;proof rules for fairness;Haginos categorical programming language;modal logic and algebraic specification;logic for category theory;logic... 详细信息

关键词： programming theory

来源：评论

学校读者我要写书评

暂无评论

A CATEGORIAL theory OF OBJECTS AS OBSERVED PROCESSES

引用

SCHOOL/workshop ON RESEARCH AND EDUCATION IN CONCURRENT SYSTEMS ORIENTED LANGUAGES

作者： EHRICH, HD GOGUEN, JA SERNADAS, A Abteilung Datenbanken Technische Universität Braunschweig Braunschweig D-3300 Germany Programming Research Group Oxford University Computing Lab Oxford OXI 3QD United Kingdom Departamento de Matematica Instituto Superior Técnico Lisboa Codex 1096 Portugal

ISBN: (纸本)354053931X

The semantic domain for object-oriented languages and systems outlined in this paper is an amalgamation of two approaches: the objects-as-sheaves approach of the second author published nearly two decades ago, and the more recent ideas of the first and third authors on objects as processes endowed with observation. The basic insight is that objects in the latter sense correspond to object morphisms in the former sense. After an informal introduction into both approaches, we first elaborate on the sheaf model, using the term “behaviour” for objects in this sense, and avoiding concepts from topology. Behaviours and behaviour morphisms are shown to form a complete category where parallel composition is reflected by limits. Objects are defined to be behaviour morphisms, giving rise to a cocomplete category of objects where colimits reflect object aggregation. Object morphisms reflect different forms of inheritance, and also object reification (implementing objects over objects) is conveniently expressed in this framework. © Springer-Verlag Berlin Heidelberg 1991.

关键词： OBJECT-ORIENTED SYSTEM OBJECT OBJECT MORPHISM PROCESS BEHAVIOR OBJECT AGGREGATION PARALLEL COMPOSITION OBJECT INHERITANCE OBJECT REIFICATION

来源：评论

学校读者我要写书评

暂无评论

Graph grammars and logic programming 4th

引用

4th International workshop on Graph Grammars and Their Application to computer Science, 1990

作者： Corradini, Andrea Montanari, Ugo Rossi, Francesca Ehrig, Hartmut Löwe, Michael Università di Pisa Dipartimento di Informatica Corso Italia 40 Pisa56125 Italy Fachbereich lnformatik 20 Technische University Berlin Berlin 10D-1000 Germany

ISBN: (纸本)9783540544784

In this paper we investigate the relationship between the algebraic definition of graph grammars and logic programming. In particular, we show that the operational semantics of any logic program can be faithfully simulated by a particular context-free hypergraph grammar. In the process of doing that, we consider the issue of representing terms, formulas, and clauses as particular graphs or graph productions, by first evaluating the approaches already proposed for Term Rewriting Systems (TRS), and then by giving an original extension of those approaches, to be able to deal with the unique features of logic programming. Actually, not only does our representation of definite clauses by graph productions allow us to deal correctly with logical unification, but also it overcomes some of the problems encountered by other approaches for representing TRS’s as graph grammars. The main result of the paper states the soundness and completeness of the representation of clauses by productions, and this correspondence is extended to entire computations, showing how a context-free grammar (over a suitable category of graphs) can be associated with a logic program. The converse holds as well, i.e. given any context-free graph grammar (over that category), a logic program can be extracted from it. © 1991, Springer Verlag. All rights reserved.

关键词： Graph theory

来源：评论

学校读者我要写书评

暂无评论

FIXED-POINTS IN CARTESIAN CLOSED CATEGORIES

引用

THEORETICAL computer SCIENCE 1990年第1期70卷 65-72页

作者： BARR, M Department of Mathematics and Statistics McGill University 805 Sherbrooke St. W. Montréal Québec Canada H3P 1S4

The purpose of this paper is to begin the study of domain theory in a context that is also appropriate for semantic models of other aspects of computation, that is in cartesian closed categories with a natural numbers object. I show that if D is an internally ω-complete partial order with bottom in such a category, then the usual construction of least fixed point of an ω-continuous endomorphism can be internalized as an arrow from the object of ω-continuous endomorphisms of D (suitably defined) to D itself.

关键词： computer programming

来源：评论

学校读者我要写书评

暂无评论

Objects, object types, and object identification

引用

International workshop on Categorical Methods in computer Science with Aspects from Topology, 1988

作者： Ehrich, H.-D. Sernadas, A. Sernadas, C. Informatik/Datenbanken TUBS Postfach 3329 BraunschweigD-3300 Germany Departamento de Matematica IST Lisboa Codex1096 Portugal

ISBN: (纸本)9783540517221

The usefulness of category-theoretic concepts for a theory of object-oriented programming is advocated. Objects (in the latter sense) are defined as objects (in the category-theoretic sense) of a category OB. Colimits in OB are used to express aggregation of objects into complex objects as well as interaction between objects. Object types consist of an identification system, the object universe, and an instantiation system, describing the instances of the type. The main result of this paper gives a semantic basis for database-like identification by keys: the object universe can be specified uniquely (up to isomorphism) employing general principles of preservation of data, distinguishability by keys, and representability by keys. © 1989, Springer-Verlag.

关键词： Object oriented programming

来源：评论

学校读者我要写书评

暂无评论

Pitt, D.;Abramsky, S.;Poigné, A.;Rydeheard, D. (eds.), category theory and computer programming. Tutorial and workshop, Guildford, U.K., September 16–20, 1985, Proceedings. Berlin etc., Springer-Verlag 1986. VII, 519 S., DM 66.–. ISBN 3-540-17162-2 (Lecture Notes in computer Science 240)

引用

ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift für Angewandte Mathematik und Mechanik 1988年第1期68卷

作者： D. Richter Berlin

来源：评论

学校读者我要写书评

暂无评论

The algebraic specification of semicomputable data types 5th

引用

5th workshop on Specification of Abstract Data Types, 1987

作者： Vrancken, J.L.M. Programming Research Group University of Amsterdam Aten Laboratorium Kruislaan 409 Amsterdam1098 SJ Netherlands

A proof is given for a theorem stating that every semicomputable data type can be specified with only one hidden sort. Preceding this, definitions for the notions signature and algebra are given in the setting of cate... 详细信息

ISBN: (纸本)9783540503255

关键词： Algebra

来源：评论

学校读者我要写书评

暂无评论

workshop on category theory and computer programming, 1985

Workshop on Category Theory and Computer Programming, 1985

引用

workshop on category theory and computer programming, 1985

ISBN: (纸本)9783540171621

The proceedings contain 28 papers. The special focus in this conference is on category theory and computer programming. The topics include: A categorical view of weakest liberal preconditions;functor-category semantics of programming languages and logics;finite approximation of spaces: Extended abstract;Categories of partial morphisms and the λP-calculus: Extended abstract;a note on distributive laws and power domains;category theory and models for parallel computation;categorical models of process cooperation;galois connections and computer science applications;a study in the foundations of programming methodology: Specifications, institutions, charters and parchments;elements of categorical reasoning: Products and coproducts and some other (co-)limits;bits and pieces of the theory of institutions;Extended ML: An institution-independent framework for formal program development;behavioural program specification;key extensions of abstract data types, final algebras, and database semantics;theories as categories;internal completeness of categories of domains;formalising the network and hierarchical data models — an application of categorical Logic;a categorical unification algorithm;computing with categories;functors and natural transformations;adjunctions;cartesian closure — Higher types in categories;algebra categorically;category theory and logic;categories, data types, and imperative languages;category theory and programming language semantics: An overview.

关键词：

来源：评论

学校读者我要写书评

暂无评论

BOOK REVIEWS

引用

The Professional Geographer 1987年第4期39卷

Book Reviewed in this article: Geographical Aspects of Health and Disease in India . R ais A khtar and A.T.A. L earmonth , eds . Antarctic Treaty System: An Assessment . Proceedings of a workshop at Beardmore South Field Camp, Antarctica. American Electoral Mosaics . J. C lark A rcher and F red M. S helley . Kompas op Suidwes-Afrika/Namibie . W.S. B arnard , ed . Jerusalem in the 19th Century: The Old City . Y ehoshua B en -A rieh . The World as a Total System . K enneth E. B oulding . A Social History of Housing 1815–1985, Second Ed . J ohn B urnett . Human Migration . W.A.V. C lark . Regional Population Projection Models . A ndrei R ogers . The State of Population theory: Forward from Malthus . D avid C oleman and R oger S chofield , eds . Imagining Tomorrow: History, Technology and the American Future . J oseph C. C orn , ed. Swidden Agriculture in Indonesia: The Subsistence Strategies of the Kalimantan Kantú . M ichael R. D ove . Glacial Geologic Processes . D avid D rewry . Physics of Desertification . F arouk E l -B az and M.H.A. H assan , eds . Housing the Homeless . J on E rickson and C harles W ilhelm , eds . Settlement Patterns in Missouri: A Study of Population Origins, with a Wall Map . R ussel L. G erlach . Desert Development: Man and Technology in Sparselands . Y ehuda G radus , ed . Nuclear Winter. The Evidence and Risks . O wen G reene , I an P ercival and I rene R idge . The Take-off of Suburbia and the Crisis of the Central City . G ünter H einritz and E lisabeth L ichtenberger , eds . Regional Input-Output Analysis . G eoffrey J. D. H ewings . Spatial Transportation Modeling . C hristian W erner . The Atlas of Georgia . T homas W. H odler and H oward A. S chretter , eds . Latin America. 5th ed . P reston E. J ames and C.W. M inkel . Applied Remote Sensing . C.P. L o . Localities, Class, and Gender . T he L ancaster R egionalism G roup . Urban Social Movements: The City after Castells . S tuart L owe . Politics and Method . D oreen M assey and R ic

关键词： India medical geography health disease health care delivery. Antarctica Antarctic Treaty science politics electoral mosaics electoral geography political culture sectionalism voting representation. Namibia geography history economics politics religion holy cities Middle East Ottoman empire Palestine 19th centruy systems theory global interaction social triangle stable peace housing rural urban England nineteenth century twentieth century population geography population migration regional population projection methods population demography Malthus population theory demographic regime population regulation future prediction utopia technology Kantú swidden agriculture subsistence strategies glaciers glaciology processes landforms icebergs sea ice desertification arid lands aeolian geomorphology subaqueous bedforms housing homeless urban and social geography Missouri rural ethnicity settlement map history desert sparselands architecture high technology services development nuclear winter smoke climatic ecological and human consequences uncertainties and risks policy implications suburbs public transport inner city planning input-output social accounting mutiplier linkages transport flows network loading linear programming network design Georgia atlas graphics Latin America human geography physical geography regional survey remote sensing applications remote sensing photogrammetry satellite image analysis earth resource analysis social change economic change class gender Castells urban social movements consumption sectors mobilization process methodology policy industry politics development manufacturing land use interdisciplinary decision-making stone coal anthracite entrepreneurs miners ethnicity presidios New Spain frontiers historiography military nuclear power siting power plant planning Central African Republic development colonialism economic dependence Hungary Geomorphology agriculture enviornment remote sensing land-use land-cover resources natural hazards policy dispute acid rain Canada U.S. geomorphology te

来源：评论

学校读者我要写书评

暂无评论

category theory and logic

Category theory and logic

引用

workshop on category theory and computer programming, 1985

作者： Poigné, Axel

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：