Sciweavers

10575 search results - page 225 / 2115
» T2Script Programming Language
Sort
View
136
Voted
PLDI
2005
ACM
15 years 9 months ago
Essential language support for generic programming
Concepts are an essential language feature for generic programming in the large. Concepts allow for succinct expression of constraints on type parameters of generic algorithms, en...
Jeremy G. Siek, Andrew Lumsdaine
153
Voted
SAC
2006
ACM
15 years 3 months ago
Challenges in the compilation of a domain specific language for dynamic programming
Many combinatorial optimization problems in biosequence analysis are solved via dynamic programming. To increase programming productivity and program reliability, a domain specifi...
Robert Giegerich, Peter Steffen
82
Voted
PLDI
2006
ACM
15 years 9 months ago
The Atomos transactional programming language
Brian D. Carlstrom, Austen McDonald, Hassan Chafi,...
103
Voted
PPCP
1993
15 years 7 months ago
Concurrent Constraint Programming at SICS with the Andorra Kernel Language (Extended Abstract)
Seif Haridi, Sverker Janson, Johan Montelius, Tork...
119
Voted
ECSQARU
1997
Springer
15 years 7 months ago
Cactus: A Branching-Time Logic Programming Language
Abstract. Temporal programming languages are recognized as natural and expressive formalisms for describing dynamic systems. However, most such languages are based on linear ow of ...
Panos Rondogiannis, Manolis Gergatsoulis, Themis P...