Sortiert nach
Journal of functional programming, 2007-05, Vol.17 (3), p.387-421
2007
Link zum Volltext
ACM transactions on programming languages and systems, 2014-07, Vol.36 (2), p.1-74, Article 7
2014
Link zum Volltext
Computer Aided Verification, 2012, p.495-512
2012
Link zum Volltext
ACM transactions on programming languages and systems, 2021-07, Vol.43 (2), p.1-54, Article 8
2021
Link zum Volltext
Proceedings of ACM on programming languages, 2022-01, Vol.6 (POPL), p.1-31
2022
Link zum Volltext
Logical methods in computer science, 2008-03, Vol.4, Issue 1
2008
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.41-44
Link zum Volltext
Computer Aided Verification, p.258-272
Link zum Volltext
Formal methods in system design, 2012-04, Vol.40 (2), p.170-205
2012
Link zum Volltext
Computer Aided Verification, p.50-66
Link zum Volltext
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014, p.40-40
2014
Link zum Volltext
Journal of functional programming, 2004-11, Vol.14 (6), p.647-656
2004
Link zum Volltext
Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011, p.175-186
2011
Link zum Volltext
Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018, p.405-418
2018
Link zum Volltext
SIGPLAN notices, 2011-06, Vol.46 (6), p.175-186
2011
Link zum Volltext
CONCUR '96: Concurrency Theory, 2005, p.406-421
2005
Link zum Volltext
Lecture notes in computer science, 2005, p.70-87
2005
Link zum Volltext
Functional Programming Languages and Computer Architecture, 2005, p.102-123
2005
Link zum Volltext
SIGPLAN notices, 2016-04, Vol.51 (1), p.608-621
2016
Link zum Volltext
Lecture notes in computer science, 2003, p.129-158
2003
Link zum Volltext
Lecture notes in computer science, 2004, p.417-431
2004
Link zum Volltext
Proceedings of the 2008 ACM SIGPLAN workshop on ML, 2008, p.35-46
2008
Link zum Volltext
Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012, p.311-322
2012
Link zum Volltext
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, p.240-247
Link zum Volltext
CONCUR '97: Concurrency Theory, 1997, p.196-212
1997
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Software Engineering
- Programming Languages
- Computer Science, Theory & Methods
- Distributed, Parallel, And Cluster Computing
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software
- Reaction Rule
- Theoretical Computing
- Concurrency
- Memory Model
- Relaxed Memory Models
- Semantics
- Sequentially Consistent
- Weak Memory Models
- Algorithmics. Computability. Computer Arithmetics
Kollektion
Zeitschrift / Serie
- Sigplan Notices
- Acm Sigplan Notices
- Journal Of Functional Programming
- Acm Transactions On Programming Languages And Systems
- Electronic Notes In Theoretical Computer Science
- Concur 2004 - Concurrency Theory, Proceedings
- Formal Methods In System Design
- Lecture Notes In Computer Science
- Lisp Pointers
- Logical Methods In Computer Science