10622 search results - page 397 / 2125 » Python Programming Language |
170
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 4 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...
133
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...
102
click to vote
IFIP
1994
Springer
15 years 9 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...