SCOPUS 정보 검색 플랫폼

Volumn , Issue , 2001, Pages 253-264

Cost recurrences for DML programs

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SOFTWARE; CONSTRAINT THEORY; COST BENEFIT ANALYSIS;

COST RECURRENCES; DEPENDENT MARKUP LANGUAGE;

XML;

EID: 0034782685 PISSN: None EISSN: None Source Type: Conference Proceeding
DOI: 10.1145/507635.507666 Document Type: Conference Paper

Times cited : (37)

References (15)

1
- 0031611513
- Cayenne - A language with dependent types
- In Paul Hudak and Christian Queinnec, editors; Baltimore, Maryland, September; ACM Press
- (1998) Proceedings of ICFP'98 , pp. 239-250
- Augustsson, L.¹

2
- 0035466058
- Calculating sized types
- To appear
- (2001) Higher-Order and Symbolic Computation , vol.14 , Issue.2-3
- Chin, W.-N.¹ Khoo, S.-C.²

3
- 0033702591
- Resource bound certification
- In Thomas Reps, editor; Boston Massachusetts, January; ACM Press
- (2000) Proceedings of POPL'00 , pp. 184-198
- Crary, K.¹ Weirich, S.²

4
- 0028022240
- Representing monads
- In Hans-J. Boehm, editor; Portland, Oregon, January; ACM Press
- (1994) Proceedings of POPL'94 , pp. 446-457
- Filinski, A.¹

5
- 0003063653
- Cost recurrences for DML programs. Technical report RS-01-25
- BRICS, Department of Computer Science, University of Aarhus
- (2001)
- Grobauer, B.¹

6
- 0023994930
- ACE: An automatic complexity evaluator
- April
- (1988) ACM Transactions on Programming Languages and Systems , vol.10 , Issue.2 , pp. 248-266
- Le Métayer, D.¹

7
- 84958950738
- Automatic accurate time-bound analysis for high-level languages
- Montréal, Canada, June; Springer-Verlag
- (1998) Proceedings of LCTES'98, Number 1474 in LNCS , pp. 31-40
- Liu, Y.A.¹ Gómez, G.²

8
- 0028468157
- Static dependent costs for estimating program execution time
- Orlando, Florida, June 94. ACM Press
- Carolyn L. Talcott, Editor, Proceedings of LFP'94, LISP Pointers , vol.7 , Issue.3
- Reistad, B.¹ Gifford, D.K.²

9
- 84978982128
- Automatic complexity analysis
- In Joseph E. Stoy, editor; London, September; ACM Press
- (1989) Proceedings of FPCA'89 , pp. 144-156
- Rosendahl, M.¹

10
- 0002604569
- The essence of functional programming
- In Andrew W. Appel, editor; Albuquerque, New Mexico, January; ACM Press
- (1992) Proceedings of POPL'92 , pp. 1-14
- Wadler, P.¹

11
- 0002996363
- A prototype implementation of DML, based on caml-light
- De Caml, H.X.¹

12
- 0003584855
- PhD thesis, Carnegie Mellon University
- (1998) Dependent Types in Practical Programming
- Xi, H.¹

13
- 0001864250
- Dependently typed data structures
- In Chris Okasaki, editor; Paris, September
- (1999) Proceedings of WAAAPL'99 , pp. 17-32
- Xi, H.¹

14
- 0002988192
- Dependent types for program termination verification
- IEEE Computer Society Press
- Proceedings of LICS'01, Boston, Massachusetts, June 2001
- Xi, H.¹

15
- 0032670051
- Dependent types in practical programming
- In Alex Aiken, editor; San Antonio, Texas, January; ACM Press
- (1999) Proceedings of POPL'99 , pp. 214-227
- Xi, H.¹ Pfenning, F.²

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