659 search results - page 42 / 132 » Binding as sets of scopes |
DSRT
2008
IEEE
15 years 7 months ago
2008
IEEE
We have previously proposed PTIDES (Programming Temporally Integrated Distributed Embedded Systems), a discrete-event framework that binds realtime with model time at sensors, act...
106
Voted
ENTCS
2007
15 years 13 days ago
2007
This paper studies the notion of “freshness” that often occurs in the meta-theory of computer science languages involving various kinds of names. Nominal Equational Logic is a...
86
Voted
CORR
2007
Springer
15 years 9 days ago
2007
Springer
Abstract. We propose a new definition for abstract syntax (with binding constructions), and, accordingly, for initial semantics and algebraicity. Our definition is based on the n...
CP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Subquadrangles are a natural way in which to represent constraints as they do not restrict any subset of their scope. There are already known methods for converting any g...
ICALT
2003
IEEE
15 years 5 months ago
2003
IEEE
We present experiences made with a course in applied computer science which was based on the concept of communities of practice. Within the scope of the course “Entrepreneurship...