603 search results - page 87 / 121 » A Formal Operational Semantics for SOFL |
APLAS
2007
ACM
14 years 24 days ago
2007
ACM
Pattern matching makes ML programs more concise and readable, and these qualities are also sought in object-oriented settings. However, objects and classes come with open erarchie...
BPM
2006
Springer
14 years 16 days ago
2006
Springer
Even though the design of business processes most often has to consolidate the knowledge of several process stakeholders, this fact is utilized only to a limited extent by existing...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
We present a logic for reasoning about properties of agent programs under different agent execution strategies. Using the agent programming language SimpleAPL as an example, we sh...
ATAL
2008
Springer
13 years 10 months ago
2008
Springer
Software systems are subject to ever increasing complexity and in need of efficient structuring. The concept of organization as an exand abstract real-world reference presents a pr...
BIRTHDAY
2008
Springer
13 years 10 months ago
2008
Springer
Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotati...