1127 search results - page 102 / 226 » The XIS Generative Programming Techniques |
196
click to vote
POPL
2009
ACM
15 years 12 months ago
2009
ACM
We propose a new verification method for temporal properties of higher-order functional programs, which takes advantage of Ong's recent result on the decidability of the mode...
167
click to vote
IJAC
2011
14 years 6 months ago
2011
— To successfully design and engineer solutions for today’s and tomorrow’s rapidly changing and expanding global contexts, in which people are confronted with new opportuniti...
IUI
2000
ACM
15 years 3 months ago
2000
ACM
NaturalJava is a prototype for an intelligent natural-languagebased user interface for creating, modifying, and examining Java programs. The interface exploits three subsystems. T...
125
click to vote
ISADS
2003
IEEE
15 years 4 months ago
2003
IEEE
An advanced high-level approach for programming of real-time distributed computing applications, the TMO (Time-triggered Message-triggered Object) programming and specification sc...
IPPS
2002
IEEE
15 years 4 months ago
2002
IEEE
Tabling or memoing is a technique where one stores intermediate answers to a problem so that they can be reused in further calls. Tabling is of interest to logic programming becau...