678 search results - page 68 / 136 » A simple typed intermediate language for object-oriented lan... |
ESOP
2007
Springer
14 years 2 months ago
2007
Springer
When students first learn programming, they often rely on a simple operational model of a program’s behavior to explain how particular features work. Because such models build o...
ICFP
2008
ACM
14 years 8 months ago
2008
ACM
We describe an axiomatic extension to the Coq proof assistant, that supports writing, reasoning about, and extracting higher-order, dependently-typed programs with side-effects. C...
POPL
2008
ACM
14 years 9 months ago
2008
ACM
In language-based security, confidentiality and integrity policies conveniently specify the permitted flows of information between different parts of a program with diverse levels...
PLDI
1998
ACM
14 years 1 months ago
1998
ACM
This paper evaluates three alias analyses based on programming language types. The first analysis uses type compatibility to determine aliases. The second extends the first by u...
ATAL
2006
Springer
14 years 15 days ago
2006
Springer
This paper presents three types of declarative goals: perform goals, achieve goals, and maintain goals. The integration of these goal types in a simple but extendable logic-based a...