5451 search results - page 249 / 1091 » Typed Operational Semantics |
150
click to vote
COLING
2002
15 years 4 months ago
2002
Parsli is a finite-state (FS) parser which can be tailored to the lexicon, syntax, and semantics of a particular application using a hand-editable declarative lexicon. The lexicon...
113
click to vote
ASM
2005
ASM
15 years 10 months ago
2005
ASM
AsmL is a novel executable specification language based on the theory of State Machines (ASMs). It represents one of the most powerful practical engines to write and execute ASMs...
111
click to vote
TBILLC
2005
Springer
15 years 10 months ago
2005
Springer
In this paper I argue that syntactic categories are not part of UG but are acquired during first language acquisition as a result of doubling effects. In short, it is argued that a...
114
click to vote
FSTTCS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Conventional semantics for shared-variable concurrency suffers from the “grain of time” problem, i.e., the necessity of specifying a default level of atomicity. We pr...
123
click to vote
USENIX
1994
15 years 5 months ago
1994
The Spring operating system provides a uniform name service that can be used to associate any name with any object independent of the type of object, and allows arbitrary name spa...