4258 search results - page 196 / 852 » Languages and Interactive Software Development |
166
click to vote
FOSSACS
2003
Springer
15 years 11 months ago
2003
Springer
We develop a system of type assignment with intersection types, union types, indexed types, and universal and existential dependent types that is sound in a call-by-value functiona...
138
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
Abstract: Contracts are a proven tool in software development. They provide specifications for operations that may be statically verified or dynamically validated by contract mon...
131
click to vote
INTERACT
2003
15 years 7 months ago
2003
: This paper presented a brief outline of hardware and software problems occurred at the beginning of HCI system developments (within the framework of last 25 years), research acti...
175
click to vote
COMPSAC
2008
IEEE
16 years 23 days ago
2008
IEEE
In this article, we address the problem of modularizing legacy applications with monolithic structure, primarily focusing on business software written in an objectoriented program...
174
click to vote
AOSD
2009
ACM
16 years 1 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...