2139 search results - page 61 / 428 » Connecting language to the world |
169
click to vote
IPL
2008
15 years 6 months ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
139
click to vote
CL
2006
Springer
15 years 6 months ago
2006
Springer
Meta programming is the act of reasoning about a computational system. For example, a program in Prolog can reason about a program written in Smalltalk. Reflection is a more power...
140
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we provide an experience report where language oriented programming approaches are applied to complex game design. Ficticious is a G-expression based pidgin of sever...
166
click to vote
VRML
1998
ACM
15 years 10 months ago
1998
ACM
VRML (the Virtual Reality Modeling Language) has brought 3D objects and virtual worlds to a large number of Internet users. While it provides a suitable basis for the platform ind...
160
click to vote
CORR
2007
Springer
15 years 6 months ago
2007
Springer
A barycentric mapping of a planar graph is a plane embedding in which every internal vertex is the average of its neighbours. A celebrated result of Tutte’s [16] is that if a pl...