714 search results - page 56 / 143 » The Formal Specification Language mCRL2 |
114
Voted
APSEC
1999
IEEE
15 years 8 months ago
1999
IEEE
The ability to treat code as data within a programming language is a powerful feature. Smalltalk introduces an object called a block that represents code as data. We propose a for...
134
Voted
ENTCS
2002
15 years 3 months ago
2002
Many tools have been constructed using different formal methods to process various parts of a language specification (e.g., scanner generators, parser generators and compiler gene...
146
Voted
ISSRE
2000
IEEE
15 years 8 months ago
2000
IEEE
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
152
Voted
APLAS
2010
ACM
15 years 3 months ago
2010
ACM
Abstract. Through foreign function interfaces (FFIs), software components in different programming languages interact with each other in the same address space. Recent years have w...
159
Voted
AIM
2002
15 years 3 months ago
2002
We examine the design space of auction mechanisms and identify three core activities that structure this space. Formal parameters qualifying the performance core activities enable...