13 search results - page 3 / 3 » Relating Nominal and Higher-order Abstract Syntax Specificat... |
102
click to vote
KI
2006
Springer
15 years 11 days ago
2006
Springer
This document describes the `Geo-Temporal' specification language GeTS. The objects which can be described and manipulated with this language are time points, crisp and fuzzy...
119
click to vote
DSVIS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. The ConcurTaskTrees (CTT) is one of the most widely used notations for task modeling, specifically tailored for user interface model-based design. The integration of CTT ...
195
Voted
POPL
2006
ACM
16 years 22 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 ...