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 39; Issue 1
Main
ACM SIGPLAN Notices
Volume 39; Issue 1
ACM SIGPLAN Notices
Volume 39; Issue 1
1
Free theorems in the presence of seq
Johann, Patricia
,
Voigtländer, Janis
Journal:
ACM SIGPLAN Notices
Year:
2004
Language:
english
File:
PDF, 243 KB
Your tags:
english, 2004
2
Atomizer
Flanagan, Cormac
,
Freund, Stephen N
Journal:
ACM SIGPLAN Notices
Year:
2004
Language:
english
File:
PDF, 191 KB
Your tags:
english, 2004
3
A semantics for web services authentication
Bhargavan, Karthikeyan
,
Fournet, Cédric
,
Gordon, Andrew D.
Journal:
ACM SIGPLAN Notices
Year:
2004
Language:
english
File:
PDF, 229 KB
Your tags:
english, 2004
4
Abstractions from proofs
Henzinger, Thomas A.
,
Jhala, Ranjit
,
Majumdar, Rupak
,
McMillan, Kenneth L.
Journal:
ACM SIGPLAN Notices
Year:
2004
Language:
english
File:
PDF, 259 KB
Your tags:
english, 2004
5
A type system for well-founded recursion
Dreyer, Derek
Journal:
ACM SIGPLAN Notices
Year:
2004
Language:
english
File:
PDF, 153 KB
Your tags:
english, 2004
6
Non-linear loop invariant generation using Gröbner bases
Sankaranarayanan, Sriram
,
Sipma, Henny B.
,
Manna, Zohar
Journal:
ACM SIGPLAN Notices
Year:
2004
Language:
english
File:
PDF, 152 KB
Your tags:
english, 2004
7
Formalization of generics for the .NET common language runtime
Yu, Dachuan
,
Kennedy, Andrew
,
Syme, Don
Journal:
ACM SIGPLAN Notices
Year:
2004
Language:
english
File:
PDF, 167 KB
Your tags:
english, 2004
8
Separation and information hiding
O'Hearn, Peter W.
,
Yang, Hongseok
,
Reynolds, John C.
Journal:
ACM SIGPLAN Notices
Year:
2004
Language:
english
File:
PDF, 166 KB
Your tags:
english, 2004
9
Semantic types
Vouillon, Jerome
,
Melliès, Paul-André
Journal:
ACM SIGPLAN Notices
Year:
2004
Language:
english
File:
PDF, 282 KB
Your tags:
english, 2004
10
Asynchronous and deterministic objects
Caromel, Denis
,
Henrio, Ludovic
,
Serpette, Bernard Paul
Journal:
ACM SIGPLAN Notices
Year:
2004
Language:
english
File:
PDF, 199 KB
Your tags:
english, 2004
11
Symbolic transfer function-based approaches to certified compilation
Rival, Xavier
Journal:
ACM SIGPLAN Notices
Year:
2004
Language:
english
File:
PDF, 208 KB
Your tags:
english, 2004
12
Incremental execution of transformation specifications
Sittampalam, Ganesh
,
de Moor, Oege
,
Larsen, Ken Friis
Journal:
ACM SIGPLAN Notices
Year:
2004
Language:
english
File:
PDF, 189 KB
Your tags:
english, 2004
13
A logic you can count on
Dal Zilio, Silvano
,
Lugiez, Denis
,
Meyssonnier, Charles
Journal:
ACM SIGPLAN Notices
Year:
2004
Language:
english
File:
PDF, 168 KB
Your tags:
english, 2004
14
A bisimulation for dynamic sealing
Sumii, Eijiro
,
Pierce, Benjamin C.
Journal:
ACM SIGPLAN Notices
Year:
2004
Language:
english
File:
PDF, 154 KB
Your tags:
english, 2004
15
Summarizing procedures in concurrent programs
Qadeer, Shaz
,
Rajamani, Sriram K.
,
Rehof, Jakob
Journal:
ACM SIGPLAN Notices
Year:
2004
Language:
english
File:
PDF, 169 KB
Your tags:
english, 2004
16
Principal typings for Java-like languages
Ancona, Davide
,
Zucca, Elena
Journal:
ACM SIGPLAN Notices
Year:
2004
Language:
english
File:
PDF, 167 KB
Your tags:
english, 2004
17
Isomorphisms of generic recursive polynomial types
Fiore, Marcelo
Journal:
ACM SIGPLAN Notices
Year:
2004
Language:
english
File:
PDF, 167 KB
Your tags:
english, 2004
18
Parsing expression grammars
Ford, Bryan
Journal:
ACM SIGPLAN Notices
Year:
2004
Language:
english
File:
PDF, 154 KB
Your tags:
english, 2004
19
Tridirectional typechecking
Dunfield, Joshua
,
Pfenning, Frank
Journal:
ACM SIGPLAN Notices
Year:
2004
Language:
english
File:
PDF, 177 KB
Your tags:
english, 2004
20
Simple relational correctness proofs for static analyses and program transformations
Benton, Nick
Journal:
ACM SIGPLAN Notices
Year:
2004
Language:
english
File:
PDF, 136 KB
Your tags:
english, 2004
21
Polymorphic typed defunctionalization
Pottier, François
,
Gauthier, Nadji
Journal:
ACM SIGPLAN Notices
Year:
2004
Language:
english
File:
PDF, 150 KB
Your tags:
english, 2004
22
Channel dependent types for higher-order mobile processes
Yoshida, Nobuko
Journal:
ACM SIGPLAN Notices
Year:
2004
Language:
english
File:
PDF, 300 KB
Your tags:
english, 2004
23
An abstract interpretation-based framework for software watermarking
Cousot, Patrick
,
Cousot, Radhia
Journal:
ACM SIGPLAN Notices
Year:
2004
Language:
english
File:
PDF, 167 KB
Your tags:
english, 2004
24
Precise interprocedural analysis through linear algebra
Müller-Olm, Markus
,
Seidl, Helmut
Journal:
ACM SIGPLAN Notices
Year:
2004
Language:
english
File:
PDF, 177 KB
Your tags:
english, 2004
25
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
Balat, Vincent
,
Di Cosmo, Roberto
,
Fiore, Marcelo
Journal:
ACM SIGPLAN Notices
Year:
2004
Language:
english
File:
PDF, 185 KB
Your tags:
english, 2004
26
Abstract non-interference
Giacobazzi, Roberto
,
Mastroeni, Isabella
Journal:
ACM SIGPLAN Notices
Year:
2004
Language:
english
File:
PDF, 220 KB
Your tags:
english, 2004
27
Global value numbering using random interpretation
Gulwani, Sumit
,
Necula, George C.
Journal:
ACM SIGPLAN Notices
Year:
2004
Language:
english
File:
PDF, 197 KB
Your tags:
english, 2004
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
×
×