4008 search results - page 550 / 802 » An expressive language of signatures |
186
click to vote
UIST
2006
ACM
16 years 17 days ago
2006
ACM
Modern applications provide interfaces for scripting, but many users do not know how to write script commands. However, many users are familiar with the idea of entering keywords ...
206
click to vote
ICSM
2005
IEEE
16 years 7 days ago
2005
IEEE
Aspect oriented programming has been proposed as a way to improve modularity of software systems by allowing encapsulation of cross-cutting concerns. To do so, aspects specify whe...
179
click to vote
APLAS
2005
ACM
16 years 6 days ago
2005
ACM
Interpretation interpretation is a theory of effective abstraction and/or approximation of discrete mathematical structures as found in the semantics of programming languages, mod...
187
click to vote
AFP
2004
Springer
16 years 1 days 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, ...
202
click to vote
FMCO
2003
Springer
15 years 12 months ago
2003
Springer
Web services security specifications are typically expressed as a mixture of XML schemas, example messages, and narrative explanations. We propose a new specification language fo...