10575 search results - page 503 / 2115 » T2Script Programming Language |
193
click to vote
TPHOL
1998
IEEE
15 years 11 months ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
168
click to vote
TOOLS
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper introduces Jade Bird Component Description Language (JBCDL) which is a part of Jade Bird Component Library (JBCL). JBCDL is based on Jade Bird Component Model (JBCOM). ...
149
click to vote
POPL
1994
ACM
15 years 11 months ago
1994
ACM
This paper discusses call forwarding, a simple interprocedural optimization technique for dynamically typed languages. The basic idea behind the optimization is straightforward: n...
176
click to vote
EPK
2004
15 years 8 months ago
2004
: Heterogeneous and proprietary interchange formats pose a major problem for business process management. This applies in particular to processes that have been modelled as Event-D...
142
click to vote
COLING
1996
15 years 8 months ago
1996
The paper describes problems in disambiguating the morphological analysis of Bantu languages by using Swahili as a test language. The main factors of ambiguity in this language gr...