585 search results - page 8 / 117 » Component-Based Description of Programming Languages |
ICLP
2007
Springer
14 years 3 months ago
2007
Springer
WSC
2004
13 years 10 months ago
2004
This paper describes the author's career leading up to the publication of his 1969 paper Digital Computer Simulation: Computer Programming Languages, how it influenced the pa...
CLIMA
2004
13 years 10 months ago
2004
An important branch of investigation in the field agents has been the definition of high level languages for representing effects of actions, the programs written in such languages...
ICFP
2008
ACM
14 years 9 months ago
2008
ACM
This paper exhibits the power of programming with dependent types by dint of embedding three domain-specific languages: Cryptol, a language for cryptographic protocols; a small da...
VL
1996
IEEE
14 years 1 months ago
1996
IEEE
An often-mentioned advantage of rule-based programming languages is that a program can be extended simply by adding a few more rules. In practice however, the rules tend to be dep...