Support us in the fight for the freedom of knowledge
Sign the petition
Hide info
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
Explore
Journals
Contribution
Donate
Litera Library
Donate paper books
Add paper books
Open LITERA Point
Volume 197
Main
Science of Computer Programming
Volume 197
Science of Computer Programming
Volume 197
1
A domain-specific language for verifying software requirement constraints
Vidal, Marzina
,
Massoni, Tiago
,
Ramalho, Franklin
Journal:
Science of Computer Programming
Year:
2020
File:
PDF, 3.37 MB
Your tags:
2020
2
A big step from finite to infinite computations
Ancona, Davide
,
Dagnino, Francesco
,
Rot, Jurriaan
,
Zucca, Elena
Journal:
Science of Computer Programming
Year:
2020
File:
PDF, 769 KB
Your tags:
2020
3
Reshape your layouts, not your programs: A safe language extension for better cache locality
Tasos, Alexandros
,
Franco, Juliana
,
Drossopoulou, Sophia
,
Wrigstad, Tobias
,
Eisenbach, Susan
Journal:
Science of Computer Programming
Year:
2020
File:
PDF, 1.44 MB
Your tags:
2020
4
A polymorphic RPC calculus
Choi, Kwanghoon
,
Cheney, James
,
Fowler, Simon
,
Lindley, Sam
Journal:
Science of Computer Programming
Year:
2020
File:
PDF, 681 KB
Your tags:
2020
5
CHOReVOLUTION: Service choreography in practice
Autili, Marco
,
Di Salle, Amleto
,
Gallo, Francesco
,
Pompilio, Claudio
,
Tivoli, Massimo
Journal:
Science of Computer Programming
Year:
2020
File:
PDF, 2.67 MB
Your tags:
2020
6
Mechanization of coherence and adequacy: Being extrinsic extended to subtyping
Gadea, Alejandro
,
Gunther, Emmanuel
,
Pagano, Miguel
Journal:
Science of Computer Programming
Year:
2020
File:
PDF, 413 KB
Your tags:
2020
7
Trace semantics and refinement patterns for real-time properties in event-B models
Zhu, Chenyang
,
Butler, Michael
,
Cirstea, Corina
Journal:
Science of Computer Programming
Year:
2020
File:
PDF, 559 KB
Your tags:
2020
8
Abstract State Machines, Alloy, B, TLA, VDM and Z (ABZ 2018)
Butler, Michael
,
Raschke, Alexander
Journal:
Science of Computer Programming
Year:
2020
File:
PDF, 124 KB
Your tags:
2020
9
A framework for verifying deadlock and nondeterminism in UML activity diagrams based on CSP
Lima, Lucas
,
Tavares, Amaury
,
Nogueira, Sidney C.
Journal:
Science of Computer Programming
Year:
2020
File:
PDF, 2.05 MB
Your tags:
2020
10
Abstracting gradual references
Toro, MatÃas
,
Tanter, Ãric
Journal:
Science of Computer Programming
Year:
2020
File:
PDF, 1.32 MB
Your tags:
2020
11
Unifying semantic foundations for automated verification tools in Isabelle/UTP
Foster, Simon
,
Baxter, James
,
Cavalcanti, Ana
,
Woodcock, Jim
,
Zeyda, Frank
Journal:
Science of Computer Programming
Year:
2020
File:
PDF, 1.72 MB
Your tags:
2020
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
×
×