4690 search results - page 267 / 938 » An operational semantics for Scheme |
179
click to vote
ICFP
2006
ACM
16 years 6 months 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 ...
180
click to vote
JCST
2008
15 years 6 months ago
2008
Abstract Clustering text data streams is an important issue in data mining community and has a number of applications such as news group filtering, text crawling, document organiza...
192
click to vote
IFIP
2004
Springer
16 years 2 days ago
2004
Springer
Abstract This paper introduces new-HOPLA, a concise but powerful language for higherorder nondeterministic processes with name generation. Its origins as a metalanguage for domain ...
178
click to vote
TACAS
2004
Springer
16 years 1 days ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
188
click to vote
ENTCS
2008
15 years 6 months ago
2008
Defining operational semantics for a process algebra is often based either on labeled transition systems that account for interaction with a context or on the so-called reduction ...