咨询与建议

限定检索结果

文献类型

  • 25 篇 会议
  • 3 篇 期刊文献

馆藏范围

  • 28 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 19 篇 工学
    • 19 篇 计算机科学与技术...
    • 13 篇 软件工程
    • 1 篇 材料科学与工程(可...
    • 1 篇 电气工程
    • 1 篇 信息与通信工程
    • 1 篇 建筑学
  • 10 篇 理学
    • 10 篇 数学
    • 2 篇 统计学(可授理学、...
    • 1 篇 物理学
    • 1 篇 化学
  • 3 篇 管理学
    • 3 篇 图书情报与档案管...

主题

  • 6 篇 logic programmin...
  • 2 篇 formal logic
  • 2 篇 semantics
  • 2 篇 functional progr...
  • 1 篇 object oriented ...
  • 1 篇 computer circuit...
  • 1 篇 libraries
  • 1 篇 foundations
  • 1 篇 cognition
  • 1 篇 concurrent compu...
  • 1 篇 programming
  • 1 篇 sensitivity
  • 1 篇 agda
  • 1 篇 dependent type
  • 1 篇 infinite data
  • 1 篇 functional logic...
  • 1 篇 exhaustible set
  • 1 篇 educational inst...
  • 1 篇 computer securit...
  • 1 篇 mechanical facto...

机构

  • 1 篇 portland state u...
  • 1 篇 department of in...
  • 1 篇 laboratory for t...
  • 1 篇 ladseb-cnr corso...
  • 1 篇 sri internationa...
  • 1 篇 department of co...
  • 1 篇 gec hirst resear...
  • 1 篇 syracuse univ na...
  • 1 篇 department of ar...
  • 1 篇 university of ca...
  • 1 篇 institute of com...
  • 1 篇 chalmers univers...
  • 1 篇 microsoft resear...
  • 1 篇 univ birmingham ...
  • 1 篇 center for the s...
  • 1 篇 sri internationa...
  • 1 篇 laboratoire d'in...
  • 1 篇 laboratory for f...
  • 1 篇 computer science...
  • 1 篇 laboratory for t...

作者

  • 2 篇 longley john
  • 2 篇 goguen joseph a.
  • 1 篇 meseguer josé
  • 1 篇 guarino nicola
  • 1 篇 cédric fournet
  • 1 篇 andrei sabelfeld
  • 1 篇 miglioli p.
  • 1 篇 kumar anil
  • 1 篇 staples john
  • 1 篇 nielson f
  • 1 篇 burn gl
  • 1 篇 sannella donald
  • 1 篇 ornaghi m.
  • 1 篇 ferrand g.
  • 1 篇 karthikeyan bhar...
  • 1 篇 abramsky s
  • 1 篇 antoy s
  • 1 篇 tessier a.
  • 1 篇 jesper bengtson
  • 1 篇 tarlecki andrzej

语言

  • 28 篇 英文
检索条件"任意字段=Workshop on Foundations of Logic and Functional Programming, 1986"
28 条 记 录,以下是21-30 订阅
排序:
Extensions and foundations of object-oriented programming  86
Extensions and foundations of object-oriented programming
收藏 引用
1986 SIGPLAN workshop on Object-Oriented programming, OOPWORK 1986
作者: Goguen, Joseph A. Meseguer, José SRI International Menlo ParkCA94025 United States Center for the Study of Language and Information Stanford University 94305 United States
This paper has three major objectives: (i) to provide several new features for object-oriented programming (OOP);(ii) to provide a rigorous logical semantics for OOP;and (in) to unify OOP with functional programming. ... 详细信息
来源: 评论
Proceedings of the 1986 SIGPLAN workshop on Object-Oriented programming, OOPWORK 1986
Proceedings of the 1986 SIGPLAN Workshop on Object-Oriented ...
收藏 引用
1986 SIGPLAN workshop on Object-Oriented programming, OOPWORK 1986
The proceedings contain 19 papers. The topics discussed include: an object-oriented framework for graphical programming;compilation into actors;exceptions in object-oriented languages;a generalized object model;object...
来源: 评论
workshop on Category Theory and Computer programming, 1985
Workshop on Category Theory and Computer Programming, 1985
收藏 引用
workshop on Category Theory and Computer programming, 1985
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 semantic...
来源: 评论
Formalising the network and hierarchical data models — an application of categorical logic
Formalising the network and hierarchical data models — an a...
收藏 引用
workshop on Category Theory and Computer programming, 1985
作者: Cartmell, John Software Sciences Ltd. London and Manchester House Park Street MacclesfieldCheshireSKI1 6SR United Kingdom
We have noted that data modelling and conceptual modelling have content and performance as their concerns. For the different data models, the Network and the Hierarchic, we have given logics involving the operations w... 详细信息
来源: 评论
ARTIFICIAL INTELLIGENCE, logic programming, AND STATISTICS IN MAGNETIC RESONANCE IMAGING AND SPECTROSCOPIC ANALYSIS.
收藏 引用
Artificial Intelligence Applications in Chemistry. Developed from a Symposium at the 190th Meeting of the American Chemical Society.
作者: Harner, Teresa J. Levy, George C. Dudewicz, Edward J. Delaglio, Frank Kumar, Anil Syracuse Univ Natl Inst of Health Resource for Multi-Nuclei NMR & Data Processing Syracuse NY USA Syracuse Univ Natl Inst of Health Resource for Multi-Nuclei NMR & Data Processing Syracuse N
logic programming in combination with expert directed statistical analysis makes possible a unique aproach to new expert systems for NMR and other chemical analyses as well as for medical applications of NMR. This app... 详细信息
来源: 评论
A study in the foundations of programming methodology: Specifications, institutions, charters and parchments
A study in the foundations of programming methodology: Speci...
收藏 引用
workshop on Category Theory and Computer programming, 1985
作者: Goguen, Joseph A. Burstall, R.M. SRI International the University of Edinburgh United Kingdom Center for the the Study of Language and Information at Stanford University United States
The theory of institutions formalizes the intuitive notion of a "logical system." Institutions were introduced (1) to support as much computer science as possible independently of the underlying logical syst... 详细信息
来源: 评论
The theory of strictness analysis for higher order functions
The theory of strictness analysis for higher order functions
收藏 引用
workshop on Programs as Data Objects, 1985
作者: Burn, Gl Hankin, Cl Abramsky, S. GEC Hirst Research Centre East Lane WembleyMiddxHA9 7PP United Kingdom Department of Computing Imperial College of Science and Technology 180 Queen's Gate LondonSW7 2BZ United Kingdom
Abstract interpretation is a compile-time technique which is used to gain information about a program that may then be used to optimise the execution of the program. A particular use of abstract interpretation is in s... 详细信息
来源: 评论
Extended ML: An institution-independent framework for formal program development
Extended ML: An institution-independent framework for formal...
收藏 引用
workshop on Category Theory and Computer programming, 1985
作者: Sannella, Donald Tarlecki, Andrzej Department of Artificial Intelligience University of Edinburgh United Kingdom Laboratory for Foundations of Computer Science Department of Computer Science University of Edinburgh United Kingdom Institute of Computer Science Polish Academy of Sciences Warsaw Poland
The Extended ML specification language provides a framework for the formal stepwise development of modular programs in the Standard ML programming language from specifications. The object of this paper is to equip Ext... 详细信息
来源: 评论