10575 search results - page 375 / 2115 » T2Script Programming Language |
180
click to vote
VL
2000
IEEE
15 years 9 months ago
2000
IEEE
This paper outlines DIAPLAN, a visual rule-based programming language and environment that is based on the computational model of graph transformation. Thanks to its genericity, D...
173
click to vote
LPAR
1992
Springer
15 years 9 months ago
1992
Springer
We describe some of the techniques which have been used to implement METATEM, a programming language based on temporal logic, and address problems such as non-determinism and loopi...
181
click to vote
JAR
2008
15 years 5 months ago
2008
This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative languages such as C and compiler intermediate languages. Be...
134
click to vote
PADL
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Interactive programming is a method for implementing programming languages that supports an interactive, exploratory style of program development and debugging. The basic...
127
click to vote
APCHI
1998
IEEE
15 years 9 months ago
1998
IEEE
Cleogo is a novel groupware environment that allows several users to simultaneously develop programs through any mixture of three alternative programming metaphors: a direct manip...