SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Acta Informatica

Volumn 6, Issue 2, 1976, Pages 133-151

Affine relationships among variables of a program

(1) Karr, Michael a

a Massachusetts Computer Associates Inc ^* (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER METATHEORY;

EID: 0016881880 PISSN: 00015903 EISSN: 14320525 Source Type: Journal
DOI: 10.1007/BF00268497 Document Type: Article

Times cited : (308)

References (6)

1
- 0003845961
- MacMillan, New York
- (1967) Algebra
- MacLane, S.¹ Birkhoff, G.²

2
- 84933123944
- Addison-Wesley, Reading (Mass.)
- (1964) Elementary linear algebra
- Munkres, J.R.¹

3
- 0002780749
- Assigning meanings to programs
- J., Schwartz, American Mathematical Society, Providence (R.I.)
- (1967) Mathematical aspects of computer science 19 , pp. 19-32
- Floyd, R.¹

4
- 84933123937
- Center for Research in Computing Technology, Harvard University, Cambridge (Mass.), Computer Science Division, Bolt, Beranek, and Newman, Inc., Cambridge (Mass.)
- (1973) Property extraction in well-Founded property sets
- Wegbreit¹

5
- 84933123938
- Karr, M.: Gathering information about Programs. Massachusetts Computer Associates, Inc., (In preparation)

6
- 84933123939
- 3. Ed., American Mathematical Society, Providence (R.I.)
- (1973) Lattice theory. Colloquium Publication XXV
- Birkhoff, G.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.