Sciweavers

959 search results - page 69 / 192
» Fundamental Concepts in Programming Languages
Sort
View
CAD
2004
Springer
15 years 3 months ago
Turtle geometry in computer graphics and computer-aided design
: LOGO is a programming language incorporating turtle graphics, originally devised for teaching computing to young children in elementary and middle schools. Here we advocate the u...
Ron Goldman, Scott Schaefer, Tao Ju
ECOOP
2008
Springer
15 years 5 months ago
Externalizing Java Server Concurrency with CAL
One of the most important decisions about the architecture of a server program is its concurrency mechanisms. However, a good concurrency model for general-purpose server programs ...
Charles Zhang, Hans-Arno Jacobsen
LOPSTR
2005
Springer
15 years 9 months ago
Declarative Programming with Function Patterns
We propose an extension of functional logic languages that allows the definition of operations with patterns containing other defined operation symbols. Such “function patterns...
Sergio Antoy, Michael Hanus
ICLP
1999
Springer
15 years 8 months ago
Logic Programming in Oz with Mozart
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...
Peter Van Roy
ECOOP
2003
Springer
15 years 9 months ago
A Nominal Theory of Objects with Dependent Types
We design and study νObj, a calculus and dependent type system for objects and classes which can have types as members. Type can be aliases, abstract types, or new types. The type...
Martin Odersky, Vincent Cremet, Christine Röc...