7139 search results - page 76 / 1428 » Language Engineering in Practice |
ICFP
1997
ACM
15 years 4 months ago
1997
ACM
We present a type system for the programming language Erlang. The type system supports subtyping and declarationfree recursive types, using subtyping constraints. Our system is si...
IFIP
1994
Springer
15 years 3 months ago
1994
Springer
The aim of this discussion paper is to stimulate (or perhaps to provoke) stronger interactions among theoreticians and practitioners interested in efficient problem solutions. We ...
CORR
2002
Springer
14 years 11 months ago
2002
Springer
We describe a meta-querying system for databases containing queries in addition to ordinary data. In the context of such databases, a meta-query is a query about queries. Represen...
COMPSAC
2008
IEEE
15 years 6 months ago
2008
IEEE
Electronic control units and on-board networks for automotive applications cover a big variety of functions that in many cases are responsible of safetycritical behavior of the ve...
XPU
2005
Springer
15 years 5 months ago
2005
Springer
This work focuses on standardization and improvement of processes and practices using a combination of methodologies including Agile Methodologies (AM). It was implemented at a Mex...