4257 search results - page 308 / 852 » The Logical Modularity of Programs |
182
click to vote
DATE
2008
IEEE
16 years 1 months ago
2008
IEEE
We propose the notion of logical reliability for real-time program tasks that interact through periodically updated program variables. We describe a reliability analysis that chec...
181
click to vote
ECOOP
2010
Springer
15 years 10 months ago
2010
Springer
Specifications of Object-Oriented programs conventionally employ Boolean expressions of the programming language for assertions. Programming errors can be discovered by checking at...
194
click to vote
ICFP
2010
ACM
15 years 6 months ago
2010
ACM
While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
310
click to vote
ECOOP
2009
Springer
16 years 7 months ago
2009
Springer
Model-based development promises to increase productivity by offering modeling languages tailored to a specific domain. Such modeling languages are typically defined by a metamodel...
181
click to vote
EUROCAST
2001
Springer
15 years 11 months ago
2001
Springer
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...