( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Type-Safe Method Inlining.

, и . ECOOP, том 2374 из Lecture Notes in Computer Science, стр. 525-544. Springer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Constanze Jenschke

Bernd Jenssen

Meiko Jensen

Fritz Jensen

Gerd Jensch

 

Другие публикации лиц с тем же именем

An automatically generated and provably correct compiler for a subset of Ada.. ICCL, стр. 117-126. IEEE Computer Society, (1992)Race directed scheduling of concurrent programs., и . PPoPP, стр. 301-314. ACM, (2014)Typed self-evaluation via intensional type functions., и . POPL, стр. 415-428. ACM, (2017)Breaking through the normalization barrier: a self-interpreter for f-omega., и . POPL, стр. 5-17. ACM, (2016)Making Type Inference Practical., , и . ECOOP, том 615 из Lecture Notes in Computer Science, стр. 329-349. Springer, (1992)Generalizing Shape Analysis with Gradual Types (Artifact)., и . Dagstuhl Artifacts Ser., 10 (2): 14:1-14:2 (2024)Complexity Results for 1-safe Nets., , и . FSTTCS, том 761 из Lecture Notes in Computer Science, стр. 326-337. Springer, (1993)Encapsulating Objects with Confined Types., , и . OOPSLA, стр. 241-253. ACM, (2001)SIGPLAN Notices 36(11).Software evolution and integration. ACM Computing Surveys, 28 (4es): 200--200 (декабря 1996)Class-Graph Inference for Adaptive Programs. Theory and Practice of Object Systems, 3 (2): 75--85 (1997)