2226 search results - page 98 / 446 » Pdk: The System and Its Language |
135
click to vote
LISP
1998
15 years 5 months ago
1998
This paper describes a new language feature that is a hybrid of labels and procedures. It is closely related to jumping out of a functional subroutine, and includes conventional la...
179
click to vote
SIGPLAN
2002
15 years 5 months ago
2002
Future Interval Logic (FIL) and its intuitive graphical representation, Graphical Interval Logic (GIL), can be used as the formal description language of model checking tools to v...
149
click to vote
AICT
2007
IEEE
16 years 17 days ago
2007
IEEE
—The topic of policy-based management is introduced. Its specific application by the ACCENT project to call control is then discussed. The APPEL policy language supports regular ...
141
click to vote
CONCUR
1999
Springer
15 years 10 months ago
1999
Springer
Statecharts is a visual language for specifying the behavior of reactive systems. The language extends nite-state machines with concepts of hierarchy, concurrency, and priority. De...
164
click to vote
PADL
2012
Springer
14 years 1 months ago
2012
Springer
In the past, the creators of numerical programs had to choose between simple expression of mathematical formulas and static type checking. While the Lisp family and its dynamically...