[ACM Press Conference proceedings - Copenhagen, Denmark (1990.08.13-1990.08.17)] Conference proceedings on APL 90: for the future - APL '90 - Color APL beautiful!
- 作者Fox, Ralph L.
- 文件大小572.87KB
- 发表时间1990
- DOI10.1145/97808.97839
- 页码121-129
Axioms for total correctnessStefan Sokolowski · 1977
-conjugated moleculesBauer, Oliver; Mercurio, Giuseppe; Willenbockel, Martin; Reckien, Werner; Heinrich Schmitz, Christoph; Fiedler, Benjamin; Soubatch, Serguei; Bredow, Thomas; Tautz, Frank Stefan; Sokolowski, Moritz · Physical Review B · 2012
Density functional theory for inhomogeneous fluidsSokolowski, Stefan; Fischer, Johann · Molecular Physics · 1989
Complexity of sorting by distributive partitioningBoguslaw L. Jackowski; Ryszard Kubiak; Stefan Sokolowski · 1979
Freezing in krypton monolayers adsorbed on graphiteSokolowski, Stefan; Steele, William A. · The Journal of Chemical Physics · 1985
Capillary condensation of short-chain moleculesBryk, Paweł; Pizio, Orest; Sokolowski, Stefan · The Journal of Chemical Physics · 2005
Investigation of concurrent processes by means of homotopy functorsSOKOLOWSKI, STEFAN · Mathematical Structures in Computer Science · 2002
A method for proving programming languages non context-freeStefan Sokolowski · 1978
The Byzantine Generals ProblemLamport, Leslie; Shostak, Robert; Pease, Marshall · ACM Transactions on Programming Languages and Systems · 1982
The temporal logic of actionsLamport, Leslie · ACM Transactions on Programming Languages and Systems · 1994
Essential AOPDe Fraine, Bruno; Ernst, Erik; Südholt, Mario · ACM Transactions on Programming Languages and Systems · 2012
LOCKSMITHPratikakis, Polyvios; Foster, Jeffrey S.; Hicks, Michael · ACM Transactions on Programming Languages and Systems · 2011
Linear scan register allocationPoletto, Massimiliano; Sarkar, Vivek · ACM Transactions on Programming Languages and Systems · 1999
The undecidability of aliasingRamalingam, G. · ACM Transactions on Programming Languages and Systems · 1994
Parameterized loop tilingRenganarayanan, Lakshminarayanan; Kim, Daegon; Strout, Michelle Mills; Rajopadhye, Sanjay · ACM Transactions on Programming Languages and Systems · 2012
METRICMarathe, Jaydeep; Mueller, Frank; Mohan, Tushar; Mckee, Sally A.; De Supinski, Bronis R.; Yoo, Andy · ACM Transactions on Programming Languages and Systems · 2007