3844 search results - page 338 / 769 » Modular interpreted systems |
148
click to vote
APLAS
2007
ACM
15 years 8 months ago
2007
ACM
Abstract. We propose a theory of up-to techniques for proofs by coinduction, in the setting of complete lattices. This theory improves over existing results by providing a way to c...
124
click to vote
HOPL
2007
15 years 8 months ago
2007
This is an account of the development of the languages Modula-2 and Oberon. Together with their ancestors ALGOL 60 and Pascal they form a family called Algollike languages. Pascal...
138
click to vote
BIRTHDAY
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. A paraconsistent logic is a logic which allows non-trivial inconsistent theories. One of the oldest and best known approaches to the problem of designing useful paraconsi...
154
click to vote
COMPLIFE
2006
Springer
15 years 8 months ago
2006
Springer
A powerful new software concept to physiologically based pharmacokinetic (PBPK) modelling of drug disposition is presented. It links the inherent modular understanding in pharmacol...
153
click to vote
ETRICS
2006
15 years 8 months ago
2006
Abstract. Complex business processes are usually realized by specifying the integration and interaction of smaller modular software components. For example, hitherto monolithic ent...