3473 search results - page 394 / 695 » Aspect-Oriented Programming with C |
206
click to vote
PLDI
2006
ACM
16 years 20 days ago
2006
ACM
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
170
click to vote
TPHOL
2005
IEEE
16 years 9 days ago
2005
IEEE
Abstract. How close are we to a world where every paper on programming languages is accompanied by an electronic appendix with machinechecked proofs? We propose an initial set of b...
165
click to vote
CCS
2004
ACM
16 years 4 days ago
2004
ACM
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
162
click to vote
TACAS
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...
226
Voted
CGO
2003
IEEE
16 years 22 hour ago
2003
IEEE
As current trends in software development move toward more complex object-oriented programming, inlining has become a vital optimization that provides substantial performance impr...