10622 search results - page 385 / 2125 » Python Programming Language |
297
click to vote
Book
"The objective of this edition is not only to assist the contestants during the contest hours but also describing the core subjects of Computer Science such as C Programming, ...
118
click to vote
WEBI
2007
Springer
15 years 11 months ago
2007
Springer
The paper addresses a problem of combining XML querying with ontology reasoning. We present an extension of a rule-based XML query and transformation language Xcerpt. The extensio...
121
click to vote
GI
2009
Springer
15 years 9 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...
172
click to vote
POPL
2012
ACM
14 years 10 days ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
118
click to vote
APSEC
2004
IEEE
15 years 8 months ago
2004
IEEE
To formalize a software process, its important aspects must be extracted as a model. Many processes are used repeatedly, and the ability to automate a process is also desired. One...