1375 search results - page 181 / 275 » SDL-2000: A Language with a Formal Semantics |
DALT
2005
Springer
15 years 3 months ago
2005
Springer
We explore the suitability of Intensional Programming Paradigm for providing a programming model for coordinated problem solving in a multi-agent systems. We extend our previous wo...
PPDP
2004
Springer
15 years 3 months ago
2004
Springer
The new generic scheme CFLP(D) has been recently proposed in [24] as a logical and semantic framework for lazy constraint functional logic programming over a parametrically given ...
107
click to vote
ARTS
1997
Springer
15 years 2 months ago
1997
Springer
We introduce PLC-Automata as a new class of automata which are tailored to deal with real-time properties of Programmable Logic Controllers (PLCs). These devices are often used in...
ICFP
2007
ACM
15 years 9 months ago
2007
ACM
It is rare to give a semantic definition of a full-scale programming language, despite the many potential benefits. Partly this is because the available metalanguages for expressi...
170
click to vote
POPL
2006
ACM
15 years 10 months ago
2006
ACM
We present staged allocation, a technique for specifying calling conventions by composing tiny allocators called stages. A specification written using staged allocation has a prec...