Computational contracts
- 期刊名称Science of Computer Programming
- 作者Scholliers, Christophe; Tanter, Éric; De Meuter, Wolfgang
- 卷第98卷
- 印刷ISSN0167-6423
- 文件大小753.91KB
- 发表时间2015-02
- DOI10.1016/j.scico.2013.09.005
- 页码360-375
Computational cost of verifying enforceable contractsHåkan J. Holm · 1995
Computational Rheology || Benchmark Problems I: Contraction FlowsOwens, R G; Phillips, T N · 2002
[Studies in Computational Mathematics] Computational Theory of Iterative Methods Volume 15 || Chapter 3 Contractive fixed point theory, · 2007
Computational Governance and Violable Contracts for Blockchain ApplicationsSingh, Munindar P.; Chopra, Amit K. · Computer · 2020
Computational Biomechanics || Molecular Dynamics Simulation of Skeletal Muscle ContractionHayashi, Kozaburo; Ishikawa, Hiromasa · 1996
[Studies in Computational Intelligence] Recent Advances in Computational Optimization Volume 655 || Correlation Clustering by Contraction, a More Effective MethodFidanova, Stefka · 2016
A Computational Algorithm for Multi-Contract Bidding under ConstraintsDavid Goodman and Hans Baurmeister · Management Science · 1976
Ambient contracts: verifying and enforcing ambient object compositionsChristophe Scholliers; Dries Harnie; Éric Tanter; Wolfgang De Meuter; Theo D’Hondt · 2011
Parallel actor monitors: Disentangling task-level parallelism from data partitioning in the actor modelScholliers, Christophe; Tanter, Éric; De Meuter, Wolfgang · Science of Computer Programming · 2014
Efficient sessionsSivaramakrishnan, K.C.; Qudeisat, Mohammad; Ziarek, Lukasz; Nagaraj, Karthik; Eugster, Patrick · Science of Computer Programming · 2013
GLL parse-tree generationScott, Elizabeth; Johnstone, Adrian · Science of Computer Programming · 2013
Refactoring pattern matchingWang, Meng; Gibbons, Jeremy; Matsuda, Kazutaka; Hu, Zhenjiang · Science of Computer Programming · 2013
Modeling the Java Bytecode VerifierReynolds, Mark C. · Science of Computer Programming · 2013
Semantic mutation testingClark, John A.; Dan, Haitao; Hierons, Robert M. · Science of Computer Programming · 2013
EditorialBergstra, Jan · Science of Computer Programming · 2013
ForewordAleksy, Markus; Gitzel, Ralf; Krall, Andreas; Mössenböck, Hanspeter; Probst, Christian W.; Stephenson, Ben · Science of Computer Programming · 2013