10622 search results - page 397 / 2125 » Python Programming Language |
222
click to vote
LPAR
1992
Springer
15 years 11 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...
244
click to vote
JAR
2008
15 years 7 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...
181
Voted
PADL
2010
Springer
16 years 4 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...
167
Voted
APCHI
1998
IEEE
15 years 11 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...
157
click to vote
IFIP
1994
Springer
15 years 11 months ago
1994
Springer
We consider three notions of factorization arising in different frameworks: factorizing languages, factorization of the natural numbers, factorizing codes. A language X A is call...