3319 search results - page 128 / 664 » Subshifts, Languages and Logic |
143
Voted
FROCOS
2000
Springer
15 years 4 months ago
2000
Springer
This paper describes a high-level implementation of the concurrent constraint functional logic language Curry. The implementation, directed by the lazy pattern matching strategy of...
113
click to vote
ICFP
2006
ACM
16 years 20 days ago
2006
ACM
We describe an s-expression based syntax-extension framework much like Scheme macros, with a key additional facility: the ability to define static semantics, such as type systems ...
197
click to vote
POPL
2006
ACM
16 years 1 months ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
100
Voted
ACMSE
2006
ACM
15 years 4 months ago
2006
ACM
Programming paradigms are often skewed towards a particular domain of problems, thus one effective way to utilize them is through a multiparadigm approach to software development....
104
Voted
VL
1995
IEEE
15 years 4 months ago
1995
IEEE
After more than a decade of research, visual languages have still not become everyday programming tools. On a short term, an integration of visual languages with well-established ...