5096 search results - page 356 / 1020 » Associations as a Language Construct |
180
click to vote
NLDB
2007
Springer
16 years 29 days ago
2007
Springer
Various methodologies for structuring the process of domain modeling have been proposed, but there are few software tools that provide automatic support for the process of construc...
203
click to vote
PEPM
2007
ACM
16 years 29 days ago
2007
ACM
Functional Reactive Programming (frp) extends traditional functional programming with dataflow evaluation, making it possible to write interactive programs in a declarative style...
164
click to vote
PLDI
2006
ACM
16 years 24 days ago
2006
ACM
In this paper we propose a novel microkernel-based virtual machine (µKVM), a new code-based security framework with a simple and declarative security architecture. The main desig...
208
click to vote
IUI
2005
ACM
16 years 12 days ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...
165
click to vote
PPDP
2005
Springer
16 years 9 days ago
2005
Springer
fects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type and eff...