1675 search results - page 159 / 335 » Some thoughts on teaching programming and programming langua... |
145
Voted
IFIP
1999
Springer
15 years 9 months ago
1999
Springer
We want to understand organizational process as the temporal making of meanings, but our vocabulary for doing so is predominantly spatial. Some mistakes this has led to in my own ...
132
click to vote
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
We describe the mechanisation of SLR parsing, covering background properties of context-free languages and grammars, as well as the construction of an SLR automaton. Among the vari...
130
click to vote
ENTCS
2006
15 years 5 months ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
155
click to vote
AADEBUG
1997
Springer
15 years 9 months ago
1997
Springer
We introduce an assertion language for run-time checking of linked list data structure shapes. The assertion language is expressive enough to define characteristic predicates for ...
238
click to vote
POPL
2005
ACM
16 years 5 months ago
2005
ACM
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...