掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
召开年:
2009
召开地:
Savannah, GA(US)
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
High-level small-step operational semantics for transactions
机译:
高级小型操作语义进行交易
作者:
Katherine F. Moore
;
Dan Grossman
;
PDan Grossman
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2008年
关键词:
weak atomicity;
2.
Demand-driven alias analysis for C
机译:
C的需求驱动别名分析
作者:
Xin Zheng
;
Radu Rugina
;
PXin Zheng
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2008年
关键词:
pointer analysis;
3.
Much ado about two (pearl)
机译:
大约两个(珍珠)
作者:
Janis Voigtlander
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2008年
关键词:
relational parametricity;
4.
Lifting abstract interpreters to quantified logical domains
机译:
提升抽象口译员到量化的逻辑域
作者:
Sumit Gulwani
;
Bill McCloskey
;
Ashish Tiwari
;
PSumit Gulwani
;
PBill McCloskey
;
PAshish Tiwari
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2008年
关键词:
underapproximation algorithms;
5.
An approach to call-by-name delimited continuations
机译:
呼叫的方法分隔持续
作者:
Hugo Herbelin
;
Silvia Ghilezan
;
PHugo Herbelin
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2008年
关键词:
observational completeness;
6.
Semantics of transactional memory and automatic mutual exclusion
机译:
交易记忆的语义与自动相互排斥
作者:
Martin Abadi
;
Andrew Birrell
;
Tim Harris
;
Michael Isard
;
PTim Harris
;
PMichael Isard
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2008年
关键词:
transactional memory;
7.
Systems biology, models, and concurrency
机译:
系统生物学,模型和并发性
作者:
Walter Fontana
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2008年
关键词:
systems biology;
8.
Separation logic, abstraction and inheritance
机译:
分离逻辑,抽象和继承
作者:
Matthew J. Parkinson
;
Gavin M. Bierman
;
PGavin M. Bierman
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2008年
关键词:
separation logic;
9.
Caml trading
机译:
CAML交易
作者:
Yaron M. Minsky
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2008年
关键词:
functional programming;
10.
Relevance heuristics for program analysis
机译:
计划分析的相关启发式
作者:
K. L. McMillan
;
PK. L. McMillan
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2008年
关键词:
model checking;
11.
Foundations for structured programming with GADTs
机译:
具有加入的结构化编程的基础
作者:
Patricia Johann
;
Neil Ghani
;
PNeil Ghani
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2008年
关键词:
program fusion;
12.
Imperative self-adjusting computation
机译:
势在必行的自我调整计算
作者:
Umut A. Acar
;
Amal Ahmed
;
Matthias Blume
;
PMatthias Blume
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2008年
关键词:
step-indexed logical relations;
13.
Generating precise and concise procedure summaries
机译:
生成精确和简明的程序摘要
作者:
Greta Yorsh
;
Eran Yahav
;
Satish Chandra
;
PGreta Yorsh
;
PEran Yahav
;
PSatish Chandra
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2008年
关键词:
typestate verification;
14.
Cryptographically sound implementations for typed information-flow security
机译:
键入信息流安全的加密声音实现
作者:
Cedric Fournet
;
Tamara Rezk
;
PCedric Fournet
;
PTamara Rezk
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2008年
关键词:
type systems;
15.
Cyclic proofs of program termination in separation logic
机译:
分离逻辑中程序终止的循环证明
作者:
James Brotherston
;
Richard Bornat
;
Cristiano Calcagno
;
PJames Brotherston
;
PRichard Bornat
;
PCristiano Calcagno
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2008年
关键词:
termination;
16.
Enhancing modular OO verification with separation logic
机译:
使用分离逻辑增强模块化OO验证
作者:
Wei-Ngan Chin
;
Cristina David
;
Huu Hai Nguyen
;
Shengchao Qin
;
PWei-Ngan Chin
;
PHuu Hai Nguyen
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2008年
关键词:
static and dynamic specifications;
17.
Formal certification of code-based cryptographic proofs
机译:
基于代码的加密证明的正式认证
作者:
Gilles Barthe
;
Benjamin Gregoire
;
Santiago Zanella Beguelin
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
coq proof assistant;
cryptographic proofs;
observational equivalence;
program transformations;
relational hoare logic;
18.
Static contract checking for Haskell
机译:
Haskell的静态合同检查
作者:
Dana N. Xu
;
Simon Peyton Jones
;
Koen Claessen
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
contract satisfaction;
static contract checking;
19.
Positive supercompilation for a higher order call-by-value language
机译:
适用于更高阶的逐个价值语言的正超级媒体
作者:
Peter A. Jonsson
;
Johan Nordlander
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
call-by-value;
deforestation;
supercompilation;
20.
State-dependent representation independence
机译:
国家依赖代表独立性
作者:
Amal Ahmed
;
Derek Dreyer
;
Andreas Rossberg
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
abstract data types;
existential types;
local state;
representation independence;
step-indexed logical relations;
21.
A combination framework for tracking partition sizes
机译:
用于跟踪分区大小的组合框架
作者:
Sumit Gulwani
;
Tal Lev-Ami
;
Mooly Sagiv
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
combining analyses;
memory safety;
numerical analysis;
set analysis;
shape analysis;
space bounds;
termination;
22.
A model of cooperative threads
机译:
合作线程模型
作者:
Martin Abadi
;
Gordon Plotkin
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
denotational semantics;
monad;
operational semantics;
transaction;
23.
The semantics of progress in lock-based transactional memory
机译:
基于锁的交易记忆中的进展的语义
作者:
Rachid Guerraoui
;
Michal Kapalka
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
consensus number;
impossibility;
lock;
lower bound;
reduction;
semantics;
transactional memory;
try-lock;
24.
Relaxed memory models
机译:
轻松的记忆模式
作者:
Gerard Boudol
;
Gustavo Petri
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
memory models;
operational semantics;
25.
A calculus of atomic actions
机译:
原子学行动的微积分
作者:
Tayfun Elmas
;
Shaz Qadeer
;
Serdar Tasiran
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
abstraction;
atomicity;
concurrent programs;
reduction;
26.
A foundation for flow-based program matching
机译:
基于流程的计划匹配基础
作者:
Julien Brunel
;
Damien Doligez
;
Rene Rydhof Hansen
;
Julia L. Lawall
;
Gilles Muller
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
bug finding;
ctl;
model checking;
program matching;
program transformation;
27.
Masked types for sound object initialization
机译:
用于声音对象初始化的屏蔽类型
作者:
Xin Qi
;
Andrew C. Myers
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
conditional masks;
cyclic data structures;
data abstraction;
invariants;
null pointer exceptions;
28.
SPEED
机译:
速度
作者:
Sumit Gulwani
;
Krishna K. Mehra
;
Trishul Chilimbi
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
counter instrumentation;
quantitative functions;
symbolic complexity bounds;
termination analysis;
29.
The third homomorphism theorem on trees
机译:
树木上的第三个同性恋定理
作者:
Akimasa Morihata
;
Kiminori Matsuzaki
;
Zhenjiang Hu
;
Masato Takeichi
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
divide-and-conquer;
huet's zippers;
polynomial data structures;
the third homomorphism theorem;
30.
Semi-sparse flow-sensitive pointer analysis
机译:
半稀疏流动敏感指针分析
作者:
Ben Hardekopf
;
Calvin Lin
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
alias analysis;
pointer analysis;
31.
Lazy evaluation and delimited control
机译:
懒惰评估和分隔控制
作者:
Ronald Garcia
;
Andrew Lumsdaine
;
Amr Sabry
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
abstract machines;
call-by-need;
delimited continuations;
lambda calculus;
reduction semantics;
32.
Classical BI
机译:
古典BI
作者:
James Brotherston
;
Cristiano Calcagno
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
bunched implications;
classical bi;
completeness;
cut-elimination;
display logic;
resource models;
semantics;
33.
Verifying distributed systems
机译:
验证分布式系统
作者:
Thomas Ridge
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
distributed;
ground and symbolic evaluation;
hoare-style assertions;
hol;
inductive reasoning;
infrastructure;
invariants;
linearizability;
local reasoning;
network protocol;
ocaml;
operational semantics;
persistent queue;
refinement;
rely/guarantee;
separation;
34.
Wild control operators
机译:
野生控制运营商
作者:
Chris Barker
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
continuations;
control operators;
fcontrol;
focus;
natural language;
reset;
same;
shift;
35.
Compositional shape analysis by means of bi-abduction
机译:
通过双展管构成形状分析
作者:
Cristiano Calcagno
;
Dino Distefano
;
Peter OHearn
;
Hongseok Yang
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
abduction;
program analysis;
proof theory;
36.
The semantics of x86-CC multiprocessor machine code
机译:
X86-CC多处理器机代码的语义
作者:
Susmit Sarkar
;
Peter Sewell
;
Francesco Zappa Nardelli
;
Scott Owens
;
Tom Ridge
;
Thomas Braibant
;
Magnus O. Myreen
;
Jade Alglave
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
relaxed memory models;
semantics;
37.
Focusing on pattern matching
机译:
专注于模式匹配
作者:
Neelakantan R. Krishnaswami
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
curry-howard;
focusing;
pattern matching;
type theory;
38.
Proving that non-blocking algorithms don't block
机译:
证明非阻塞算法不会阻止
作者:
Alexey Gotsman
;
Byron Cook
;
Matthew Parkinson
;
Viktor Vafeiadis
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
concurrent programming;
formal verification;
liveness;
termination;
39.
Linear types for computational effects
机译:
用于计算效果的线性类型
作者:
Alex Simpson
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
computational effects;
computational monads;
linear logic;
40.
Feedback-directed barrier optimization in a strongly isolated STM
机译:
反馈定向的屏障优化强烈孤立的STM
作者:
Nathan G. Bronson
;
Christos Kozyrakis
;
Kunle Olukotun
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
bytecode rewriting;
deoptimization;
hot swap;
strong isolation;
transactional memory;
weak isolation;
41.
Automated verification of practical garbage collectors
机译:
自动验证实用垃圾收集器
作者:
Chris Hawblitzel
;
Erez Petrank
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
garbage collection;
verification;
42.
Equality saturation
机译:
平等饱和
作者:
Ross Tate
;
Michael Stepp
;
Zachary Tatlock
;
Sorin Lerner
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
compiler optimization;
equality reasoning;
intermediate representation;
43.
A cost semantics for self-adjusting computation
机译:
用于自调节计算的成本语义
作者:
Ruy Ley-Wild
;
Umut A. Acar
;
Matthew Fluet
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
self-adjusting computation;
44.
Copy-on-write in the PHP language
机译:
PHP语言中的复制写入
作者:
Akihiko Tozawa
;
Michiaki Tatsubori
;
Tamiya Onodera
;
Yasuhiko Minamide
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
graph rewriting;
php;
45.
Automatic modular abstractions for linear constraints
机译:
None
作者:
David P. Monniaux
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
abstract interpretation;
linear inequalities;
program transformation;
quantifier elimination;
46.
Bidirectionalization for free! (Pearl)
机译:
None
作者:
Janis Voigtlander
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
bidirectionalization;
free theorems;
generic programming;
haskell;
program transformation;
relational parametricity;
view-update problem;
47.
The theory of deadlock avoidance via discrete control
机译:
通过离散控制避免死锁理论
作者:
Yin Wang
;
Stephane Lafortune
;
Terence Kelly
;
Manjunath Kudlur
;
Scott Mahlke
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
concurrent programming;
discrete control theory;
dynamic deadlock avoidance;
multicore processors;
multithreaded programming;
parallel programming;
48.
Language constructs for transactional memory
机译:
交易记忆的语言构造
作者:
Tim Harris
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
atomic blocks;
stm;
transactional memory;
49.
Local rely-guarantee reasoning
机译:
地方依靠保证推理
作者:
Xinyu Feng
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
concurrency;
information hiding;
local reasoning;
rely-guarantee reasoning;
separation logic;
50.
Verifying liveness for asynchronous programs
机译:
验证异步程序的活力
作者:
Pierre Ganty
;
Rupak Majumdar
;
Andrey Rybalchenko
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
asynchronous (event-driven) programming;
fair termination;
liveness;
petri nets;
51.
Modeling abstract types in modules with open existential types
机译:
使用开放存在类型建模的模块中的抽象类型
作者:
Benoit Montagu
;
Didier Remy
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
abstract types;
existential types;
generativity;
lambda-calculus;
linear type systems;
modularity;
modules;
type systems;
52.
Unifying type checking and property checking for low-level code
机译:
统一类型检查和低级别代码检查
作者:
Jeremy Condit
;
Brian Hackett
;
Shuvendu K. Lahiri
;
Shaz Qadeer
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
assertion checking;
decision procedure;
low-level code;
property checking;
smt solver;
type checking;
53.
Types and higher-order recursion schemes for verification of higher-order programs
机译:
类型和高阶递归方案,用于验证高阶节目
作者:
Naoki Kobayashi
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
higher-order recursion scheme;
model checking;
type system;
54.
Modular code generation from synchronous block diagrams
机译:
来自同步框图的模块化代码
作者:
Roberto Lublinerman
;
Christian Szegedy
;
Stavros Tripakis
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
block diagrams;
clustering;
code generation;
embedded software;
np-complete;
synchronous languages;
55.
Flexible types
机译:
灵活类型
作者:
Daan Leijen
会议名称:
《Annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages》
|
2009年
关键词:
first-class polymorphism;
mlf;
system f;
意见反馈
回到顶部
回到首页