156 search results - page 23 / 32 » The GOQL Language and its Formal Specifications |
124
click to vote
ECOWS
2007
Springer
15 years 3 months ago
2007
Springer
Web services are self-contained, modular units of application logic which provide business functionality to other applications via Internet connections. Several models have been u...
184
click to vote
POPL
2006
ACM
16 years 2 days ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
190
click to vote
POPL
2009
ACM
16 years 12 days ago
2009
ACM
We present a unified approach to type checking and property checking for low-level code. Type checking for low-level code is challenging because type safety often depends on compl...
ICSE
2008
IEEE-ACM
16 years 17 days ago
2008
IEEE-ACM
Timed Interval Calculus (TIC) is a highly expressive set-based notation for specifying and reasoning about embedded real-time systems. However, it lacks mechanical proving support...
POPL
2010
ACM
15 years 9 months ago
2010
ACM
Traditional parser generation technologies are incapable of handling the demands of modern programmers. In this paper, we present the design and theory of a new parsing engine, YA...