2625 search results - page 115 / 525 » The development of the Emerald programming language |
144
click to vote
ICFP
2003
ACM
16 years 5 months ago
2003
ACM
To improve the quality of type error messages in functional programming languages, we propose four techniques which influence the behaviour of constraint-based type inference proc...
160
click to vote
FDL
2007
IEEE
15 years 9 months ago
2007
IEEE
In this paper, we propose a domain specific language for the development of hardware/software cryptographic systems based on the well known Python programming language. It is desi...
171
click to vote
HPCN
2000
Springer
15 years 9 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
139
click to vote
AOSD
2009
ACM
16 years 6 days ago
2009
ACM
ive semantics for aspect-oriented abstractions can be defined by language designers using extensible aspect compiler frameworks. However, application developers are prevented fro...
150
click to vote
ICALP
2000
Springer
15 years 9 months ago
2000
Springer
We explain how recent developments in game semantics can be applied to reasoning about equivalence of terms in a non-trivial fragment of Idealized Algol (IA) by expressing sets of ...