学术社交
学术应用
开放平台
注册
|
登录
邮箱
密码
验证码
换一下
自动登录
忘记密码？
使用其它帐号登录
登录或注册
邮箱：
密码：
验证码：
换一下
自动登录
忘记密码？
使用其它帐号登录
为什么使用第三方帐号？
讨厌烦人的注册表单，经常忘了用户名和密码，我有第三方帐号，我喜欢通用的帐号，这样很安全。
想用独立的帐号，还未开通？
赶快免费注册一个吧！
Patrick Maxim Rondon
A PHP Error was encountered
Severity: Notice
Message: Undefined index: id
Filename: views/view_author.php
Line Number: 127
机 构： Google
领 域： 科学计算, 软件工程, 编程语言
主 页：
http://cseweb.ucsd.edu/~prondon/
论文统计图
引用最多的论文
更多>>
Liquid types
Patrick Maxim Rondon
,
Ming Kawaguchi
,
Ranjit Jhala
SIGPLAN Conference on Programming Language Design and Implementation
2008
45次引用
0
0
0
0
保 存
限8个标签，单个标签英文限20个字符，中文限10个字符
保 存
取 消
分 享
取 消
Liquid types
Patrick Maxim Rondon
,
Ming Kawaguchi
,
Ranjit Jhala
Sigplan Notices
2008
30次引用
0
0
0
0
保 存
限8个标签，单个标签英文限20个字符，中文限10个字符
保 存
取 消
分 享
取 消
Type-based data structure verification
Ming Kawaguchi
,
Patrick Maxim Rondon
,
Ranjit Jhala
SIGPLAN Conference on Programming Language Design and Implementation
2009
11次引用
0
0
0
0
保 存
限8个标签，单个标签英文限20个字符，中文限10个字符
保 存
取 消
分 享
取 消
Type-based data structure verification
Ming Kawaguchi
,
Patrick Maxim Rondon
,
Ranjit Jhala
Sigplan Notices
2009
6次引用
0
0
0
0
保 存
限8个标签，单个标签英文限20个字符，中文限10个字符
保 存
取 消
分 享
取 消
Low-level liquid types
Patrick Maxim Rondon
,
Ming Kawaguchi
,
Ranjit Jhala
Sigplan Notices
2010
6次引用
0
0
0
0
保 存
限8个标签，单个标签英文限20个字符，中文限10个字符
保 存
取 消
分 享
取 消
最新的论文
更多>>
Abstract Refinement Types
Niki Vazou
,
Patrick Maxim Rondon
,
Ranjit Jhala
European Symposium on Programming
2013
1次引用
0
0
0
0
保 存
限8个标签，单个标签英文限20个字符，中文限10个字符
保 存
取 消
分 享
取 消
CSolve: Verifying C with Liquid Types
Patrick Maxim Rondon
,
Alexander Bakst
,
Ming Kawaguchi
,
Ranjit Jhala
Computer Aided Verification
2012
0次引用
0
0
0
0
保 存
限8个标签，单个标签英文限20个字符，中文限10个字符
保 存
取 消
分 享
取 消
Deterministic parallelism via liquid effects
Ming Kawaguchi
,
Patrick Maxim Rondon
,
Alexander Bakst
,
Ranjit Jhala
SIGPLAN Conference on Programming Language Design and Implementation
2012
0次引用
0
0
0
0
保 存
限8个标签，单个标签英文限20个字符，中文限10个字符
保 存
取 消
分 享
取 消
Nested refinements: a logic for duck typing
Ravi Chugh
,
Patrick Maxim Rondon
,
Ranjit Jhala
ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
2012
0次引用
0
0
0
0
保 存
限8个标签，单个标签英文限20个字符，中文限10个字符
保 存
取 消
分 享
取 消
Nested refinements: a logic for duck typing
Ravi Chugh
,
Patrick Maxim Rondon
,
Ranjit Jhala
Sigplan Notices
2012
5次引用
0
0
0
0
保 存
限8个标签，单个标签英文限20个字符，中文限10个字符
保 存
取 消
分 享
取 消
13
论文
107
引用
8
G-Index
5
H-Index
主要合作者
[查看详情]
关键词
Model Checking
Binary Search
Value Added
Polymorphism
Safety Properties
Coarse Grained
Data Structure
Predicate Abstraction
Type Inference
Hash Table
Complex Data
Dependent Types
Automated Verification
Data Type
Automatic Generation
Type System
Abstract Interpretation
Memory Safety
Theorem Proving
主要期刊 & 会议
SIGPLAN - Sigplan Notices
PLDI - SIGPLAN Conference on Programming Language Design and Implementation
POPL - ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
CAV - Computer Aided Verification
ESOP - European Symposium on Programming
COPYRIGHT © 2013 Powered By GOLAXY 中国科学院计算技术研究所 天玑团队
我想反馈：
问题
点子
排行榜
