books search
books
articles search
articles
Donate
Log In
Log In
to access more features
personal recommendations
Telegram Bot
download history
send to Email or Kindle
manage booklists
save to favorites
Personal
Book Requests
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 47; Issue 1
Main
ACM SIGPLAN Notices
Volume 47; Issue 1
ACM SIGPLAN Notices
Volume 47; Issue 1
1
Message of thanks
Hoare, Tony
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 332 KB
Your tags:
english, 2012
2
Underspecified harnesses and interleaved bugs
Joshi, Saurabh
,
Lahiri, Shuvendu K.
,
Lal, Akash
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 441 KB
Your tags:
english, 2012
3
A compiler and run-time system for network programming languages
Monsanto, Christopher
,
Foster, Nate
,
Harrison, Rob
,
Walker, David
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 515 KB
Your tags:
english, 2012
4
The ins and outs of gradual type inference
Rastogi, Aseem
,
Chaudhuri, Avik
,
Hosmer, Basil
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 930 KB
Your tags:
english, 2012
5
A mechanized semantics for C++ object construction and destruction, with applications to resource management
Ramananandro, Tahina
,
Dos Reis, Gabriel
,
Leroy, Xavier
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 677 KB
Your tags:
english, 2012
6
Higher-order functional reactive programming in bounded space
Krishnaswami, Neelakantan R.
,
Benton, Nick
,
Hoffmann, Jan
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 684 KB
Your tags:
english, 2012
7
Information effects
James, Roshan P.
,
Sabry, Amr
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 1.97 MB
Your tags:
english, 2012
8
Freefinement
van Staden, Stephan
,
Calcagno, Cristiano
,
Meyer, Bertrand
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 487 KB
Your tags:
english, 2012
9
Constraints as control
Köksal, Ali Sinan
,
Kuncak, Viktor
,
Suter, Philippe
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 647 KB
Your tags:
english, 2012
10
Resource-sensitive synchronization inference by abduction
Botincan, Matko
,
Dodds, Mike
,
Jagannathan, Suresh
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 710 KB
Your tags:
english, 2012
11
Canonicity for 2-dimensional type theory
Licata, Daniel R.
,
Harper, Robert
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 628 KB
Your tags:
english, 2012
12
Randomized accuracy-aware program transformations for efficient approximate computations
Zhu, Zeyuan Allen
,
Misailovic, Sasa
,
Kelner, Jonathan A.
,
Rinard, Martin
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 831 KB
Your tags:
english, 2012
13
A unified approach to fully lazy sharing
Balabonski, Thibaut
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 656 KB
Your tags:
english, 2012
14
Defining code-injection attacks
Ray, Donald
,
Ligatti, Jay
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 678 KB
Your tags:
english, 2012
15
Syntactic control of interference for separation logic
Reddy, Uday S.
,
Reynolds, John C.
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 511 KB
Your tags:
english, 2012
16
Algebraic foundations for effect-dependent optimisations
Kammar, Ohad
,
Plotkin, Gordon D.
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 555 KB
Your tags:
english, 2012
17
A rely-guarantee-based simulation for verifying concurrent program transformations
Liang, Hongjin
,
Feng, Xinyu
,
Fu, Ming
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 510 KB
Your tags:
english, 2012
18
Self-certification
Strub, Pierre-Yves
,
Swamy, Nikhil
,
Fournet, Cedric
,
Chen, Juan
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 818 KB
Your tags:
english, 2012
19
An abstract interpretation framework for termination
Cousot, Patrick
,
Cousot, Radhia
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 1.93 MB
Your tags:
english, 2012
20
Run your research
Klein, Casey
,
Findler, Robert Bruce
,
Clements, John
,
Dimoulas, Christos
,
Eastlund, Carl
,
Felleisen, Matthias
,
Flatt, Matthew
,
McCarthy, Jay A.
,
Rafkind, Jon
,
Tobin-Hochstadt, Sam
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 754 KB
Your tags:
english, 2012
21
Meta-level features in an industrial-strength theorem prover
Moore, J. Strother
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 283 KB
Your tags:
english, 2012
22
An executable formal semantics of C with applications
Ellison, Chucky
,
Rosu, Grigore
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 592 KB
Your tags:
english, 2012
23
Multiple facets for dynamic information flow
Austin, Thomas H.
,
Flanagan, Cormac
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 534 KB
Your tags:
english, 2012
24
Abstractions from tests
Naik, Mayur
,
Yang, Hongseok
,
Castelnuovo, Ghila
,
Sagiv, Mooly
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 893 KB
Your tags:
english, 2012
25
Programming with binders and indexed data-types
Cave, Andrew
,
Pientka, Brigitte
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 613 KB
Your tags:
english, 2012
26
Formalizing the LLVM intermediate representation for verified program transformations
Zhao, Jianzhou
,
Nagarakatte, Santosh
,
Martin, Milo M.K.
,
Zdancewic, Steve
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 714 KB
Your tags:
english, 2012
27
A type theory for probability density functions
Bhat, Sooraj
,
Agarwal, Ashish
,
Vuduc, Richard
,
Gray, Alexander
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 497 KB
Your tags:
english, 2012
28
A type system for borrowing permissions
Naden, Karl
,
Bocchino, Robert
,
Aldrich, Jonathan
,
Bierhoff, Kevin
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 652 KB
Your tags:
english, 2012
29
Deciding choreography realizability
Basu, Samik
,
Bultan, Tevfik
,
Ouederni, Meriem
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 490 KB
Your tags:
english, 2012
30
Nested refinements
Chugh, Ravi
,
Rondon, Patrick M.
,
Jhala, Ranjit
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 643 KB
Your tags:
english, 2012
31
Playing in the grey area of proofs
Hoder, Krystof
,
Kovacs, Laura
,
Voronkov, Andrei
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 692 KB
Your tags:
english, 2012
32
Analysis of recursively parallel programs
Bouajjani, Ahmed
,
Emmi, Michael
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 748 KB
Your tags:
english, 2012
33
Static and user-extensible proof checking
Stampoulis, Antonis
,
Shao, Zhong
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 581 KB
Your tags:
english, 2012
34
Sound predictive race detection in polynomial time
Smaragdakis, Yannis
,
Evans, Jacob
,
Sadowski, Caitlin
,
Yi, Jaeheon
,
Flanagan, Cormac
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 466 KB
Your tags:
english, 2012
35
Clarifying and compiling C/C++ concurrency
Batty, Mark
,
Memarian, Kayvan
,
Owens, Scott
,
Sarkar, Susmit
,
Sewell, Peter
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 503 KB
Your tags:
english, 2012
36
The marriage of bisimulations and Kripke logical relations
Hur, Chung-Kil
,
Dreyer, Derek
,
Neis, Georg
,
Vafeiadis, Viktor
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 561 KB
Your tags:
english, 2012
37
A language for automatically enforcing privacy policies
Yang, Jean
,
Yessenov, Kuat
,
Solar-Lezama, Armando
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 627 KB
Your tags:
english, 2012
38
Probabilistic relational reasoning for differential privacy
Barthe, Gilles
,
Köpf, Boris
,
Olmedo, Federico
,
Zanella Béguelin, Santiago
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 552 KB
Your tags:
english, 2012
39
Symbolic finite state transducers
Veanes, Margus
,
Hooimeijer, Pieter
,
Livshits, Benjamin
,
Molnar, David
,
Bjorner, Nikolaj
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 679 KB
Your tags:
english, 2012
40
Access permission contracts for scripting languages
Heidegger, Phillip
,
Bieniusa, Annette
,
Thiemann, Peter
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 533 KB
Your tags:
english, 2012
41
Towards nominal computation
Bojanczyk, Mikolaj
,
Braud, Laurent
,
Klin, Bartek
,
Lasota, Slawomir
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 476 KB
Your tags:
english, 2012
42
Verification of parameterized concurrent programs by modular reasoning about data and control
Farzan, Azadeh
,
Kincaid, Zachary
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 674 KB
Your tags:
english, 2012
43
On the power of coercion abstraction
Cretin, Julien
,
Rémy, Didier
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 715 KB
Your tags:
english, 2012
44
Towards a program logic for JavaScript
Gardner, Philippa Anne
,
Maffeis, Sergio
,
Smith, Gareth David
Journal:
ACM SIGPLAN Notices
Year:
2012
Language:
english
File:
PDF, 867 KB
Your tags:
english, 2012
1
Follow
this link
or find "@BotFather" bot on Telegram
2
Send /newbot command
3
Specify a name for your chatbot
4
Choose a username for the bot
5
Copy an entire last message from BotFather and paste it here
×
×