6201 search results - page 278 / 1241 » Implementation of Axiomatic Language |
193
click to vote
ICLP
1993
Springer
15 years 10 months ago
1993
Springer
Erlang is a concurrent programming language designed for prototyping and implementing reliable real-time systems. In its design Erlanginherits someideas fromconcurrent logic progra...
178
click to vote
PPDP
2000
Springer
15 years 10 months ago
2000
Springer
Erlang is a concurrent functional programming language designed to ease the development of large-scale distributed soft real-time control applications. It has so far been quite su...
136
click to vote
CC
2007
Springer
16 years 27 days ago
2007
Springer
Implementing a new programming language by the means of a translator to an existing language is attractive as it provides portability over all platforms supported by the host langu...
178
click to vote
JUCS
2010
15 years 5 months ago
2010
: Software transactional memory (STM) is a new approach for coordinating concurrent threads, for which many different implementation strategies are currently being researched. In ...
178
click to vote
ICFP
2008
ACM
16 years 6 months ago
2008
ACM
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The...