1129 search results - page 16 / 226 » Modular Ranking Abstraction |
ANTS
2000
Springer
13 years 12 months ago
2000
Springer
Abstract. A description and an example are given of numerical experiments which look for a relation between modular forms for certain congruence subgroups of SL(3, ZZ) and Galois r...
ESOP
2004
Springer
14 years 28 days ago
2004
Springer
t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...
MFCS
1995
Springer
13 years 11 months ago
1995
Springer
act Account of Composition Mart n Abadi1 and Stephan Merz2 1 Digital Equipment Corporation, Systems Research Center, 130 Lytton Avenue, Palo Alto, CA 94301, U.S.A. 2 Institut fur I...
ASWEC
2005
IEEE
14 years 1 months ago
2005
IEEE
Program slicing is a well-known program analysis technique that extracts the elements of a program related to a particular computation. Based on modular monadic semantics of a pro...
LFCS
1992
Springer
13 years 11 months ago
1992
Springer
d Abstract) Alexander Rabinovich IBM Research Center P.O. Box 218, Yorktown lleights, NY 10598 e.maih alikQtvatson.ibm.com