3824 search results - page 23 / 765 » Geometry Constructions Language |
VL
2000
IEEE
14 years 2 months ago
2000
IEEE
Computer science educators have traditionally used algorithm visualization (AV) software to create graphical representations of algorithms that are later used as visual aids in le...
DLS
2005
14 years 18 hour ago
2005
ContextL is an extension to the Common Lisp Object System that allows for Context-oriented Programming. It provides means to associate partial class and method definitions with l...
CICLING
2003
Springer
14 years 3 months ago
2003
Springer
FOSSACS
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. In this paper, we show how Miquel's Implicit Calculus of Constructions (ICC) can be used as a programming language featuring dependent types. Since this system has a...
LOPSTR
2007
Springer
14 years 4 months ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...