Sciweavers

6794 search results - page 287 / 1359
» Semantics of Visual Languages
Sort
View
204
Voted
POPL
2008
ACM
16 years 1 months ago
High-level small-step operational semantics for transactions
Software transactions have received significant attention as a way to simplify shared-memory concurrent programming, but insufficient focus has been given to the precise meaning o...
Katherine F. Moore, Dan Grossman
ESOP
2003
Springer
15 years 6 months ago
A Tail-Recursive Semantics for Stack Inspections
Security folklore holds that a security mechanism based on stack inspection is incompatible with a global tail call optimization policy. An implementation of such a language may ha...
John Clements, Matthias Felleisen
AAAI
2000
15 years 2 months ago
Integrating a Spoken Language System with Agents for Operational Information Access
Changing the way users interact with their data is the principal objective of the Listen, Communicate, Show (LCS) paradigm. LCS is a new paradigm being applied to Marine Corps tac...
Jody J. Daniels
96
Voted
PLANX
2008
15 years 2 months ago
XML Stream Processing Using a Lazy Concurrent Language
Motivated by previous work on XML stream processing, we noticed that programmers need concurrency to save space, especially in a lazy language. User-controllable concurrency provi...
Shin-Cheng Mu, Ta-Chung Tsai, Keisuke Nakano
CASCON
2006
117views Education» more  CASCON 2006»
15 years 2 months ago
A backtracking LR algorithm for parsing ambiguous context-dependent languages
Parsing context-dependent computer languages requires an ability to maintain and query data structures while parsing for the purpose of influencing the parse. Parsing ambiguous co...
Adrian D. Thurston, James R. Cordy