3738 search results - page 385 / 748 » Parametrized Logic Programming |
102
click to vote
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
Accidental mutation is a major source of difficult-to-detect errors in object-oriented programs. We have built tools that detect and prevent such errors. The tools include a java...
158
Voted
DAGSTUHL
2001
15 years 5 months ago
2001
A powerful approach to finding errors in computer software is to translate a given program into a verification condition, a logical formula that is valid if and only if the program...
144
click to vote
ICFP
2002
ACM
16 years 3 months ago
2002
ACM
Meta-programming is a discipline of writing programs in a certain programming language that generate, manipulate or execute programs written in another language. In a typed settin...
135
click to vote
LFCS
2009
Springer
15 years 10 months ago
2009
Springer
We explore an intuitionistic fragment of Art¨emov’s Logic of Proofs as a type system for a programming language for mobile units. Such units consist of both a code and certific...
141
Voted
SIGMOD
2004
ACM
15 years 9 months ago
2004
ACM
Information in today’s enterprises commonly resides in a variety of heterogeneous data sources, including relational databases, web services, files, packaged applications, and c...