10575 search results - page 1893 / 2115 » Programming Languages |
133
Voted
AFP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Esther is the interactive shell of Famke, a prototype implementation of a strongly typed operating system written in the functional programming language Clean. As usual, ...
139
Voted
FMCO
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
113
Voted
ICSE
1998
IEEE-ACM
15 years 6 months ago
1998
IEEE-ACM
We describe the design and implementation of system architecture to support object introspection in C++. In this system, information is collected by parsing class declarations, an...
146
Voted
KBSE
2000
IEEE
15 years 6 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...
127
Voted
ESORICS
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Cryptographic protocols are useful for engineering trust in transactions. There are several languages for describing these protocols, but these tend to capture the commun...