shengyushen's academic research
2008年10月24日 星期五
porting/using the state of the art applications in web framework
How can I use state of the art program, such as pdf render, in web framework, with only minor modification?
0 评论:
发表评论
较新的帖子
较早的帖子
主页
订阅:
帖子评论 (Atom)
标签
theorem proving
(39)
program language
(29)
idea
(22)
logic
(18)
operating system
(15)
conference
(14)
model checking
(12)
EDA
(3)
tech
(3)
book
(2)
done
(2)
web
(2)
arch
(1)
music
(1)
searching
(1)
todo
(1)
favor site
citeseerx
yeeyan
digg
reddit
wikicfp
SIGPLAN
SIGSOFT
OCAML
Web_application_framework
负暄琐话
coq ref manual
coq lib reference
wikipedia
订阅
帖子
Atom
帖子
评论
Atom
评论
博客归档
►
2009
(1)
►
三月
(1)
VMCAI09: Mostly-Functional Behavior in Java Progra...
▼
2008
(84)
►
十二月
(1)
tacas 09 accepted papers
►
十一月
(5)
centos 5.2 dont include g++ by default installatio...
exploring similarity between sub constructor
disabling of mihuo protocol
formal method to warn us about the effect of updat...
bridge the gap of my mind and the state of the art...
▼
十月
(77)
ICSE 08:ReBA: Refactoring-aware Binary Adaptation ...
Incremental State-Space Exploration for Programs w...
Answering Conceptual Queries with Ferret
Bidirectionalization for Free
A Cost Semantics for Self-Adjusting Computation
Local Rely-Guarantee Reasoning
Static Contract Checking for Haskell
State-Dependent Representation Independence
a good survey of Mixed Transition Systems
usb device not recognized on CentOS 5.2 over dell ...
porting/using the state of the art applications in...
can type system be dynamic?
primitive recursion and general recursion
Handbook of Automated Reasoning
type system list
Hindley–Milner type inference algorithm
pointer type
yet another learn on dependent type
Some issue that may interference with my idea on r...
Curry-Howard correspondence
Programming in Martin-Löf's Type Theory
VMCAI 09 : Reducing Behavioural to Structural Prop...
VMCAI 09: Shape-value Abstraction for Verifying Li...
Inital consideration for regular data structure en...
VMCAI 09: LTL Generalized Model Checking Revisited...
LICS 08 paper list and their link
Design OS with full FL or Fl sematics
ICFP 08 : NixOS: A Purely Functional Linux Distrib...
ICFP 2008 paper's link
我给新来博士生的入门资料列表
Essentials of Programming Languages itpub
Richard Bornat (Middlesex page)
VMCAI 09 accepted paper and their link
Another list of ASPDAC accepted paper
ASPDAC 09 accepted paper and their link
POPL 09 accepted papers and their link
Upcoming conf
from data to structrue
Typed assembly language
A very light weight VM at application level and ca...
protect OS itself from affected
Guide to the history of web application framwork
design special hardware to boost functional langua...
Using library without reading documentation??
OSDI 08 : Hardware Enforcement of Application Secu...
OSDI 08 : Difference Engine: Harnessing Memory Red...
OSDI 08: DryadLINQ: A System for General-Purpose D...
OSDI 08: CuriOS: Improving Reliability through Ope...
OSDI'08 : Corey: an operating system for many core...
U Rank:collaborating searching
OSDI 08 : Improving MapReduce Performance in Heter...
a glue to merge the gap between two agent automati...
Dawson Engler is back
powerful e* tactic
web related topic
virtual machine as identification function
reasoning across language
dependent product
what is the defference between dependent product a...
compositions
varias tatics of propositional logic
guessing the relation of proof and model theory
Johan.Sebastian.-.[Ultimate.Bach.CD1].专辑.(FLAC)
relation of the 3 proof caculis in proof theory
balance of axiom and inference rules
a large collection of math proof
proof theory and model theory
Curry-Howard correspondence
strong normalization
globla environment和local context
coq art pdf file
varias logic system
Per Martin-Löf
FP和LP的关系
正式开始coq art
coq art djvu file
I am still hacking CIL and its CFG package, but it...
►
三月
(1)
►
2007
(1)
►
七月
(1)
0 评论:
发表评论