899 search results - page 153 / 180 » A CTL-Based Logic for Program Abstractions |
PADL
2001
Springer
15 years 4 months ago
2001
Springer
Abstract. Programming with rewrite rules and strategies has been already used for describing several computational logics. This paper describes the way the Needham-Schroeder Public...
ICLP
1999
Springer
15 years 4 months ago
1999
Springer
This paper presents a programming language that includes paradigms that are usually associated with declarative languages, such as sets, rules and search, into an imperative (funct...
102
click to vote
ECOOP
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Source code querying tools allow programmers to explore relations between different parts of the code base. This paper describes such a tool, named CodeQuest. It combines...
112
Voted
IJIT
2004
15 years 1 months ago
2004
Both software applications and their development environment are becoming more and more distributed. This trend impacts not only the way software computes, but also how it looks. T...
105
click to vote
JELIA
1990
Springer
15 years 4 months ago
1990
Springer
Traditional accounts of the semantic interpretation of quantified phrases and its interaction with reference and ellipsis have relied on formal manipulations of logical forms (qua...