:facetid:toc:\"db/journals/toplas/toplas30.bht\"
OK
:facetid:toc:db/journals/toplas/toplas30.bht
Manuel ArenazJuan TouriñoRamon DoalloXARK: An extensible framework for automatic recognition of computational kernels.ACM Trans. Program. Lang. Syst.30632:1-32:562008Journal Articlesclosedjournals/toplas/ArenazTD0810.1145/1391956.1391959https://doi.org/10.1145/1391956.1391959https://dblp.org/rec/journals/toplas/ArenazTD08
URL#5307011
Amir M. Ben-AmramSize-change termination with difference constraints.ACM Trans. Program. Lang. Syst.30316:1-16:312008Journal Articlesclosedjournals/toplas/Ben-Amram0810.1145/1353445.1353450https://doi.org/10.1145/1353445.1353450https://dblp.org/rec/journals/toplas/Ben-Amram08
URL#5307012
Karthikeyan BhargavanCédric FournetAndrew D. Gordon 0001Verifying policy-based web services security.ACM Trans. Program. Lang. Syst.30630:1-30:592008Journal Articlesclosedjournals/toplas/BhargavanFG0810.1145/1391956.1391957https://doi.org/10.1145/1391956.1391957https://dblp.org/rec/journals/toplas/BhargavanFG08
URL#5307014
Sapan BhatiaCharles ConselCalton PuRemote specialization for efficient embedded operating systems.ACM Trans. Program. Lang. Syst.30422:1-22:322008Journal Articlesclosedjournals/toplas/BhatiaCP0810.1145/1377492.1377497https://doi.org/10.1145/1377492.1377497https://dblp.org/rec/journals/toplas/BhatiaCP08
URL#5307016
James CheneyChristian UrbanNominal logic programming.ACM Trans. Program. Lang. Syst.30526:1-26:472008Journal Articlesclosedjournals/toplas/CheneyU0810.1145/1387673.1387675https://doi.org/10.1145/1387673.1387675https://dblp.org/rec/journals/toplas/CheneyU08
URL#5307017
Daniel E. CookeJ. Nelson RushtonBrad NemanichRobert G. WatsonPer AndersenNormalize, transpose, and distribute: An automatic approach for handling nonscalars.ACM Trans. Program. Lang. Syst.3029:1-9:492008Journal Articlesclosedjournals/toplas/CookeRNWA0810.1145/1330017.1330020https://doi.org/10.1145/1330017.1330020https://dblp.org/rec/journals/toplas/CookeRNWA08
URL#5307018
Daniel S. DantasDavid WalkerGeoffrey WashburnStephanie WeirichAspectML: A polymorphic aspect-oriented functional programming language.ACM Trans. Program. Lang. Syst.30314:1-14:602008Journal Articlesclosedjournals/toplas/DantasWWW0810.1145/1353445.1353448https://doi.org/10.1145/1353445.1353448https://dblp.org/rec/journals/toplas/DantasWWW08
URL#5307019
Roland DucournauPerfect hashing as an almost perfect subtype test.ACM Trans. Program. Lang. Syst.30633:1-33:562008Journal Articlesclosedjournals/toplas/Ducournau0810.1145/1391956.1391960https://doi.org/10.1145/1391956.1391960https://dblp.org/rec/journals/toplas/Ducournau08
URL#5307020
Cormac FlanaganStephen N. FreundMarina LifshinShaz QadeerTypes for atomicity: Static checking and inference for Java.ACM Trans. Program. Lang. Syst.30420:1-20:532008Journal Articlesclosedjournals/toplas/FlanaganFLQ0810.1145/1377492.1377495https://doi.org/10.1145/1377492.1377495https://dblp.org/rec/journals/toplas/FlanaganFLQ08
URL#5307021
Michael FurrJeffrey S. FosterChecking type safety of foreign function calls.ACM Trans. Program. Lang. Syst.30418:1-18:632008Journal Articlesclosedjournals/toplas/FurrF0810.1145/1377492.1377493https://doi.org/10.1145/1377492.1377493https://dblp.org/rec/journals/toplas/FurrF08
URL#5307022
Andreas GalChristian W. ProbstMichael FranzJava bytecode verification via static single assignment form.ACM Trans. Program. Lang. Syst.30421:1-21:212008Journal Articlesclosedjournals/toplas/GalPF0810.1145/1377492.1377496https://doi.org/10.1145/1377492.1377496https://dblp.org/rec/journals/toplas/GalPF08
URL#5307023
Joseph GilWilliam W. PughGrant E. WeddellYoav ZibinTwo-dimensional bidirectional object layout.ACM Trans. Program. Lang. Syst.30528:1-28:382008Journal Articlesclosedjournals/toplas/GilPWZ0810.1145/1387673.1387677https://doi.org/10.1145/1387673.1387677https://dblp.org/rec/journals/toplas/GilPWZ08
URL#5307024
Ondrej LhotákLaurie J. HendrenRelations as an abstraction for BDD-based program analysis.ACM Trans. Program. Lang. Syst.30419:1-19:632008Journal Articlesclosedjournals/toplas/LhotakH0810.1145/1377492.1377494https://doi.org/10.1145/1377492.1377494https://dblp.org/rec/journals/toplas/LhotakH08
URL#5307026
Luigi LiquoriArnaud SpiwackFeatherTrait: A modest extension of Featherweight Java.ACM Trans. Program. Lang. Syst.30211:1-11:322008Journal Articlesclosedjournals/toplas/LiquoriS0810.1145/1330017.1330022https://doi.org/10.1145/1330017.1330022https://dblp.org/rec/journals/toplas/LiquoriS08
URL#5307027
David MonniauxThe pitfalls of verifying floating-point computations.ACM Trans. Program. Lang. Syst.30312:1-12:412008Journal Articlesclosedjournals/toplas/Monniaux0810.1145/1353445.1353446https://doi.org/10.1145/1353445.1353446https://dblp.org/rec/journals/toplas/Monniaux08
URL#5307028
Joseph M. MorrisMalcolm TyrrellDually nondeterministic functions.ACM Trans. Program. Lang. Syst.30634:1-34:342008Journal Articlesclosedjournals/toplas/MorrisT0810.1145/1391956.1391961https://doi.org/10.1145/1391956.1391961https://dblp.org/rec/journals/toplas/MorrisT08
URL#5307029
Mayur NaikJens PalsbergA type system equivalent to a model checker.ACM Trans. Program. Lang. Syst.30529:1-29:242008Journal Articlesclosedjournals/toplas/NaikP0810.1145/1387673.1387678https://doi.org/10.1145/1387673.1387678https://dblp.org/rec/journals/toplas/NaikP08
URL#5307030
Zhelong PanRudolf EigenmannPEAK - a fast and effective performance tuning system via compiler optimization orchestration.ACM Trans. Program. Lang. Syst.30317:1-17:432008Journal Articlesclosedjournals/toplas/PanE0810.1145/1353445.1353451https://doi.org/10.1145/1353445.1353451https://dblp.org/rec/journals/toplas/PanE08
URL#5307031
Barak A. PearlmutterJeffrey Mark SiskindReverse-mode AD in a functional framework: Lambda the ultimate backpropagator.ACM Trans. Program. Lang. Syst.3027:1-7:362008Journal Articlesclosedjournals/toplas/PearlmutterS0810.1145/1330017.1330018https://doi.org/10.1145/1330017.1330018https://dblp.org/rec/journals/toplas/PearlmutterS08
URL#5307033
Mila Dalla PredaMihai ChristodorescuSomesh JhaSaumya K. DebrayA semantics-based approach to malware detection.ACM Trans. Program. Lang. Syst.30525:1-25:542008Journal Articlesclosedjournals/toplas/PredaCJD0810.1145/1387673.1387674https://doi.org/10.1145/1387673.1387674https://dblp.org/rec/journals/toplas/PredaCJD08
URL#5307034
Noam RinetzkyG. RamalingamShmuel SagivEran YahavOn the complexity of partially-flow-sensitive alias analysis.ACM Trans. Program. Lang. Syst.30313:1-13:282008Journal Articlesclosedjournals/toplas/RinetzkyRSY0810.1145/1353445.1353447https://doi.org/10.1145/1353445.1353447https://dblp.org/rec/journals/toplas/RinetzkyRSY08
URL#5307035
Hongbo RongAlban DouilletGuang R. GaoRegister allocation for software pipelined multidimensional loops.ACM Trans. Program. Lang. Syst.30423:1-23:682008Journal Articlesclosedjournals/toplas/RongDG0810.1145/1377492.1377498https://doi.org/10.1145/1377492.1377498https://dblp.org/rec/journals/toplas/RongDG08
URL#5307036
Tachio TerauchiAlex AikenWitnessing side effects.ACM Trans. Program. Lang. Syst.30315:1-15:422008Journal Articlesclosedjournals/toplas/TerauchiA0810.1145/1353445.1353449https://doi.org/10.1145/1353445.1353449https://dblp.org/rec/journals/toplas/TerauchiA08
URL#5307038
Tachio TerauchiAlex AikenA capability calculus for concurrency and determinism.ACM Trans. Program. Lang. Syst.30527:1-27:302008Journal Articlesclosedjournals/toplas/TerauchiA08a10.1145/1387673.1387676https://doi.org/10.1145/1387673.1387676https://dblp.org/rec/journals/toplas/TerauchiA08a
URL#5307039
Noah Torp-SmithLars BirkedalJohn C. ReynoldsLocal reasoning about a copying garbage collector.ACM Trans. Program. Lang. Syst.30424:1-24:582008Journal Articlesclosedjournals/toplas/Torp-SmithBR0810.1145/1377492.1377499https://doi.org/10.1145/1377492.1377499https://dblp.org/rec/journals/toplas/Torp-SmithBR08
URL#5307040
Laurence TrattDomain specific language implementation via compile-time meta-programming.ACM Trans. Program. Lang. Syst.30631:1-31:402008Journal Articlesclosedjournals/toplas/Tratt0810.1145/1391956.1391958https://doi.org/10.1145/1391956.1391958https://dblp.org/rec/journals/toplas/Tratt08
URL#5307041
Tao WangAbhik RoychoudhuryDynamic slicing on Java bytecode traces.ACM Trans. Program. Lang. Syst.30210:1-10:492008Journal Articlesclosedjournals/toplas/WangR0810.1145/1330017.1330021https://doi.org/10.1145/1330017.1330021https://dblp.org/rec/journals/toplas/WangR08
URL#5307042
Westley WeimerGeorge C. NeculaExceptional situations and program reliability.ACM Trans. Program. Lang. Syst.3028:1-8:512008Journal Articlesclosedjournals/toplas/WeimerN0810.1145/1330017.1330019https://doi.org/10.1145/1330017.1330019https://dblp.org/rec/journals/toplas/WeimerN08
URL#5307043
David W. BinkleyMark HarmanJens KrinkeEmpirical study of optimization techniques for massive slicing.ACM Trans. Program. Lang. Syst.30132007Journal Articlesclosedjournals/toplas/BinkleyHK0710.1145/1290520.1290523https://doi.org/10.1145/1290520.1290523https://dblp.org/rec/journals/toplas/BinkleyHK07
URL#5506471
Joseph GilYoav ZibinEfficient dynamic dispatching with type slicing.ACM Trans. Program. Lang. Syst.30152007Journal Articlesclosedjournals/toplas/GilZ0710.1145/1290520.1290525https://doi.org/10.1145/1290520.1290525https://dblp.org/rec/journals/toplas/GilZ07
URL#5506481
Uday P. KhedkerAmitabha SanyalAmey KarkareHeap reference analysis using access graphs.ACM Trans. Program. Lang. Syst.30112007Journal Articlesclosedjournals/toplas/KhedkerSK0710.1145/1290520.1290521https://doi.org/10.1145/1290520.1290521https://dblp.org/rec/journals/toplas/KhedkerSK07
URL#5506488
David J. Pearce 0001Paul H. J. KellyChris HankinEfficient field-sensitive pointer analysis of C.ACM Trans. Program. Lang. Syst.30142007Journal Articlesclosedjournals/toplas/PearceKH0710.1145/1290520.1290524https://doi.org/10.1145/1290520.1290524https://dblp.org/rec/journals/toplas/PearceKH07
URL#5506496
Stephen TseSteve ZdancewicRun-time principals in information-flow type systems.ACM Trans. Program. Lang. Syst.30162007Journal Articlesclosedjournals/toplas/TseZ0710.1145/1290520.1290526https://doi.org/10.1145/1290520.1290526https://dblp.org/rec/journals/toplas/TseZ07
URL#5506507
Peng ZhaoShimin CuiYaoqing GaoRaúl SilveraJosé Nelson AmaralForma: A framework for safe automatic array reshaping.ACM Trans. Program. Lang. Syst.30122007Journal Articlesclosedjournals/toplas/ZhaoCGSA0710.1145/1290520.1290522https://doi.org/10.1145/1290520.1290522https://dblp.org/rec/journals/toplas/ZhaoCGSA07
URL#5506510