3513 search results - page 349 / 703 » Super Logic Programs |
158
click to vote
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...
145
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...
137
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...
144
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...
119
Voted
ACIIDS
2010
IEEE
15 years 8 months ago
2010
IEEE
This article investigates the role of common-knowledge in the principal-agent model under asymmetric information. We treat the problem: How the common-knowledge condition will be a...