7529 search results - page 246 / 1506 » The Modula-3 Type System |
139
click to vote
BIRTHDAY
2005
Springer
16 years 3 days ago
2005
Springer
Modularization is a well-known concept to structure software systems as well as their specifications. Modules are equipped with export and import interfaces and thus can be connec...
169
click to vote
PADL
2005
Springer
16 years 1 days ago
2005
Springer
The need for direct memory manipulation through pointers is essential in many applications. However, it is also commonly understood that the use (or probably misuse) of pointers is...
172
click to vote
ENTCS
2002
15 years 6 months ago
2002
We compare Meyer and Routley's minimal relevant logic B+ with the recent semanticsbased approach to subtyping introduced by Frisch, Castagna and Benzaken in the definition of...
171
click to vote
JLP
2011
15 years 1 months ago
2011
The family of domain algebras provide an elegant formal system for automated reasoning about programme verification. Their primary models are algebras of relations, viz. represen...
194
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...