1913 search results - page 110 / 383 » Architectural Concepts in Programming Languages |
168
click to vote
ICLP
1999
Springer
15 years 9 months ago
1999
Springer
A declarative programming language has two kinds of semantics. The tract helps in reasoning about speci cations and correctness, while an operational semantics determines the mann...
132
click to vote
PPDP
2007
Springer
15 years 11 months ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...
144
click to vote
ERLANG
2004
ACM
15 years 11 months ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
158
click to vote
ASPLOS
2008
ACM
15 years 7 months ago
2008
ACM
In this paper we propose the Merge framework, a general purpose programming model for heterogeneous multi-core systems. The Merge framework replaces current ad hoc approaches to p...
169
click to vote
UML
2005
Springer
15 years 11 months ago
2005
Springer
Many of today’s software applications require a high-level of security, defined by a detailed policy and attained via mechanisms such as role-based access control (RBAC), mandat...