5377 search results - page 343 / 1076 » Programming Languages For Interactive Computing |
182
click to vote
ICTAI
2006
IEEE
16 years 25 days ago
2006
IEEE
Computer programs that can be expressed in two or more dimensions are typically called visual programs. The underlying theories of visual programming languages involve graph gramm...
167
click to vote
VL
2005
IEEE
16 years 11 days ago
2005
IEEE
Structured program editors can lower the entry barrier for beginning computer science students by preventing syntax errors. However, when editors force programs to be executable a...
181
click to vote
PARA
2000
Springer
15 years 10 months ago
2000
Springer
The JavaGrande Forum is a group of users, researchers, and interested parties from industry. The Forum members are either trying to use Java for resource-intensive applications or ...
214
click to vote
IAJIT
2011
15 years 1 months ago
2011
: This paper proposes a constraint programming based approach to handle ontologies consistency, and more precisely user-defined consistencies. In practice, ontologies consistency i...
176
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: This paper describes a syntactical method for contextual equivalence in polymorphically typed lambda-calculi. Our specific calculus has letrec as cyclic let, data constructors, ...