Sciweavers

7057 search results - page 1075 / 1412
» Tasks, domains, and languages
Sort
View
PLDI
2010
ACM
15 years 12 months ago
Mixing type checking and symbolic execution
Static analysis designers must carefully balance precision and efficiency. In our experience, many static analysis tools are built around an elegant, core algorithm, but that alg...
Yit Phang Khoo, Bor-Yuh Evan Chang, Jeffrey S. Fos...
CAISE
2001
Springer
15 years 11 months ago
Relaxed Soundness of Business Processes
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the...
Juliane Dehnert, Peter Rittgen
BIRTHDAY
2000
Springer
15 years 11 months ago
Oberon - The Overlooked Jewel
Niklaus Wirth has received much deserved fame for the creation of Pascal, but in many ways, he subsequently became a victim of Pascal's success. In an age of rising specializ...
Michael Franz
ECOOP
1998
Springer
15 years 11 months ago
Precise Visual Specification of Design Patterns
There has been substantial recent interest in captured design expertise expressed as design patterns. Prevalent descriptions of these design patterns suffer from two demerits. Firs...
Anthony Lauder, Stuart Kent
EDBT
1990
ACM
108views Database» more  EDBT 1990»
15 years 10 months ago
Deductive Databases - Theory Meets Practice
Deductive Databases are coming of age with the emergence of efficient and easy to use systems that support queries, reasoning, and application development on databases through dec...
Carlo Zaniolo
« Prev « First page 1075 / 1412 Last » Next »