5377 search results - page 532 / 1076 » Programming Languages For Interactive Computing |
299
click to vote
ESOP
2004
Springer
16 years 17 days ago
2004
Springer
The Ambient calculus is a successful model of distributed, mobile computation, and has been the vehicle of new ideas for resource access control. Mobility types have been used to e...
159
click to vote
ESOP
1999
Springer
15 years 11 months ago
1999
Springer
ull articles not 12 page abstracts, and are the normal form of refereed publication. The top conferences in each sub eld (like POPL below) typically have the highest impact f...
142
click to vote
ASPLOS
1987
ACM
15 years 10 months ago
1987
ACM
The VAX 8800 family (models 8800, 8700, 8550), currently the fastest computers in the VAX product line, achieve their speed through a combination of fast cycle time and deep pipel...
199
click to vote
ESOP
2008
Springer
15 years 9 months ago
2008
Springer
We present a denotational model of impredicative Hoare Type Theory, a very expressive dependent type theory in which one can and reason about mutable abstract data types. The model...
907
click to vote
Book
"Bison is a general-purpose parser generator that converts an annotated context-free grammar
into an LALR(1) or GLR parser for that grammar. Once you are proficient with Biso...