176 search results - page 9 / 36 » Full Abstraction for Functional Languages with Control |
118
click to vote
AFP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Esther is the interactive shell of Famke, a prototype implementation of a strongly typed operating system written in the functional programming language Clean. As usual, ...
TNN
2008
15 years 1 months ago
2008
Abstract--This paper presents a full state feedback adaptive dynamic inversion method for uncertain systems that depend nonlinearly upon the control input. Using a specialized set ...
103
click to vote
ESOP
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. It is well-known that context-independent control flow analysis can be performed in cubic time for functional and object-oriented languages. Yet recent applications of c...
113
click to vote
CCS
2007
ACM
15 years 7 months ago
2007
ACM
In defining large, complex access control policies, one would like to compose sub-policies, perhaps authored by different organizations, into a single global policy. Existing po...
116
click to vote
APLAS
2005
ACM
15 years 6 months ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...