5451 search results - page 249 / 1091 » Typed Operational Semantics |
211
click to vote
COLING
2002
15 years 7 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...
156
Voted
ASM
2005
ASM
16 years 19 days 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...
152
click to vote
TBILLC
2005
Springer
16 years 17 days 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...
170
click to vote
FSTTCS
2004
Springer
16 years 14 days 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...
167
click to vote
USENIX
1994
15 years 8 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...