56 search results - page 10 / 12 » Principal typings for Java-like languages |
REFSQ
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. [Context and motivation] Ever-growing systems’ complexity and novel requirements engineering approaches such as reuse or globalization imply that requirements are produ...
CSFW
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
103
click to vote
POPL
2000
ACM
15 years 3 months ago
2000
ACM
Various code certification systems allow the certification and static verification of important safety properties such as memory and control-flow safety. These systems are valuabl...
EACL
1989
ACL Anthology
15 years 19 days ago
1989
ACL Anthology
This paper describes some of the features of a sophisticated language and environment designed for experimentation with unification-oriented linguistic descriptions. The system, w...
108
click to vote
TLDI
2010
ACM
15 years 8 months ago
2010
ACM
We propose a programming language, called PCML5, for building distributed applications with distributed access control. Target applications include web-based systems in which prog...