咨询与建议

限定检索结果

文献类型

  • 25 篇 会议
  • 8 册 图书
  • 3 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

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

主题

  • 6 篇 logic programmin...
  • 5 篇 mathematical log...
  • 5 篇 programming tech...
  • 3 篇 theory of comput...
  • 3 篇 software enginee...
  • 3 篇 logics and meani...
  • 2 篇 software enginee...
  • 2 篇 formal logic
  • 2 篇 mathematical log...
  • 2 篇 semantics
  • 2 篇 programming lang...
  • 2 篇 artificial intel...
  • 2 篇 functional progr...
  • 1 篇 object oriented ...
  • 1 篇 computer circuit...
  • 1 篇 libraries
  • 1 篇 foundations
  • 1 篇 cognition
  • 1 篇 concurrent compu...
  • 1 篇 programming

机构

  • 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 篇 department of co...
  • 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...

作者

  • 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

语言

  • 36 篇 英文
检索条件"任意字段=Workshop on Foundations of Logic and Functional Programming, 1986"
36 条 记 录,以下是31-40 订阅
排序:
Graph Grammars and Their Application to Computer Science  1
收藏 引用
丛书名: Lecture Notes in Computer Science
1000年
This volume contains papers selected from the contributionsto the 4th International workshop on Graph Grammars andTheir Application to Computer Science. It is intended toprovide a rich source of information on t... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Refinement Types for Secure Implementations
Refinement Types for Secure Implementations
收藏 引用
Computer Security foundations workshop
作者: Jesper Bengtson Karthikeyan Bhargavan Cédric Fournet Andrew D. Gordon Sergio Maffeis University of Uppsala Sweden Microsoft Research Limited USA University of California Santa Cruz USA
We present the design and implementation of a typechecker for verifying security properties of the source code of cryptographic protocols and access control mechanisms. The underlying type theory is a λ-calculus equi... 详细信息
来源: 评论
VERONICA: Expressive and Precise Concurrent Information Flow Security
VERONICA: Expressive and Precise Concurrent Information Flow...
收藏 引用
Computer Security foundations workshop
作者: Daniel Schoepe Toby Murray Andrei Sabelfeld Chalmers University of Technology University of Melbourne and Data61
Methods for proving that concurrent software does not leak its secrets has remained an active topic of research for at least the past four decades. Despite an impressive array of work, the present situation remains hi... 详细信息
来源: 评论