713 search results - page 84 / 143 » Syntax and Semantics of Babel-17 |
147
click to vote
SCCC
1998
IEEE
15 years 9 months ago
1998
IEEE
Java is a programming language designed with concurrency in mind from its inception. However, the synchronization mechanism provided is a restricted version of Hoare's Monito...
126
Voted
DEXAW
1997
IEEE
15 years 9 months ago
1997
IEEE
Current workflow management systems (WFMSs) are only applicable in a reliable and secure manner, if the business process (BP) to be supported is wellstructured. As ad hoc deviatio...
148
click to vote
UML
1998
Springer
15 years 9 months ago
1998
Springer
The object Constraint Language (OCL), which forms part of the UML set of modelling notations, is a precise, textual language for expressing constraints that cannot be shown diagram...
155
click to vote
VL
1997
IEEE
15 years 9 months ago
1997
IEEE
The large number of programming languages in the world is a consequence of the broad spectrum of human preferences for different notational styles and semantic models, which depen...
146
click to vote
FSTTCS
1993
Springer
15 years 9 months ago
1993
Springer
This paper will show the usefulness and elegance of strict intersection types for the Lambda Calculus; these are strict in the sense that they are the representatives of equivalen...