咨询与建议

限定检索结果

文献类型

  • 68 篇 会议
  • 9 册 图书
  • 2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 56 篇 工学
    • 56 篇 计算机科学与技术...
    • 45 篇 软件工程
    • 6 篇 信息与通信工程
    • 4 篇 电气工程
    • 4 篇 控制科学与工程
    • 2 篇 建筑学
    • 1 篇 电子科学与技术(可...
    • 1 篇 土木工程
    • 1 篇 化学工程与技术
    • 1 篇 生物医学工程(可授...
    • 1 篇 生物工程
  • 13 篇 理学
    • 10 篇 数学
    • 4 篇 系统科学
    • 2 篇 统计学(可授理学、...
    • 1 篇 化学
    • 1 篇 大气科学
    • 1 篇 生物学
  • 5 篇 管理学
    • 4 篇 图书情报与档案管...
    • 2 篇 管理科学与工程(可...
    • 1 篇 工商管理

主题

  • 10 篇 computer program...
  • 7 篇 software enginee...
  • 7 篇 programming lang...
  • 7 篇 logics and meani...
  • 5 篇 mathematical log...
  • 5 篇 programming tech...
  • 4 篇 computer languag...
  • 4 篇 functional progr...
  • 3 篇 software enginee...
  • 3 篇 parallel process...
  • 3 篇 c (programming l...
  • 3 篇 problem oriented...
  • 2 篇 object oriented ...
  • 2 篇 parallel process...
  • 2 篇 e-learning
  • 2 篇 operating system...
  • 2 篇 modeling languag...
  • 2 篇 computer communi...
  • 2 篇 logic programmin...
  • 2 篇 artificial intel...

机构

  • 3 篇 chair for progra...
  • 1 篇 icase nasa langl...
  • 1 篇 lig lab saint ma...
  • 1 篇 dipartimento di ...
  • 1 篇 xerox palo alto ...
  • 1 篇 institut für inf...
  • 1 篇 departamento de ...
  • 1 篇 univ michigan an...
  • 1 篇 department of co...
  • 1 篇 ucla united stat...
  • 1 篇 independent/item...
  • 1 篇 center for digit...
  • 1 篇 sun microsystems...
  • 1 篇 pleiad laboratro...
  • 1 篇 dept. ingeniería...
  • 1 篇 rutgers state un...
  • 1 篇 school of comput...
  • 1 篇 univ technol syd...
  • 1 篇 univ tokyo grad ...
  • 1 篇 univ mannheim it...

作者

  • 3 篇 steffen bernhard
  • 2 篇 stuckey peter j.
  • 2 篇 naoki kobayashi
  • 2 篇 naujokat stefan
  • 1 篇 steele guy l.
  • 1 篇 liu yanhong a.
  • 1 篇 erlingsson úlfar
  • 1 篇 johan fabry
  • 1 篇 nestmann u
  • 1 篇 j.-l. gaudiot
  • 1 篇 maritsas d.g.
  • 1 篇 bai lan s.
  • 1 篇 viorica sofronie...
  • 1 篇 nardone roberto
  • 1 篇 di domenico dani...
  • 1 篇 ioan-dragoş deac...
  • 1 篇 kiselyov oleg
  • 1 篇 carlos canal
  • 1 篇 gossen frederik
  • 1 篇 hutchison david

语言

  • 76 篇 英文
  • 2 篇 其他
  • 1 篇 中文
检索条件"任意字段=8th Asian Symposium on Programming Languages and Systems"
79 条 记 录,以下是1-10 订阅
8th asian symposium on programming languages and systems, APLAS 2010
8th Asian Symposium on Programming Languages and Systems, AP...
收藏 引用
8th asian symposium on programming languages and systems, APLAS 2010
the proceedings contain 30 papers. the special focus in this conference is on programming languages and systems. the topics include: Simple and precise widenings for H-polyhedra;metric spaces and termination analyses;...
来源: 评论
programming languages and systems - 8th asian symposium, APLAS 2010, Proceedings
Programming Languages and Systems - 8th Asian Symposium, APL...
收藏 引用
8th asian symposium on programming languages and systems, APLAS 2010
the proceedings contain 30 papers. the topics discussed include: foundations of quantum programming;from a verified kernel towards verified systems;reasoning about computations using two-levels of logic;towards derivi...
来源: 评论
Conference Record of the Annual ACM symposium on Principles of programming languages
Conference Record of the Annual ACM Symposium on Principles ...
收藏 引用
8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, POPL 1981
the proceedings contain 23 papers. the topics discussed include: modeling of problem domains for driving program development systems;programming primitives for database languages;paths: an abstract alternative to poin...
来源: 评论
16th asian symposium on programming languages and systems, APLAS 2018
16th Asian Symposium on Programming Languages and Systems, A...
收藏 引用
16th asian symposium on programming languages and systems, APLAS 2018
the proceedings contain 22 papers. the special focus in this conference is on programming languages and systems. the topics include: New Approaches for Almost-Sure Termination of Probabilistic Programs;particle-Style ...
来源: 评论
8th International symposium on programming languages: Implementations, Logics, and Programs, PLILP 1996
8th International Symposium on Programming Languages: Implem...
收藏 引用
8th International symposium on programming languages, Implementations, Logics, and Programs, PLILP 1996
the proceedings contain 36 papers. the special focus in this conference is on Typing and Structuring systems. the topics include: Calculate polytypically;limits of ML-definability;functorial ML;parametric polymorphism...
来源: 评论
From a Verified Kernel towards Verified systems
From a Verified Kernel towards Verified Systems
收藏 引用
8th asian symposium on programming languages and systems
作者: Klein, Gerwin NICTA Australia School of Computer Science and Engineering UNSW Sydney NSW Australia
the *** project has produced a formal, machine-checked Isabelle/HOL proof that the C code of the seL4 OS microkernel correctly implements its abstract implementation. this paper briefly summarises the proof, its main ... 详细信息
来源: 评论
Type Inference for Sublinear Space Functional programming
Type Inference for Sublinear Space Functional Programming
收藏 引用
8th asian symposium on programming languages and systems
作者: Dal Lago, Ugo Schoepp, Ulrich Univ Bologna I-40126 Bologna Italy Ludwig Maximilians Univ Munchen Munich Germany
We consider programming language aspects of algorithms that operate on data too large to fit into memory. In previous work we have introduced intML, a functional programming language with primitives that support the i... 详细信息
来源: 评论
Bisimulation Proof Methods in a Path-Based Specification Language for Polynomial Coalgebras
Bisimulation Proof Methods in a Path-Based Specification Lan...
收藏 引用
8th asian symposium on programming languages and systems
作者: Zhou, Xiao-cong Li, Yong-ji Li, Wen-jun Qiao, Hai-yan Shu, Zhong-mei Sun Yat Sen Univ Guangzhou 510275 Guangdong Peoples R China
Bisimulation is one of the fundamental concepts of the theory of coalgebras. However, it is difficult to verify whether a relation is a bisimulation. Although some categorical bisimulation proof methods for coalgebras... 详细信息
来源: 评论
A Quick Tour of the VeriFast Program Verifier
A Quick Tour of the VeriFast Program Verifier
收藏 引用
8th asian symposium on programming languages and systems
作者: Jacobs, Bart Smans, Jan Piessens, Frank Department of Computer Science Leuven Belgium Research Foundation - Flanders (FWO) Belgium
this paper describes the main features of VeriFast, a sound and modular program verifier for C and Java. VeriFast takes as input a number of source files annotated with method contracts written in separation logic, in... 详细信息
来源: 评论
Foundations of Quantum programming (Extended Abstract)
Foundations of Quantum Programming (Extended Abstract)
收藏 引用
8th asian symposium on programming languages and systems
作者: Ying, Mingsheng Univ Technol Sydney Ctr Quantum Computat & Intelligent Syst Sydney NSW 2007 Australia
Progress in the techniques of quantum devices has made people widely believe that large-scale and functional quantum computers will be eventually built. By then, super-powered quantum computer will solve many problems... 详细信息
来源: 评论