Sciweavers

10575 search results - page 225 / 2115
» T2Script Programming Language
Sort
View
PLDI
2005
ACM
15 years 11 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
SAC
2006
ACM
15 years 6 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
PLDI
2006
ACM
16 years 1 days ago
The Atomos transactional programming language
Brian D. Carlstrom, Austen McDonald, Hassan Chafi,...
150
Voted
ECSQARU
1997
Springer
15 years 10 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...