956 search results - page 77 / 192 » Languages as libraries |
JCDL
2010
ACM
14 years 3 months ago
2010
ACM
We present here a method for automatically projecting structural information across translations, including canonical citation structure (such as chapters and sections), speaker i...
CORR
2012
Springer
12 years 6 months ago
2012
Springer
-generic programming increases program abstraction and reuse by making functions operate uniformly across different types. Many approaches to generic programming have been proposed...
ICRA
2002
IEEE
14 years 3 months ago
2002
IEEE
Most robot programming takes place in the “time domain.” That is, the goal is to specify the behavior of a system that is acquiring a continual temporal stream of inputs, and ...
ISOOMS
1994
14 years 2 months ago
1994
Although object-oriented programming techniques have evolved into an accepted technology with recognized benefits for software development, profound investigations of qualitative a...
ICFP
2006
ACM
14 years 10 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...