10899 search results - page 244 / 2180 » The GP Programming System |
163
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
With the discovery of new exploit techniques, new protection mechanisms are needed as well. Mitigations like DEP (Data Execution Prevention) or ASLR (Address Space Layout Randomiz...
170
click to vote
FROCOS
2005
Springer
15 years 11 months ago
2005
Springer
ATS is a language with a highly expressive type system that supports a restricted form of dependent types in which programs are not allowed to appear in type expressions. The langu...
146
click to vote
OOPSLA
2009
Springer
16 years 1 days ago
2009
Springer
In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming refers to a philosophy that argues computer programs shou...
215
click to vote
POPL
2000
ACM
15 years 9 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
131
click to vote
HYBRID
2007
Springer
15 years 11 months ago
2007
Springer
This paper presents a motion description language (MDLp) for specifying and encoding autonomous puppetry plays in a manner that is faithful to the way puppetry choreography is curr...