909 search results - page 51 / 182 » Generic Programming: An Introduction |
79
Voted
SCOPES
2005
Springer
15 years 4 months ago
2005
Springer
Software used in embedded systems is subject to strict timing and space constraints. The growing software complexity creates an urgent need for fast program execution under the co...
109
click to vote
AFP
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. Programming GUIs with conventional GUI APIs is notoriously tedious. In these notes we present the GEC toolkit in which the programmer can create user interfaces without a...
ECOOP
2004
Springer
15 years 4 months ago
2004
Springer
Design patterns are a standard means to create large software systems. However, with standard object-oriented techniques, typical implementations of such patterns are not themselv...
99
Voted
TACAS
2000
Springer
15 years 2 months ago
2000
Springer
This note describes Proof General, a tool for developing machine proofs with an interactive proof assistant. Interaction is based around a proof script, which is the target of a pr...
104
Voted
JMLC
1997
Springer
15 years 3 months ago
1997
Springer
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...