Sortiert nach
ACM transactions on programming languages and systems, 2006-11, Vol.28 (6), p.967-989
2006
Link zum Volltext
ACM transactions on programming languages and systems, 1999-11, Vol.21 (6), p.1137-1195
1999
Link zum Volltext
ACM transactions on programming languages and systems, 1998-01, Vol.20 (1), p.208-258
1998
Link zum Volltext
ACM transactions on programming languages and systems, 2011-01, Vol.33 (1), p.1-43
2011
Link zum Volltext
ACM transactions on programming languages and systems, 2008-12, Vol.31 (1), p.1-61
2008
Link zum Volltext
ACM transactions on programming languages and systems, 2002-05, Vol.24 (3), p.193-216
2002
Link zum Volltext
ACM transactions on programming languages and systems, 2004-05, Vol.26 (3), p.464-509
2004
Link zum Volltext
ACM transactions on programming languages and systems, 1979-10, Vol.1 (2), p.245-257
1979
Link zum Volltext
ACM transactions on programming languages and systems, 1980-01, Vol.2 (1), p.90-121
1980
Link zum Volltext
ACM transactions on programming languages and systems, 2013-11, Vol.35 (3), p.1-49, Article 9
2013
Link zum Volltext
ACM transactions on programming languages and systems, 2011-01, Vol.33 (2), p.1-39
2011
Link zum Volltext
ACM transactions on programming languages and systems, 2014-07, Vol.36 (2), p.1-30, Article 6
2014
Link zum Volltext
ACM transactions on programming languages and systems, 1987-01, Vol.9 (1), p.100-121
1987
Link zum Volltext
ACM transactions on programming languages and systems, 2017-05, Vol.39 (2), p.1-38, Article 6
2017
Link zum Volltext
ACM transactions on programming languages and systems, 2015-04, Vol.37 (2), p.1-31, Article 7
2015
Link zum Volltext
ACM transactions on programming languages and systems, 2008-10, Vol.30 (6), p.1-59
2008
Link zum Volltext
ACM transactions on programming languages and systems, 2007-10, Vol.29 (6), p.39-es
2007
Link zum Volltext
ACM transactions on programming languages and systems, 2019-12, Vol.41 (4), p.1-52, Article 20
2019
Link zum Volltext
ACM transactions on programming languages and systems, 2009-06, Vol.31 (5), p.1-45
2009
Link zum Volltext
ACM transactions on programming languages and systems, 2005-01, Vol.27 (1), p.126-162
2005
Link zum Volltext
ACM transactions on programming languages and systems, 2017-06, Vol.39 (2), p.1-56, Article 7
2017
Link zum Volltext
ACM transactions on programming languages and systems, 1984-04, Vol.6 (2), p.239-253
1984
Link zum Volltext
ACM transactions on programming languages and systems, 2000-03, Vol.22 (2), p.187-223
2000
Link zum Volltext
ACM transactions on programming languages and systems, 2000-03, Vol.22 (2), p.296-339
2000
Link zum Volltext
ACM transactions on programming languages and systems, 1998-05, Vol.20 (3), p.586-634
1998
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Computer Science, Software Engineering
- Science & Technology
- Technology
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Software
- Programming Languages
- Theory Of Computation
- Software And Its Engineering
- Semantics And Reasoning
- Program Reasoning
- Theoretical Computing
- Program Verification
- Software Notations And Tools
- Verification
- Abstract Interpretation
- Program Analysis
- Software Engineering
Kollektion
Zeitschrift / Serie
Neu hinzugefügt